Amaliy ish 1 Mavzu: Loyixaviy takliflar va jamoalar. Biznes ilovalarni ulashish buyicha misollar. Ishdan maqsad: topshiriq

5. To'plam

Auditorga dasturning modulli tuzilishini tushunishga yordam berish uchun qaramlik grafigini yaratuvchi C dasturini tahlil qilish va vizualizatsiya vositasi.

6 BMT

Oddiy manba kodi analizatori. U ishga tushirilmagan o'zgaruvchilar, null ko'rsatkichlar va chegaradan tashqari massiv xatolari kabi xatolarni aniqlash uchun mo'ljallangan. UNO sizga boshqaruv oqimi va ma'lumotlar oqimlarini oddiy tahlil qilish, ichki va protsessual tahlillarni amalga oshirish va foydalanuvchi xususiyatlarini belgilash imkonini beradi. Ammo bu vosita haqiqiy ilovalarni tahlil qilish uchun yakunlanmagan, ko'plab standart kutubxonalarni qo'llab-quvvatlamaydi va rivojlanishning ushbu bosqichida hech qanday jiddiy dasturlarni tahlil qilishga imkon bermaydi.

7. FlexeLint (PC-Lint)

Ushbu analizator har xil turdagi xatolarni aniqlash uchun manba kodini tahlil qilish uchun mo'ljallangan. Dastur manba kodining semantik tahlilini, ma'lumotlar tahlilini va boshqaruv oqimlarini amalga oshiradi.
Ish oxirida bir nechta asosiy turdagi xabarlar chiqariladi:

• 
  Null ko'rsatkich mumkin;
  
• 
  Xotirani ajratish bilan bog'liq muammolar (masalan, malloc() dan keyin free() yo'q);
  
• 
  Muammoli boshqaruv oqimi (masalan, erishib bo'lmaydigan kod);
  
• 
  Buferning mumkin bo'lgan to'lib ketishi, arifmetik to'lib ketishi;
  
• 
  Yomon va potentsial xavfli kod uslubi haqida ogohlantirishlar.
  

8. Viva64

Mutaxassisga 32-bitli tizimlardan 64-bitli tizimlarga oʻtish bilan bogʻliq C/C++ dasturlari manba kodidagi potentsial xavfli boʻlaklarni kuzatishga yordam beruvchi vosita. Viva64 Microsoft Visual Studio 2005/2008 muhitiga birlashtirilgan bo'lib, bu vosita bilan qulay ishlashga yordam beradi. Analizator 64-bitli tizimlar uchun to'g'ri va optimallashtirilgan kodni yozishga yordam beradi.

9. Parasoft C++ testi

C++ kodini sifat tahlilini avtomatlashtirish imkonini beruvchi Windows uchun maxsus vosita. C++ Test paketi loyihani tahlil qiladi va loyiha tarkibidagi komponentlarni sinash uchun kod ishlab chiqaradi. C++ Test paketi C++ sinflarini tahlil qilishda juda muhim vazifani bajaradi. Loyiha yuklangandan so'ng, sinov usullarini o'rnatish kerak. Dastur har bir usul argumentini tekshiradi va tegishli qiymat turlarini qaytaradi. Ma'lumotlar uchun oddiy turlari standart argument qiymatlari almashtiriladi; foydalanuvchi tomonidan belgilangan turlar va sinflar uchun test ma'lumotlarini belgilashingiz mumkin. Standart C++ Test argumentlarini bekor qilish va testdan olingan qiymatlarni qaytarish mumkin. C++ Testning tugallanmagan kodni sinab ko'rish qobiliyati alohida e'tiborga loyiqdir. Dastur mavjud bo'lmagan har qanday usul va funksiya uchun stub kodini yaratadi. Tashqi qurilmalar va foydalanuvchi tomonidan belgilangan kirishlarni simulyatsiya qilish qo'llab-quvvatlanadi. Ikkala funktsiya ham qayta sinovdan o'tkaziladi. Barcha usullar uchun test parametrlarini aniqlagandan so'ng, C++ Test paketi bajariladigan kodni ishga tushirishga tayyor. To'plam uni tayyorlash uchun Visual C++ kompilyatoriga qo'ng'iroq qilish orqali test kodini yaratadi. Usul, sinf, fayl va loyiha darajasida testlarni yaratish mumkin.