Dasturiy modulni ishlab chiqish

Dasturiy modul ustidan nazorat 

 

Dasturiy modulni nazorat qilishning quyidagi usullari qo‘llanadi: 

-modul matnining statik tekshiruvi; 

-mufassal kuzatuv; 

-dasturiy modul xususiyatlarini isbotlash. 

Modul matnining statik tekshiruvida ushbu matn moduldagi xatolarni topish maqsadida 

boshdan  oyoq  ko‘rib  chiqiladi.  Odatda  bunday  tekshiruvga  modul  ishlab  chiquvchisidan 

tashqari yana bitta yoki xatto bir nechta dasturchilar jalb qilinadi. Bunday tekshiruv paytida 

aniqlangan  xatolarni  shu  topda  emas,  balki  modul  matnini  o‘qish  tugaganidan  so‘ng 

to‘g‘rilash tavsiya qilinadi. 

Mufassal  kuzatuv  modulni  dinamik  nazorat  qilish  turlaridan  biridir.  Bunda  ham  bir 

nechta dasturchi ishtirok etib, ular modulning bajarilishini biron-bir matnlar to‘plamida sinab 

ko‘radi. 

Dasturiy  modul  xususiyatlarining  isbotiga  alohida  ma’ruza  bag‘ishlanadi.  Bu  o‘rinda 

esa ushbu usul hozircha juda kam qo‘llanishini qayd etish bilan cheklanamiz. 

 

---

Document Outline

• Ketma-ketlik
• P
  • Ha
  • Yo‘q
• P (1)
  • Ha
  • Yo‘q
    • Takrorlash