Ўзбекистон республикаси ахборот технологиялари ва коммуникацияларини ривожлантириш вазирлиги муҳаммад ал-хоразмий номидаги

Инспекция қилинаётган хужжатнинг яшаш цикли 
 
 
 
Дастур кодини формал инспекция қилиш 
Дастур кодини формал инспекция қилиш жараёни ҳам абстракт формал инспекция 
қоидаларга бўйсунади, бироқ, қуйидагиларга боғлиқ бўлган баъзи бир ўзига хосликларга эга: 

дастур коди тузилмасига; 

тест мисолларига асосланган автоматик тестлаш ёрдамида текширишни 
имкони йўқ дастур коди қисмлари инспекция қилинади.
Инспекция қилинаётган кодни кўриб чиқиш босқичлари

муҳим нуқталарни ажратиш ва трассировка жадвалларини қуриш ёки 
фойдаланиш; 

кодлаш услубини текшириш; 

код ишончлилигини текшириш. 
Йиғилиш ўтказиш босқичлари

роллар тақсимоти; 

йиғилишни бошқариш. 
15-мавзу: Дастурий тизимни модулли тестлаш 
 
Active
Ready
Review
Accepted
Update

---

60 
Режа: 
1.
Дастур кодини верификациялаш босқичлари; 
2.
Модул тестлашнинг мақсад ва вазифалари; 
3.
Модул тушунчаси ва унинг чегаралари; 
4.
Синф (класс)ларни тестлаш. 
Дастур кодини верификациялаш босқичлари
 
Дастур кодини верификация қилиш жараёни қуйидагича босқичларга бўлинади: 

тизимли тестлаш, бунда тизим яхлит ҳолда тестланади; 

интеграцион тестлаш, бунда ўзароалоқада бўлган модуллар гуруҳи ва 
тизим компоненталари тестланади; 

модулли 
тестлаш, 
бунда 
тизимнинг 
алоҳида 
компоненталари 
тестланади.