Kommunikatsiyalarini rivojlantirish vazirligi toshkent axborot texnologiyalari universiteti «dasturiy injiniring» fakulteti

Formal inspektsiyasi. Formal inspektsiyasini maqsad va vazifalari. Formal 

inspektsiyasini bosqichlari va ishtirokchilari roli. 

Reja: 

1.  Formal inspektsiyasi. 

2.  Formal inspektsiyasini maqsad va vazifalari.  

3.  Formal inspektsiyasini bosqichlari va ishtirokchilar roli. 

Formal inspektsiyasi 

Dasturiy  tizimning  funktsionalligini  tekshirish  uchun  avtomat  tarzda  yoki  aniq 

formallashtirilgan  qo‟lda  testlashni  amalga  oshirish  xar  doim  xam  mumkin  emas.  Bir 

qancha vaziyatlarda talablar bo‟yicha testlash muxitini yaratishda testlanayotgan dasturiy 

kodni bajarishning  iloji  yo‟q.  Dastur kodi  verifikatsiyalanmasdan, bajarib bo‟lmaydigan 

yoki  uning  uchun  aloxida  testlash  masalalari  xamda  dasturiy  kodni  ekspert  tekshirishi 

metodi, aniqlikda yoki ziddiyatsiz xujjatlashtirish bo‟yicha murojaat qilinuvchi  tizimdagi 

loyixaviy xujjatlar yaratiladi. 

Bunday  ekspert  tekshirishlar  odatda  inspektsiya  yoki  kuzatish  deb  nomlanadi. 

Inspektsiyaning 2 turi mavjud – formal bo‟lmagan va formal. 

Formal  bo‟lmagan  inspeksiyada  bir  qancha  xujjatlar  yoki  dasturiy  tizimning  qismi 

muallifi  ekspertga  yuboradi.  Xujjatlar  bilan  tanishib  chiquvchi  muallifga  to‟g‟rilanishi 

zarur  bo‟lgan  tanbexlarni  yuboradi.  Inspektsiya  va  tanbexlarning  xolati  qonun  bo‟yicha 

xech  qaerda  aloxida  saqlanmaydi  va  tanbehlar  bo‟yicha  tuzatishlar  ham  hech  qaerda 

ko‟rsatib o‟tilmaydi. 

 

Formal inspektsiya aniq boshqariluvchi jarayon bo‟lib, loyixa standartlari bo‟yicha 

mos  kelishi  aniqlanadi.  Barcha  formal  inspektsiyalar  bir  xil  strukturaga  va  loyixada 

ishlatiluvchi bir xil chiquvchi xujjatlarga ega.