8-amaliy mashg‘ulot Dasturiy ta’minotning ishonchliligini hisoblash

^8-amaliy mashg‘ulot
Dasturiy ta’minotning ishonchliligini hisoblash
8.1. Aytaylik, dastur o‘z uchta xatoliklarga ega, yana oltita xatoliklarni tasodifiy ravishda kiritamiz. Testlash jarayonida beshta kiritilgan va ikkita o‘z xatoliklari topildi. Mills modeli bo‘yicha dasturning ishonchliligini topish.

8.2. Dasturda o‘z ikkita xatoliklari mavjud, yana uchta tasodifiy xatoliklarni qo‘shamiz. Testlash jarayonida ikkita kiritilgan xatoliklar va uchta o‘z xatoliklari topildi. Mills modeli bo‘yicha dasturning ishonchliligini topish.

8.3. Aytaylik, dasturda o‘nta o‘z xatoliklari mavjud, keling, yana beshta tasodifiy. Testlash jarayonida sakkizta kiritilgan va uchta o‘z xatoliklari topildi. Mills modeli bo‘yicha dasturning ishonchliligini topish.

8.4. Aytaylik, dasturda o‘n ikkita o‘z xatoliklari mavjud, yana oltita xatoliklar tasodifiy kiritiladi. Testlash jarayonida ettita kiritilgan xatoliklar va beshta o‘z xatoliklari topildi. Mills modeli bo‘yicha dasturning ishonchliligini topish.

8.5. Aytaylik, testlashdan oldin dasturda 90 ta xatoliklar mavjud. Sun’iy ravishda 20 ta xatoliklar tarqalgan. Testlash natijalari bo‘yicha ma’lumotlar 8.1-jadvalda keltirilgan.

8.1-jadval

Dasturni testlash davomida xatoliklarning taqsimlanishi

Testlash raqami	1	2	3	4	5	6	7
n (aniqlangan o‘z xatoliklari soni)	25	20	20	15	10	19	1
v (kiritilgan o‘z xatoliklari soni)	5	4	2	4	2	2	1

Har bir testlashdan so‘ng dasturda qolgan bo‘lishi mumkin xatoliklar sonini baholash. Oxirgi testlashdan keyin modelga bo‘lgan ishonch o‘lchovini baholash. Bo‘lishi mumkin xatoliklar sonini testlash soniga bog‘liqligi grafigini qurish.

8.6. Aytaylik, testlashdan oldin dasturda 100 ta xatoliklar mavjud. 15 ta xatoliklar sun’iy ravishda tarqalgan. Testlash natijalari bo‘yicha ma’lumotlar 8.2-jadvalda keltirilgan.

8.2-jadval

Dasturni testlash bo‘yicha xatoliklarni taqsimlanishi

Testlash raqami	1	2	3	4	5	6	7
n (aniqlangan o‘z xatoliklari soni)	20	20	25	16	9	8	1
v (kiritilgan o‘z xatoliklari soni)	5	3	3	4	3	1	1

Har bir testlashdan so‘ng dasturda qolgan bo‘lishi mumkin xatoliklar sonini baholash. Oxirgi testlashdan keyin modelga bo‘lgan ishonch o‘lchovini baholash. Bo‘lishi mumkin xatoliklar sonini testlash soniga bog‘liqligi grafigini qurish.

8.7. Aytaylik, testlashdan oldin dasturda 80 ta xatoliklar mavjud. 30 ta xatoliklar sun’iy ravishda tarqalgan. Testlash natijalari bo‘yicha ma’lumotlar 8.3-jadvalda keltirilgan.

8.3-jadval

Dasturni testlash bo‘yicha xatoliklarni taqsimlanishi

Testlash raqami	1	2	3	4	5	6	7
n (aniqlangan o‘z xatoliklari soni)	30	15	15	13	10	10	1
v (kiritilgan o‘z xatoliklari soni)	5	3	3	4	3	1	1

Har bir testlashdan so‘ng dasturda qolgan bo‘lishi mumkin xatoliklar sonini baholash. Oxirgi testlashdan keyin modelga bo‘lgan ishonch o‘lchovini baholash. Bo‘lishi mumkin xatoliklar sonini testlash soniga bog‘liqligi grafigini qurish.

8.8. Dasturni testlash jarayonida birinchi guruh 15 ta xatoliklarni, ikkinchi guruh 25 ta xatoliklarni topdi, umumiy xatoliklar 5 ta bo‘ldi. Oddiy intuitiv model bo‘yicha ishonchlilikni aniqlash.

8.9. Dasturni testlash jarayonida birinchi guruh 20 ta xatoliklarni, ikkinchi guruh 22 ta xatoliklarni topdi, umumiy xatoliklar 4 ta bo‘ldi. Oddiy intuitiv model bo‘yicha ishonchlilikni aniqlash.

8.10. Dasturni testlash jarayonida birinchi guruh 20 ta xatoliklarni, ikkinchi guruh 22 ta xatoliklarni, 4 ta umumiy xatoliklar bo‘ldi. Oddiy intuitiv model bo‘yicha ishonchlilikni aniqlash.

8.11. Dasturning N = 100 ta testlash o‘tkazildi. Yigirmata testlashlarda hech qanday xato topilmadi, boshqa testlashlardan olingan ma’lumotlar 8.4-jadvalda keltirilgan. Korkoren modeli bo‘yicha dasturning ishonchliligini baholash.

8.4-jadval

Dasturni testlash ma’lumotlari

Xatolik turi	Xatoliklarni paydo bo‘lishi ehtimolligi, ai	Xatoliklar soni, Ni
Hisoblash xatoliklar	0,09	5
Mantiqiy xatoliklar	0,26	25
Kiritish/chiqarish xatoliklari	0,16	3
Ma’lumotlar bilan ishlash xatoliklar	0,18	12
Moslashtirish xatoliklari	0,17	11
Ma’lumotlarni aniqlash xatoliklari	0,08	3
Ma’lumotlar omborlaridagi xatoliklar	0,06	4

8.12. Dasturni testlash jarayonida birinchi guruh 20 ta xatoliklarni, ikkinchi guruh 22 ta xatoliklarni aniqladi, umumiy xatoliklar 4 ta bo‘ldi. Oddiy intuitiv model bo‘yicha ishonchlilikni aniqlash.

8.13. Dasturni testlash jarayonida birinchi guruh 35 ta xatoliklarni, ikkinchi guruh 25 ta xatoliklarni aniqladi, umumiy xatoliklar 20 ta bo‘ldi. Oddiy intuitiv model bo‘yicha ishonchlilikni aniqlash.

8.14. Dasturni testlash jarayonida birinchi guruh 5 ta xatoliklarni, ikkinchi guruh 2 ta xatoliklarni aniqladi, umumiy xatoliklar 2 ta bo‘ldi. Oddiy intuitiv model bo‘yicha ishonchlilikni aniqlash

8.15. Dasturning N = 100 ta testlash o‘tkazildi. Yigirmata testlashlarda hech qanday xato topilmadi, boshqa testlashlardan olingan ma’lumotlar 8.5-jadvalda keltirilgan. Korkoren modeli bo‘yicha dasturning ishonchliligini baholash.

8.5-jadval

Dasturni testlash ma’lumotlari

Xatolik turi	Xatoliklarni paydo bo‘lishi ehtimolligi, ai	Xatoliklar soni, Ni
Hisoblash xatoliklar	0,26	5
Mantiqiy xatoliklar	0,9	8
Kiritish/chiqarish xatoliklari	0,16	3
Ma’lumotlar bilan ishlash xatoliklar	0,2	25
Moslashtirish xatoliklari	0,17	11
Ma’lumotlarni aniqlash xatoliklari	0,08	3
Ma’lumotlar omborlaridagi xatoliklar	0,16	3

8.16. Dasturning N = 100 ta testlash o‘tkazildi. Yigirmata testlashlarda hech qanday xato topilmadi, boshqa testlashlardan olingan ma’lumotlar 8.6-jadvalda keltirilgan. Korkoren modeli bo‘yicha dasturning ishonchliligini baholash.

8.6-jadval

Dasturni testlash ma’lumotlari

Xatolik turi	Xatoliklarni paydo bo‘lishi ehtimolligi, ai	Xatoliklar soni, Ni
Hisoblash xatoliklar	0,09	8
Mantiqiy xatoliklar	0,26	0
Kiritish/chiqarish xatoliklari	0,17	4
Ma’lumotlar bilan ishlash xatoliklar	0,2	25
Moslashtirish xatoliklari	0,8	25
Ma’lumotlarni aniqlash xatoliklari	0,08	3
Ma’lumotlar omborlaridagi xatoliklar	0,16	5

8.17. Dasturning N = 100 ta testlash o‘tkazildi. Yigirmata testlashlarda hech qanday xato topilmadi, boshqa testlashlardan olingan ma’lumotlar esa 8.7-jadvalda keltirilgan. Korkoren modeli bo‘yicha dasturning ishonchliligini baholash.

8.7-jadval

Dasturni testlash ma’lumotlari

Xatolik turi	Xatoliklarni paydo bo‘lishi ehtimolligi, ai	Xatoliklar soni, Ni
Hisoblash xatoliklar	0,2	4
Mantiqiy xatoliklar	0,26	3
Kiritish/chiqarish xatoliklari	0,17	11
Ma’lumotlar bilan ishlash xatoliklar	0,9	0
Moslashtirish xatoliklari	0,08	3
Ma’lumotlarni aniqlash xatoliklari	0,8	5
Ma’lumotlar omborlaridagi xatoliklar	0,16	25

8.18. Agar dasturdagi umumiy operatorlar soni 10 000 tani tashkil etsa, Shuman modeli bo‘yicha dasturning ishonchliligini baholash. Dasturni testlash ma’lumotlari 8.8-jadvalda keltirilgan.

8.8-jadval

Dasturni testlash ma’lumotlari

T, soat	0,5	0,4	0,5	0,75	0,2	0,5	0,3	0,3	0,1	0,4
Xatoliklar soni	2	0	5	3	4	1	3	2	0	1

8.19. Agar dasturdagi umumiy operatorlar soni 9 000 tani tashkil etsa, Shuman modeli bo‘yicha dasturning ishonchliligini baholash. Dasturni testlash ma’lumotlari 8.9-jadvalda keltirilgan.

8.9-jadval

Dasturni testlash ma’lumotlari

T, soat	0,5	0,4	0,5	0,75	0,2	0,5	0,3	0,3	0,1	0,4
Xatoliklar soni	2	5	0	3	4	1	2	1	1	0

8.20. Agar dasturdagi umumiy operatorlar soni 10 000 tani tashkil etsa, Shuman modelidan foydalanish bilan to‘qqizta testlashlardan keyin dasturning ishonchliligini baholash. Dasturni testlash ma’lumotlari 8.10-jadvalda keltirilgan.

8.10-jadval

Dasturni testlash ma’lumotlari

T, soat	0,5	0,1	0,3	0,75	0,3	0,4	0,5	0,5	0,5	0,1
Xatoliklar soni	1	5	4	0	1	2	3	2	1	5

8.21. Agar dasturdagi umumiy operatorlar soni 10 000 tani tashkil etsa, Shuman modelidan foydalanish bilan sakkizta testlashlardan keyin dasturning ishonchliligini baholash. Dasturni testlash ma’lumotlari 8.11-jadvalda keltirilgan.

8.11-jadval

Dasturni testlash ma’lumotlari

T, soat	0,5	0,1	0,75	0,5	0,3	0,4	0,2	0,5	0,5	0,1
Xatoliklar soni	0	5	1	3	1	2	1	2	0	5