Toshkent axborot texnologiyalari universiteti dt sifatini ta'minlash

Tool-Driven usuli

Avtomatlashtirilgan kodni ko'rib chiqish oxir-oqibat manba kodini tahlil qilish orqali amalga oshiriladi. Ushbu vositalar C uchun Lint vositasiga qaytadi, u birinchi marta 1977 yilda paydo bo'lgan. O'shandan beri kod tekshirusgda keng qo'llanila boshlandi va ko'pincha Eclipse va IntelliJ kabi IDE-larga muntazam ravishda kiritiladi. Misol uchun, agar o'zgaruvchi e'lon qilingan bo'lsa-da, lekin hech qachon ishlatilmasa yoki ishga tushirilmasdan ishlatilsa, bu odatda ishlab chiquvchining toolni aniq chaqirishiga hojat qoldirmasdan aniqlanadi.
Aniqlangan (yoki bo'lishi mumkin) kod muammolarining xususiyati bir vositadan boshqasiga o'zgarib turadi va ma'lum darajada asosiy tilning xususiyatiga bog'liq.
Misol uchun, Java kabi kuchli terilgan tillar dinamik ravishda terilgan tillarga qaraganda potentsial muammolarni aniqlash uchun ko'proq ma'lumot beradi. Avtomatlashtirilgan vositalar nisbatan mahalliylashtirilgan muammolarni aniqlashda ayniqsa yaxshi (masalan, bitta usul yoki sinfga lokalizatsiya qilingan).
Statik tahlil uchun nisbatan ko'proq mos bo'lgan Java ichida, ehtimol, eng mashhur vosita (u allaqachon IDE-ga o'rnatilmagan) Findbugs3 hisoblanadi. Ushbu vosita kompilyatsiya qilingan dasturning bayt kodini tahlil qiladi va yozilmagan ob'ekt maydonlaridan tortib, tugamaydigan tsikllargacha bo'lgan 400 dan ortiq muammolarni tekshiradi.
Findbugs kabi vositalarni paydo qiladgan muammolardan biri bu ishlab chiquvchini ogohlantirishlar bilan ortiqcha yuklashga moyilligidir. Asbob tekshiradigan har bir "xato" haqiqiy xato emas; ular ko'pincha noto'g'ri signal bo'lishi mumkin. Shunga qaramay, ko'p sonli nosozlik hisobotlari bilan duch kelganda, ishlab chiquvchi har doim haqiqiy muammolarni yolg'onlardan ajratish uchun ko'p vaqtini ularni o'qishga sarflashi kerak.

Nazariy savollar:

1. 
   Avtomatlashtirilgan kodni ko'rib chiqish nechanchi yilda paydo bo’lgan?
   
2. 
   Aniqlangan kod muammolari xususiyati o’zgarib turadimi?
   
3. 
   Statik tahlil nechtagacha muammolarni tekshiradi?
   
4. 
   Findbugs nima?
   
5. 
   Statik tahlil uchun mos bo’lgan til qaysi?
   

3.