|
11-amaliy ish Mavzu: Helix qac dasturi yordamida statik testlashni amalga oshirish. Ishdan maqsad
|
| bet | 1/2 | | Sana | 29.01.2024 | | Hajmi | 0.55 Mb. | | #147937 |
Bog'liq 11-amaliy GUVOHNOMA1, 4455 eng, 526 test, Фабрика форматов PicPDF 1 alifbe daftari ingliz tili math musiqa, Taqriz Namuna, Mavzu Web-texnologiyalar va ulardan foydalanish reja-fayllar.org, Mavzu O\'quv-tarbiya jarayonida Web texnologiyalardan foydalanis, Komilova Zulxumor Xokimovna, 4-labaratoreya, 3-labaratoreya ishi, 2-amaliy ish, web hacking101, O\'rnatilgan tizimlarning kiritish chiqarish interfeyslari kurs ishi, Toshkent davlat iqtisodiyot universiteti
11-amaliy ish
Mavzu: Helix QAC dasturi yordamida statik testlashni amalga oshirish.
Ishdan maqsad: Helix QAC dasturi yordamida statik testlashni amalga oshirish ko‘nikmasini yaratish.
Nazariy qism
Intellektual transport vositalarining (ADAS, Telematika, Infotainment, Cloud Services) rivojlanishi bilan bort kodlari miqdori eksponent ravishda o'sdi, kodning statik tahlilini avtomatlashtirish juda muhim va odamlarning funktsional xavfsizlikka bo'lgan talablari tobora qattiqlashib bormoqda. sanoat kodlash bilan Texnik xususiyatlar bort kodiga qo'yiladigan asosiy talablardir.
Amerika kompaniyasi - Perforce (PRQA) taniqli sanoat yetakchisi va o'rnatilgan statik tahlil sohasida kashshof hisoblanadi. 30 yildan ortiq dasturiy ta'minotni ishlab chiqish va sinovdan o'tkazish tajribasi bilan u MISRA kodlash qo'mitasining ta'sischi a'zosi va eng nufuzli a'zosi bo'lib, funktsional xavfsizlikka tegishli standartlarni ishlab chiqish uchun mas'uldir. U C++ 14 kodlash ko'rsatmalarini yozishda ishtirok etdi va AUTOSAR test rejasini tuzdi.
Ushbu sohada taniqli avtomatik kodni statik tahlil qilish vositasi sifatida Perforce's Helix QAC MISRA C / C ++, AUTOSAR C ++, CERT C / C ++, CWE C / C ++, HICPP, JSF AV C ni qo'llab-quvvatlashi mumkin. ++ kodlash standartlari, uning aniq diagnostika xabarlari va kuchli dasturiy ta'minotning hayot aylanishini boshqarish platformasi butun dunyo bo'ylab 3000 dan ortiq OEM va yetkazib beruvchilar tomonidan ishonchli.
Shanghai PoleLink Information, Perforce hamkori sifatida xitoylik mijozlar uchun professional statik kod sinovi yechimlarini taqdim etadi.
Helix QAC xususiyatlari
Helix QAC statik tahlil sohasida tan olingan sanoat kashshofi bo‘lib, ishlab chiquvchilar va sinovchilarga Kodlash bosqichida samarali va avtomatlashtirilgan statik testni amalga oshirish, potentsial kod nuqsonlarini aniqlash, kod sifatini o‘lchash, ishlab chiqish vaqtini qisqartirish va ishlab chiqish xarajatlarini kamaytirishga yordam berish uchun mo‘ljallangan. Helix QAC 3 qismdan iborat:
Helix QAC / C ++ Static Analyzer shkalasi millionlab kod qatorlari va yuqori tezlikda statik tahlilni amalga oshiradi;
Muvofiqlik modullari Kod muvofiqligini tekshirishga erishish uchun statik analizator bilan birgalikda ixtiyoriy komponentlar;
Helix QAC Dashboard To'liq hayot tsikli dasturiy ta'minotni ishlab chiqish boshqaruvi.
|
| |
