Amaliy qism - 11-amaliy ish Mavzu: Helix qac dasturi yordamida statik testlashni amalga oshirish. Ishdan maqsad

|
11-amaliy ish Mavzu: Helix qac dasturi yordamida statik testlashni amalga oshirish. Ishdan maqsad
|
bet | 2/2 | Sana | 29.01.2024 | Hajmi | 0,55 Mb. | | #147937 |
Bog'liq 11-amaliyAmaliy qism
1. Kodning statik tahlili
Helix QAC C / C ++ da xavfli kod tuzilmalarini aniqlash uchun kodning ishlash vaqti mexanizmini simulyatsiya qilish uchun noyob chuqur ma'lumotlar oqimini tahlil qilish mexanizmidan foydalanadi, bu kodning qayta ishlatilishini kamaytiradi, funktsional xavfsizlik muammolari va kiber xavfsizlik zaifliklarini keltirib chiqaradi, kodni aniqlash darajasini maksimal darajada oshiradi va tezlikni minimallashtiradi. noto'g'ri negativlardan.
11.1-rasm. Helix QAC GUI
Helix QAC hozirda 2156 C va 1951 C ++ diagnostika xabarlarini o'z ichiga olgan 4107 tagacha diagnostika xabarlarini taqdim etadi, bu kodlash spetsifikatsiyalarini yanada kengroq va aniqroq qamrab olishni anglatadi, chunki har bir diagnostika xabari ma'lum bir kodlash qoidasiga mos keladi, bu ko'rsatkich operatsiyalari bilan bog'liq muammolarni samarali tashxislashi mumkin. , konvertatsiyalarni yozing, to'lib-toshgan / nolga bo'linish, aniqlanmagan xatti-harakatlar, ma'lumotlar oqimi va boshqalar. va onlayn yordam ko'rsating. Ishlab chiqish muhandislari onlayn yordam asosida real vaqtda manba kodini o'zgartirishi mumkin.
2. Ko'rsatkichlar
Ko'rsatkichlar - bu manba kodining ba'zi miqdoriy atributlarining o'lchovlari. Har bir ko'rsatkich murakkablik, o'qilishi, qoldiq xatolar va sinovdan o'tish kabi turli nuqtai nazarlardan kod sifatini aks ettiradi. Helix QAC 118 funktsiyaga asoslangan va faylga asoslangan ko'rsatkichlarni taqdim etadi, jumladan C uchun 65 va C ++ uchun 53, bu kompaniyalar uchun o'lchov standartlarini ishlab chiqish, o'lchovlar qiymatlarini nazorat qilish va kod sifatini nazorat qilish uchun kuchli asos yaratadi.
3. Muvofiqlik modullari
Helix QAC boshqa vositalarga qaraganda MISRA qoidabuzarliklarini aniqroq aniqlaydi. U qoidabuzarliklarni jiddiylik darajasiga ko‘ra birinchi o‘ringa qo‘yadi, shuning uchun siz birinchi navbatda eng muhim muammolarni hal qilasiz. Shunday qilib, kod sifatini yaxshilash imkoniyatiga ega bo‘lasiz. Bundan tashqari, siz ISO26262 muvofiqligini kuzatishingiz va hisobot berishingiz mumkin.
1）MISRA C 2004, MISRA C 2012, MISRA C++ 2008 Funksional xavfsizlik muammolari va kiberxavfsizlik zaifliklariga olib kelishi mumkin bo'lgan noto'g'ri kodlashni oldini olish uchun o'rnatilgan tizimlar uchun ideal kodlash spetsifikatsiyasi.
2）AUTOSAR C++ 14 zamonaviy C++ tilidan foydalangan holda xavfsizlik va muhim o'rnatilgan tizimlarni yozish uchun samarali qo'llanmani taqdim etadi.
3）CERT C/C++ hamjamiyat tomonidan “xavfsiz kodlash amaliyotlari va foydalanish mumkin bo'lgan zaifliklarga olib kelishi mumkin bo'lgan aniqlanmagan xatti-harakatlarni bartaraf etish” bo'yicha qoidalar va tavsiyalar berish bo'yicha harakat.
4）CWE C/C++ Arxitektura, dizayn yoki koddagi dasturiy ta'minot xavfsizligi zaif tomonlarini tavsiflash uchun umumiy til sifatida xizmat qiladi.
Helix QAC yuqoridagi kodlash standartlarini yaxshi bajarish va qamrab olishga asoslangan boʻlib, yirik global avtomobil ishlab chiqaruvchilar, butlovchi qismlar yetkazib beruvchilar va aviatsiya, harbiy, tibbiyot va boshqa sohalar kabi boshqa sohalarga kod sifatini yaxshilash va tegishli sanoat standartlarida ilgʻor amaliyotlarga erishishda yordam beradi.
11.2-rasm. Kodlash standartlari qamrovi
4. Helix QAC boshqaruv paneli
Helix QAC Dashboard - bu veb-ga asoslangan loyiha sifatini boshqarish platformasi bo'lib, u masofaviy guruhlar uchun loyiha ma'lumotlarini almashishni amalga oshiradi. Asosiy ishlab chiquvchilar, ishlab chiqish menejerlari va yuqori darajali menejerlar manba diagnostikasi xabarlarini ko'rishlari, boshlang'ich / versiya boshqaruvini amalga oshirishlari, o'zgartirish sharhlarini qo'shishlari va issiqlik xaritasi yordamida muammoli manba kodini tezda topishlari, kod sifati tendentsiyalariga e'tibor berishlari, loyiha ruxsatnomalarini o'rnatishlari, kod muvofiqligini ko'rishlari, sozlashlari mumkin. hisobotlar va boshqalar, mijozlarga kengroq sifat menejmenti kontseptsiyasini taqdim etish.
11.3-rasm. Moslashtirilgan Helix QAC asboblar paneli
11.4-rasm. Kuzatish tendentsiyasi ko'rsatkichlari
5. Integratsiya muhiti
1） IDE: Microsoft Visual Studio, Eclipse
2) CI: Jenkins, Jira va boshqalar
6. OS
1) Windows
2) Linux
7. Turli xillik hisobotlari
Qoidalarga muvofiqlik hisoboti Helix QAC loyihasining Qoidalar konfiguratsiyasi faylida ko'rsatilgan qoidalar buzilishi haqidagi ma'lumotlarni o'z ichiga oladi.
Kodni ko'rib chiqish hisoboti fayllar, funksiyalar va sinflardan ko'rsatkichlar va xabarlarni umumlashtiradi. Shuningdek, u ba'zi kod vizualizatsiyasini, o'z ichiga qo'ng'iroqlarni, aloqalarni va funktsiya tuzilishini ko'rsatishi mumkin. U kodning keng ko'rinishini taqdim etadi.
Ko'rsatkichlar hisoboti XML faylini yaratadi, undan keyingi tekshirish uchun o'lchov ma'lumotlari manbai sifatida foydalanishingiz mumkin.
Bostirish hisoboti Tahlil paytida bostirilgan xabar diagnostikasi haqida ma'lumot beradi.
11.5-rasm. Helix QAC hisobotlari
Topshiriq
Har bir talaba o ‘ziga biriktirilgan lohiyani Helix QAC dasturi yordamida statik testlashni amalga oshirishi talab etiladi.
Nazorat savollari
Helix QAC xususiyatlari
Ko'rsatkich nima
Helix QAC dasturi yordamida statik testlashni qadamma-qadam tushuntirishi lozim
|
| |