O’zbekiston Respublikasida axborot kommunikatsiya infratuzilmasining ahamiyati



Yüklə 0,84 Mb.
səhifə3/12
tarix24.05.2022
ölçüsü0,84 Mb.
#59362
1   2   3   4   5   6   7   8   9   ...   12
BMI

Mills modeli
Shumann tegirmonlarini sinovdan o'tkazish algoritmi
Ushbu modeldan foydalanish sinovdan oldin dasturni sun'iy ravishda "to'sib qo'yish" zarurligini anglatadi. unga ma'lum bo'lgan bir qator xatolarni kiritish. Xatolar tasodifiy ravishda kiritiladi va texnogen xatolar jurnalida qayd etiladi. Mills modeli yordamida ishonchlilik ko'rsatkichlari baholanmaguncha sinovchi kiritilgan xatolarning sonini yoki xususiyatlarini bilmaydi. Sinov paytida barcha xatolar (tabiiy va sun'iy) teng ravishda topilishi mumkin deb taxmin qilinadi.
Dasturni bir muncha vaqt sinovdan o'tkazib, ular xatolar statistikasini to'plashadi. Sun'iy xatolar protokoli bo'yicha ishonchliligini baholash vaqtida barcha xatolar ichki va sun'iy bo'linadi. Mills formulasi deb nomlangan nisbati,
N = 
Dasturdagi xatolarning dastlabki sonini taxmin qilishga imkon beradi N. bu erda S - sun'iy ravishda kiritilgan xatolar soni; n - topilgan o'z xatolarining soni; V - baholash vaqtida aniqlangan sun'iy xatolar soni.


Jelinski-Moranda modeli
Modelga asoslangan asosiy nuqta shundaki, dasturiy ta'minotni sinab ko'rish jarayonida ikkita xatoni aniqlash o'rtasidagi sinov vaqt oralig'ining qiymati eksponent darajadagi taqsimotga ega bo'lib, u hali aniqlanmagan xatolar soniga mutanosib. Har bir aniqlangan xato bartaraf qilinadi, qolgan xatolar soni bittaga kamayadi.
(I - 1) -inchi xatoni aniqlagan paytdan boshlab hisoblangan i-chi xatoni aniqlash vaqtining taqsimot zichligi funktsiyasi shaklga ega.  )
 – dasturda hali aniqlanmagan xatolar soniga mutanosib bo'lgan nosozlik darajasi qayerda:
Bu erda N - dasturda dastlab mavjud bo'lgan xatolar soni; C - mutanosiblik koeffitsienti.
N va C uchun eng katta mumkin bo'lgan qiymatlar sinov paytida olingan ma'lumotlar asosida aniqlanadi. Buning uchun dasturning bajarilish vaqti keyingi ishlamay qolguncha qayd qilinadi. t1,t2,t3,…,tk. N va C qiymatlarini tenglamalar tizimini echish yo'li bilan olish mumkin

Q =  ;
A =  ;
B =  .
Λ ning sonli qiymatlarini olish uchun ularning N va C o'rniga ularning mumkin bo'lgan N va C qiymatlarini almashtirish kerak. (5) formulaga muvofiq K qiymatlarini hisoblab, ularni (4) ifodaga almashtirib, har xil vaqt oralig'ida nosozlik bilan ishlash ehtimolini aniqlash mumkin.


Lipov modeli
Lipov turli xil miqdordagi testlardan foydalanganda xatolarni aniqlash ehtimolini hisobga olgan holda Mills modelini o'zgartirdi. Agar biz Mills modelidagi kabi xuddi shunday taxmin qilsak, ya'ni ichki va sun'iy xatolarning topilish ehtimoli teng bo'lsa, u holda ichki va V kiritilgan xatolarni aniqlash ehtimoli mavjud.

Bu erda m - ishlatilgan testlar soni, q - formulalar bo'yicha hisoblangan m testlarining har birida xatolikni aniqlash ehtimoli.
 ;
S - sun'iy tartibga solish bo'yicha xatolarning umumiy soni; N - sinovdan oldin dasturiy ta'minotdagi o'z xatolar soni.



    1. Yüklə 0,84 Mb.

      Dostları ilə paylaş:
1   2   3   4   5   6   7   8   9   ...   12




Verilənlər bazası müəlliflik hüququ ilə müdafiə olunur ©azkurs.org 2024
rəhbərliyinə müraciət

gir | qeydiyyatdan keç
    Ana səhifə


yükləyin