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

10. Qoplash

Asboblar muhim ilovalardagi xavfsizlik va sifat kamchiliklarini aniqlash va tuzatish uchun ishlatiladi. Coverity texnologiyasi ishlab chiqish jarayonida muhim xatolar va xavfsizlik kamchiliklarini aniqlash va bartaraf etishni avtomatlashtirish orqali murakkab dasturiy ta'minotni yozish va joylashtirishdagi to'siqlarni olib tashlaydi. Coverity vositasi minimal ijobiy xatolik bilan o'n millionlab kod satrlarini qayta ishlashga qodir, bu esa 100% iz qoplamini ta'minlaydi.

11.KlocWork K7

Kompaniyaning mahsulotlari avtomatlashtirilgan statik kodlarni tahlil qilish, dasturiy ta'minotdagi nuqsonlar va xavfsizlik muammolarini aniqlash va oldini olish uchun mo'ljallangan. Kompaniyaning vositalari dasturiy ta’minot sifati va xavfsizligidagi kamchiliklarning asosiy sabablarini aniqlashga hamda ishlab chiqish jarayonida ushbu kamchiliklarni kuzatish va oldini olishga xizmat qiladi.

12 Frama-C

C manba kodini tahlil qilish uchun ochiq, birlashtirilgan vositalar to'plami. To'plamga ACSL (ANSI/ISO C Spetsifikatsiya tili) kiradi - maxsus til, bu sizga C funktsiyalarining texnik xususiyatlarini batafsil tavsiflash imkonini beradi, masalan, funktsiya uchun joriy kirish qiymatlari diapazoni va normal chiqish qiymatlari oralig'ini belgilang.
Ushbu asboblar to'plami quyidagi amallarni bajarishga yordam beradi:

• 
  Rasmiy kod tekshiruvlarini amalga oshiring;
  
• 
  Potentsial bajarish xatolarini qidiring;
  
• 
  Kodeksni tekshirish yoki tekshirishni o'tkazish;
  
• 
  Strukturani tushunishni yaxshilash uchun kodni teskari muhandislik qilish;
  
• 
  Rasmiy hujjatlarni yaratish.
  

13. CodeSurfer

Xavfsizlik zaifligi xatolarini topish uchun bevosita ishlab chiqilmagan dasturni tahlil qilish vositasi. Uning asosiy afzalliklari quyidagilardan iborat:

• 
  Pointer tahlili;
  
• 
  Har xil ma'lumotlar oqimi tahlillari (o'zgaruvchilardan foydalanish va aniqlash, ma'lumotlarga bog'liqlik, chaqiruv grafigini qurish);
  
• 
  Skript tili.
  

CodeSurfer-dan manba kodidagi xatolarni topish, manba kodini tushunishni yaxshilash va teskari muhandislik dasturlari uchun foydalanish mumkin. CodeSurfer muhiti doirasida xavfsizlik zaifliklarini aniqlash uchun prototip vositasi ishlab chiqilgan, ammo ishlab chiqilgan vosita faqat ishlab chiquvchi tashkilot ichida qo'llaniladi.