Kracada” dasturiy modulining algoritmini ishlab chiqish

3. Dasturiy taminot uchun qo’yilgan masalaning algoritm qismi


4. Xulosa
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.

5.Foydalanilgan adabiyotlar
Foydalanilgan adabiyotlar va saytlar :

1. 
   https://www.bing.com/
   
2. 
   https://fayllar.org/