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

Formal inspektsiya jarayonini hujjatlashtirish. Dasturiy kodni formal 

inspektsiyasi. 

Reja: 

1.  Formal inspektsiya jarayonini hujjatlashtirish. 

2.  Dasturiy kodni formal inspektsiyasi 

3.  Inspektsiya jarayonini hujjatlashtirish 

Formal inspektsiya jarayonini xujjatlashtirish 

 

Odatda,  agar  korxona  bir  nechta  loyixalar  dasturiy  tizimini  ishlab  chiqish  olib 

borsa, formal inspeksiya protsedurasi korxona standarti asosida reglamentlashtiriladi. Bu 

esa  formal  inspektsiyada  xodimlarga,  qatnashuvchilarga  loyixadan  loyixaga  o‟tishni 

moslashtirishda yangillik yaratadi.  

   

Lekin  xar  bir  loyixa  o‟z  spetsifikatsiyasiga  ega  bo‟lishi  mumkin.  Bu  esa  xar  bir 

loyixa  o‟z  formal  inspektsiya  protsedurasiga  ega  bo‟lishni  tavsiya  etadi.  Formal 

inspektsiya  protsedura  loyixasini  aniqlash  va    berilgan  loyixa  spetsifikatsiyasi  standarti 

asosida  bir-birini  to‟ldirishi  kerak.  Formal  inspektsiya  protsedurasi  loyixasi  xaqiqiy 

standart talablariga zid bo‟lmasligi lozim. 

Formal  inspektsiya  protsedura  loyixasi  mavjud  loyixada  formal  inspektsiya  tartibi 

asosida o‟tkazilishi kerak.  

 

Formal  inspektsiya  protsedurasida  loyixalarning    barcha  identifikatorlar    xolati 

loyixa ma‟lumotlar bazasidagi nazorat qilingan xujjatlar xolati deb atalishi lozim. 

•  xujjatlarni nazorat qilishga tayyorligi; 

•  rejalashtirish fazasi, tayyargarlik va muxokama qilishni o‟tkazish; 

•  xujjatlarni qayta ishlash kerakligi; 

•  xujjatlar bilan mutanosibligini ta‟minlash.