Taklif bilan rozimasman deb yozadi.
3. Taklif. Bunday turdagi hisobot dastkrda nimadir bo`lganligini bildirmaydi.
Unda testlovchining fikricha dastkrniyaxshilash mumkinligi g’oyasi tavsiflanadi.
4. Hujjatlashtirish bilan mos kelmaslik. Dastur o`zini ko`rsattmada yoki
interaktiv ma`lumotnomada tavsiflanganidek tutadi. Bu holda hisobotda aynan qaysi
hujjatda va qaysi sahifada mos kelmaslik topilganligini ko`rsatish kerak bo`ladi.
Bunda hisobogtda xatolik dasturning o`zida emas, hujjatlashtirishda ekanligi
umuman tasdiqlanmaydi. Hujjatlashtirish bilan mos kelmaslik haqidagi hisobotlar
dasturchi va hujjatlashtirish muallifi bilan birgalikda ko`rib chiqilishi kerak.
Dasturning hech qaerda yozilmagan funktsiyalari haqida ham bu turdagi hisobotlarni
tuzish kerak bo`ladi.
5. Apparatura bilan o`zaro ta`sirlashish. Bu turdagi muammolar dastur va
ma`lum turdagi apparatura ta`minotining muvaffavqiyatsiz o`zaro ta`sirlashishiga
bog’liq. Agar muvaffavqiyatsizlikning sababi urilmaning yaroqsizligidan iborat
bo`lsa, u haqda hisobot tuzish kerak emas. Agar dastur hech qanday plata yoki aniq
bir turdagi qurilma bilan ishlay olmasa, bu hujjatlashtirish kerak bo`ladigan
muammo hisoblanadi.
6. Savol. Dastur teslovchi kutmagan yoki tushunmaydigan nimanidir qilyapdi.
Hisobot-savol har qanday ikkilanishlarda turibdi. Agar ular haqiqiy xatolikka
asoslangan bo`lsa, dastur uni tuzatadi. Agar dasturchi xatolikni tuzatishdan bosh
tortsa yoki uning tushuntirishi sizga tushunarli bo`lmasa, layihalash xatoligi haqida
hisobotni tuzish mumkin.
Muhimlik darajasi Bu ustunda testlovchi uning fikricha aniqlangan muammo jiddiyligini
ko`rsatadi.
Afsuski, muhimlik darajasini aniqlash uchun qat`iy mezon mavjud emas.
Beyzer (Beizer, 1984, 20-bet), masalan, 1 dan
