Статистикалық көрсеткіштер бағдарламалық қамтамасыз ету сенімділігін анықтау

төмендегідей бағдарламалық қамтамасыз ету сенімділігін ең көп таралған көрсеткіштері болып табылады:

- Құрастыру кейін және ол түзетуде бұрын Бағдарламадағы бастапқы саны N0 қателер;

- Бағдарламалық қамтамасыз жөндеу әрбір сатысында кейін анықталған, ал қалған қателер N саны;

- Mean уақыт сахнасында жеткіліксіздігі Т;

- Уақыт қажет қадам отладка ^ алдын ала белгіленген сапасын (қалған қателер саны) τk.o;

- Бір қате болмауы туралы сенімділігі P_o бағдарламалық қамтамасыз ету

- пайдалану сенімділігі P немесе дайындық коэффициенті K_д..

Бағдарламалық қамтамасыздандыру сенімділігі бойынша жарияланымдарды талдау бастапқы қателердің мүмкін болатын бағаны келесідей береді:

1) басқару бағдарламасының санын ассемблердегі (өлшейтін құрал) бағдарламалық қамтамасыздандыру жөнделгенге дейін барлық көлемнің 20%-ын N₀ = 0,069035 S_п – 0,001251 S_о құрайды. Мұнда сәйкесінше, S_п, S_о – басқару бағдарламасының мөлшері мен бағдарламалық қамтамасыздандырудың мөлшері сөзбен көрсетеді;

2) бағдарламалық қамтамасыздандыру жөнделгенге дейін бастапқы сан N₀ сөзбен көрсетілген барлық көлемнің 2%-ын алады деп;

3) бағдарламалық қамтамасыздандыру жөнделгенге дейін бастапқы сан N₀ =1 750 бит ассемблердің мәтініннің қатесі деп;

4) бағдарламалық қамтамасыздандыру жөнделгенге дейін бастапқы сан V көлем үшін битпен

N₀ = ∙2 ;

5) мамандандырылған микропроцессор үшін кешенді жөндеуге дейін N₀ қателер саны бағдарламалық қамтамасыздандырудың сөзбен берілген көлемінің 0,5%-ын құрайды;

6) көлемі V сөзбен берілген ассемблер үшін кешенді жөндеуге дейін N₀ = 5 V/1024 20%-дық дәлдікпен анықталады.

Жеке жөндеуден кейінгі бағдарламалық қамтамасыздандырудың бастапқы N₀ қателер санының орташа статистикалық мөлшері, сәйкесінше, ассемблер үшін 4,34 және бағдарламаның жоғарғы деңгейі сөздің коды 1К болатын бағдарлама үшін 1,44.

Бағдарламалық қамтамасыздандырудың сенімділігінің экспоненциалды сенімділігі аппараттық сенімділікпен мына түрде пара-пар бола алады:

, t – жұмыс уақыты;

T = (13.1)

- істен шығуға дейін орташа жұмыс істеуінің экпоненциалды моделі; k – қателерді табу жылдамдығының коэффициенті мына формуламен анықталады

n = N₀[1- ], (13.2)

где n – бағдарламалық қамтамасыздандырудың анықталған және дұрысталған қателерінің саны; τ_к.ж – бағдарламаны кешенді жөндеу уақыты. Бағдарламаның бастапқы жұмыс істеу жылдамдығы T₀ = 1/k, қалған дұрысталмаған қателердіңсаныn₀ = N₀ Сенімділікті анықтау алгоритмі итерациялық сипатта, себебі табылған нақты қателер саны N₀ = n[1- ] арқылы N₀ саны анықталады.