FIABILITATEA PROGRAMELOR DE CALCUL

Generalitti
Un program poate fi privit ca o functie care aplic o multime de date care i sunt
furnizate, pe o multime de rezultate. La fiecare executie programul primeste un
set de date si poate produce rezultate corecte, ntr-un fel asteptate, poate
produce rezultate eronate sau poate executa operatiuni un timp indefinit, ceea ce
echivaleaz cu a nu produce nici un rezultat. Ultimele dou situatii reprezint
defectiuni ale programului. Ele pot fi remediate si programul poate executa din
nou calcule pn la aparitia unei alte situatii de pan. !i n cazul studiului
fia"ilittii programelor de calcul sunt necesare modele matematice ale
comportrii modulelor soft#are. $e aceea, n continuare sunt prezentate cteva
dintre modelele variate pe care literatura le propune.
Modelul Jelinski-Moranda
!u" aspect istoric, modelul %elins&i-'oranda este unul dintre primele modele
ale fia"ilittii programelor. 'odelul se "azeaz pe cteva ipoteze. !e admite c(
a) intervalele de timp ntre defectrile succesive sunt varia"ile aleatoare
independente distri"uite dup legi exponentiale cu parametri posi"il diferiti*
") rata de defectare este proportional cu numrul de erori latente ale
programului*
c) la fiecare defectare a programului se efectueaz o depanare de durat
negli+a"il, prin care se elimin o eroare si numai una.
,onform acestor ipoteze, programul cunoaste un proces de rennoire cu
rennoiri negative. -ata lui de defectare scade la fiecare defectare.depanare.
/ntre depanri rata defectrii este, desigur, constant deoarece lipseste uzura.
$ac N0t) este numrul curent de erori rmase 0reziduale) atunci N01) 2 N este
numrul de erori initiale. ,u eliminarea unei erori la fiecare depanare, pentru un
interval de functionare Xk, numrul de erori nc prezente pe durata acestui
interval este N0t) 2 N 3 k 4 5 cu
t t t
k k

6 , 7
5
. -ata de defectare n fiecare
interval este constant si este proportional cu N0t)
z t N t N k
k
0 ) 0 ) 0 ) + 5
pentru orice interval 6tk 3 5, tk7 de lrgime Xk, k 2 5, 8, ..., N. 9umrul initial de
erori N si constanta de proportionalitate sunt parametrii modelului.
:unctia de fia"ilitate n intervalul 6tk 3 5, tk7 este
R x e
k
N k x
0 )
0 )

+ 5
;<
si media duratei ntre defectrile cu numrul de ordine k 3 5 si k, n ordinea
aparitiei lor, este
m
N k
k

+
5
5 0 )
Un o"servator poate face n momentul t6tk35, tk7 o predictie asupra aparitiei
urmtoarei defectri prin evaluarea functiei de fia"ilitate asociate intervalului
curent de timp, R0t, t 4 x), si prin calculul duratei medii m0t) a vietii rmase
pn la urmtoarea defectare. =ceste functii au expresiile date de+a ntr-un
capitol anterior
x k N
du u z
e e x t t R
x t
t
) 5 0
) 0
) , 0
+

+
+

si
) 5 0
5
) , 0 ) 0
1
+
+

k N
dx x t t R t m

din cauz c rata de defectare n fiecare interval 6tk35, tk7 este constant
z0t) 2 0N 3 k 4 5)
si proportional cu numrul erorilor care nu s-au manifestat nc.
$ac M0t) este numrul de defectri n intervalul 01, t) atunci N = N0t) + M0t).
Expresia aceasta care descrie n fond un proces de rennoire permite
prognozarea numrului de interventii de efectuat ntr-un interval oarecare si a
numrului de erori reziduale ale programului.
$ac
P t P M t r
r
0 ) 6 0 ) 7
reprezint distri"utia numrului de defectri n
intervalul 01, t) cu t fixat, atunci n intervalul initial, pn la prima defectare
P t e e
t
Nt
1
1
0 )

iar conditia initial a procesului este
P r N
r
0 ) * , ,..., 1 1 5 8
>ro"a"ilitatea ca n intervalul scurt 0t, t 4 t) s se produc defectarea k este
proportional cu t si factorul de proportionalitate este

k
N k + 0 ) 5
.
/n intervalul 0t, t 4 t) procesul este descris de sistemul alctuit din ecuatia cu
diferente
t t P t t P t t P
r r r r r
+ +
+
) 0 ) 5 )0 0 ) 0
5 5
scris pentru r 2 5, 8, ..., N 35, la care se adaug ecuatia pentru ultima eroare
P t t P t P t t
N N N N
0 ) 0 ) 0 ) + +


5

>entru t din ce n ce mai mic sistemul alge"ric de ecuatii aproximative de mai
sus se transform n sistemul de ecuatii diferentiale
dP t
dt
P t P t
r
r r r r
0 )
0 ) 0 ) +
+

5 5
dP t
dt
P t
N
N N
0 )
0 )

5
,u conditiile initiale mentionate mai devreme, solutia sistemului este
P t C e e
r N
r t N r t r
0 ) 0 ) 0 )

5
;;
pentru orice r 2 5, 8, ..., N. :actorii
e
t
si
5

e
t
sunt pro"a"ilitti care se
asociaz, evident, manifestrii unei erori n intervalul 01, t), respectiv eliminrii
unei erori latente n acelasi interval. ,ele dou pro"a"ilitti complementare
intervin ntr-o lege "inomial cu parametrii N si
5

e
t
.
:unctia de rennoire, media numrului de defectri n rstimpul 01, t), este
H t N e
t
0 ) 0 )

5

care are o variatie exponential. 'odelul n discutie are o crestere exponential
a fia"ilittii. $ensitatea de rennoire este
h t
dH t
dt
N e
t
0 )
0 )

!e poate aprecia de asemenea comportarea statistic a numrului de erori
remanente la momentul t dat de relatia N0t) 2 N 3 M0t), care are n vedere
numrul initial de erori si numrul de erori eliminate n urma aparitiei lor n
intervalul 01, t).
$in pro"a"ilitatea aparitiei a r erori n intervalul 01, t), a crei expresie este dat
mai sus, se poate scrie imediat
Q t P N t k C e e
k N
k t k t N k
0 ) 6 0 ) 7 0 ) 0 )

5
o lege "inomial cu parametrii N si
e
t
. 9umrul mediu de erori remanente
este
Ne
t
si pro"a"ilitatea ca toate erorile s fie eliminate n intervalul 01, t)
este
Q t P N t e
t N
1
1 5 0 ) 6 0 ) 7 0 )

=ceast relatie permite calculul timpului de testare necesar pentru ca n msura
dat de pro"a"ilitatea Q1 s putem afirma c programul nu mai are nici o eroare
t
Q
Q
N
1
5 5
5
1
5

ln
$e asemenea, se poate evalua timpul mediu necesar eliminrii tuturor erorilor
D
N N
+

+ +
5 5
5
5
0 )
...
$ac se estimeaz parametrii N si din o"servarea a n erori pn la momentul
t, atunci se pot face aprecieri importante si interesante asupra comportrii
programului n continuare. :unctia de fia"ilitate pentru intervalul 0t, t 4 x) este
exponential cu rata de defectare 0N - n)
R t t x e
N n x
0 , )
0 )
+

$ac se impune o anumit pro"a"ilitate de "un functionare R, atunci durata x
corespunztoare este
x
N n R
R

5 5
0 )
ln
si durata medie pn la urmtoarea defectare este
m t
N n
0 )
0 )

;?
9umrul de defectri n intervalul 0t, t 4 x) se distri"uie "inomial cu parametrii
N - n si
P M t t x r C e e
N n
r x r x N n r
6 0 , ) 7 0 ) 0 ) +

5

:unctia de rennoire este
H t t x N n e
x
0 , ) 0 )0 ) +

5

9umrul erorilor remanente la momentul t 4 x este k dac n intervalul 0t, t 4 x)
se produc si sunt remediate N 3 n 3 k erori si pro"a"ilitatea asociat este
k x k n N x k n N
n N
k
e e C
k n N x t t M P k x t N P x t Q
) 0 ) 5 0
7 ) , 0 6 7 ) 0 6 ) 0

+ + +
$urata de testare suplimentar necesar pentru a elimina toate erorile este
x
Q
Q
N n
1
5 5
5
1
5

ln
si durata medie pn la eliminarea tuturor erorilor este
D t
N n N n
0 )
0 ) 0 )
...

+

+ +
5 5
5
5

Estimarea parametrilor N si se poate face pe "aza o"servatiilor experimentale
asupra duratelor succesive de functionare ntre defectri,
x x x
n 5 8
, ,...,
pn la
a n-a. >entru unul dintre intervale, densitatea de repartitie este
f x N N k e
k k
N k x
k
0 . , ) 0 )
0 )


+
+
5
5
$ensitatea de repartitie pentru vectorul o"servatiilor
x x x
n 5 8
, ,...,
este
f x x x N N k e
n
n
k
n N k x
k
n
k
0 , ,..., . , ) 0 )
0 )
5 8
5
5
5
5

Logaritmul acestei functii este o functie de verosimilitate convena"il pentru
maximizat
L x x x N n N k N k x
n
k
n
k
n
k
0 , ,..., . , ) ln ln0 ) 0 )
5 8
5 5
5 5 + + +


=nularea derivatelor partiale conduce la un sistem de dou ecuatii cu
necunoscutele N si . @alorile rezultate

N
si

sunt estimri prin metoda

verosimilittii maxime ale parametrilor teoretici N si . Experienta arat c
estimatiile au tendinta de a fi infinit, respectiv zero, ceea ce este desigur
neconvena"il. /n asemenea mpre+urri experimentul se prelungeste.
Etinderi ale !odelului Jelinski-Moranda
A prim extindere are n vedere rezolvarea la fiecare defectare nu a unei singure
erori ci a unei fractii date 5 3 c, constant, din numrul total de erori N. /n
aceste conditii, numrul de erori remanente evolueaz dup schema de mai +os
;B

'

+


) , 6
) , 6
) , 6
) , 1 6
) 0
5
< 8
8
8 5
5
k k
k
t t t N c
t t t N c
t t t cN
t t N
t N
pn la epuizarea tuturor erorilor.
-ata defectrilor se mentine constant pe intervale si proportional cu numrul
erorilor remanente

) , 6
) , 6
) , 6
) , 1 6
) 0
5
< 8
8 5
5
1
1
8 8
8
1 5
1
+

'

k k
k k
k
t t t
t t t
t t t
t t
c N c
c N c
c cN
N
t z




>arametrii acestei variante a modelului n discutie sunt 0
si c cu N si
neprecizate. =sadar, modelul nu poate prezice nici numrul de defectri ntr-un
interval de timp dat si nici numrul de erori remanente la un moment dat. !e pot
ns evalua functia de fia"ilitate, durata medie rezidual de viat, se poate
prevedea cnd urmeaz a se produce urmtoarea defectare. =stfel
R t t x e t t t x t
c x
k k
k
0 , ) + < + <

1
5
m t
c
k
0 )
5
1

'etoda verosimilittii maxime de estimare a celor doi parametri pe "aza

o"servatiilor experimentale
x x x
n 5 8
, ,...,
3 duratele de functionare ntre
defectri pn la defectarea a n-a 3 are n vedere densitatea de repartitie a
vectorului o"servatiilor
f x x x c c e
n
n k
k
n c x
k
k
k
n
0 , ,..., . , ) 0 )
5 8 1 1
5
5
1
5
5

care logaritmat produce

L x x x c n c k c x
n
k
n
k
k
k
n
0 , ,..., . , ) ln ln 0 )
5 8 1 1
5
1
5
5
5 +

>rin minimizarea acestei functii se o"tin estimatiile

1
si c . @alorile care
asigur minimul se o"tin prin rezolvarea sistemului

L
1
1
,

L
c
1
n necunoscutele 0
si c.
;C
@arianta aceasta a modelului %elins&i-'oranda este cunoscut si su" denumirea
de varianta geometric.
Exist si o variant hi"rid care are n vedere dou categorii de erori latente( o
prim categorie conform modelului geometric, eliminate n schema geometric
fractionar-constant* o a doua categorie de erori cu incident poissonian de
parametru (repartitia >oisson este repartitia pentru varia"ila aleatoare k
discret, P k
k
e
k
0 * )
D

, cu E 1), care permit eventual reluarea
programului fr remediere. 'odelul %elins&i-'oranda hi"rid este cu rat a
defectrilor constant ntre dou defectri succesive
z t c t t t
k
k
k k
0 ) 6 , ) +

5
1 5
$ezvoltarea predictiilor este n "un msur similar celor expuse mai sus.
Modelele Goel-Oku!oto "I# si Musa
'odelul Goel-kumoto 0versiunea F) compenseaz una din rigidittile
modelului %elins&i-'oranda si a variantelor lui. Este vor"a de ipoteza rezolvrii
o"ligatorii a unei 0unor) erori la fiecare defectare. =cest model admite
continuarea executrii programului fr remediere, remedierea nssi fiind un
eveniment care se poate produce cu o pro"a"ilitate precizat !.
>rocesul aleator al rennoirilor nu mai coincide n acest caz cu acela al
eliminrii erorilor. $ac Pr0t) 2 P6M0t) 2 r7 descrie procesul aleator al eliminrii
erorilor, adic este pro"a"ilitatea eliminrii a r erori n intervalul 01, t), atunci
pro"a"ilitatea eliminrii celei de a k erori n intervalul 0t, t 4 t) este produsul
dintre pro"a"ilitatea ca eroarea k s se manifeste n intervalul specificat, kt,
cu

k
N k + 0 ) 5
, si pro"a"ilitatea ! ca acea eroare s fie eliminat cu
ocazia aparitiei ei.
>entru r 2 1 se poate scrie ecuatia cu diferente
P t t P t ! N t
1 1
5 0 ) 0 )6 7 +
care prin trecere la limit se transform n ecuatia diferential
dP t
dt
! NP t
1
1
0 )
0 )
prin rezolvarea creia, cu conditia initial P101) 2 5, se o"tine
P t e
! Nt
1
0 )

$ac pn la momentul t s-au remediat r sau r 3 5 erori, pro"a"ilitatea ca dup
nc un interval scurt t s fie rezolvate 0tot) r erori 0r 2 5, 8, ..., N 3 5) este
aproximativ
t r N ! t P t r N ! t P t t P
r r r
+ + +

) 5 0 ) 0 7 ) 0 5 )6 0 ) 0
5

$e asemenea, pro"a"ilitatea ca pn la t 4 t s se remedieze toate cele N erori
este
7 ) 0 ) 0 ) 0
5
t ! t P t P t t P
N N N
+ +


;G
=m"ele relatii cu diferente finite, prin trecere la limit, t 1, devin ecuatii
diferentiale
dP t
dt
! N r P t ! N r P t
r
r r
0 )
0 ) 0 ) 0 ) 0 ) + +

5
5
dP t
dt
! P t
N
N
0 )
0 )

5
>rin rezolvarea sistemului de ecuatii diferentiale rezultat, cu conditiile initiale
Pr01) 2 1 pentru toti r, se o"tine
P t C e e
r N
r ! t N r ! t r
0 ) 0 ) 0 )

5
o lege "inomial de parametri N si 0 ) 5

e
! t
.
9umrul mediu de erori eliminate este dat de relatia
M t H t N e
! t
0 ) 0 ) 0 )

5

-epartitia numrului de erori remanente este descris de o lege care este tot
"inomial
Q t P N t r C e e
r N
r ! t r ! t N r
0 ) 6 0 ) 7 0 ) 0 )

5
'odelul Mu"# este "azat pe aceleasi ipoteze ca si cel anterior. Fa ns n
considerare timpul de utilizare a unittii centrale a calculatorului 0,>U). =cest
timp este multiplicat cu un factor de compresie c, raportul dintre durata
echivalent de operare si durata de testare. Erorile latente care se manifest n
timpul de testare sunt eliminate cu pro"a"ilitatea !. /n faza de utilizare propriu-
zis nu mai au loc eliminri de erori. :actorul de contractie exprim proportia n
care executiile din faza de operare curent au fost reduse prin alegerea
metodelor de proiectare si testare. $e pild o or de testare poate echivala cu
mai multe ore de utilizare curent. !e noteaz cu M1 2 N .! numrul maxim de
defectri, necesar pentru eliminarea tuturor erorilor programului. Hinnd seama
de factorul de compresie, numrul mediu de defectri o"servate n intervalul 01,
t) devine
H t M e
! ct
0 ) 0 )

1
5

cu t timpul de rulare curent a programului. =vnd n vedere relatia dintre N si
M1 si rezultatul m1 2 5 .N care exprim durata medie pn la prima defectare,
rezult
H t M e
ct
m M
0 ) 0 )

1
5
1 1
relatie caracteristic modelului 'usa.
Modelele Little$ood si Little$ood-%errall
'odelele prezentate mai devreme au o limitare dat de faptul c este un
coeficient constant. L$ttle%ood propune un model n care fiecare eroare are
ponderea proprie $, $ 2 5, 8, ..., N. ,u aceast completare, rata defectrilor
capt o expresie nou
;I
z t t t t
n $
$
N n
n n
0 ) 6 , )
+

+

5
5
5
$esigur, ponderile erorilor nu pot fi n totalitate cunoscute. !e foloseste uzual o
distri"utie apriori su"iectiv a acestor ponderi
f
e
# $
$
$
0 )
0 )
0 )

o lege , aceeasi pentru orice indice $ 2 5, 8, ..., N, ceea ce su"liniaz faptul c

ierarhizarea erorilor nu este posi"il nainte de a se manifesta.
La momentul
t t t
n n

+
6 , )
5
cnd n erori s-au manifestat de+a, se poate preciza
aposteriori repartitia prin intermediul ecuatiei lui JaKes. >entru aceasta se
o"serv c pro"a"ilitatea ca n intervalul 01, t) eroarea $ s nu se manifeste
este
e
$
t
. Ecuatia JaKes d distri"utia aposteriori a acelei erori
f
f e
f e d
! $
# $
t
# $
t
$
$
$
0 )
0 )
0 )

1
care dup nlocuirea densittii apriori devine
f
t t e
! $
$
t
$
0 )
0 ) 60 ) 7
0 )
0 )

+ +
+ 5

asadar o repartitie cu parametrii si + t cu

t t t
n n

+
6 , )
5
.
@arianta L$ttle%ood-&err#ll, mai veche, nu cuprinde printre parametri numrul
total de erori latente N. >redictiile se refer n acest caz la intervalul de timp cu
un nceput ar"itrar si cu finalul la eroarea urmtoare.
Modele &u rat de de'e&tare (aria)il
=ceste modele au n vedere rate de defectare de forma
z t N k t t t t
k k
0 ) 0 ) 0 ) 6 , ) +

5
5

cu 0t) o functie de timp precizat. ,oeficientul nceteaz a mai fi constant

sau constant pe intervale.
$ac functia 0t) este liniar atunci
z t x N n x x t t
n n n
0 ) 0 ) 6 , ) +
+
1
5
si este vor"a despre modelul 'ch$ck-(ol)erton. Expresia ultim arat c rata
defectrii revine la zero dup fiecare defectare.remediere a defectului. /n cazul
liniar
R t t x e e
n n
z t x dx
N n x
n
x
0 , )
0 )
0 )
+

+

1
8
5
8

$urata medie a intervalului pn la defectarea urmtoare este
m t R t t x dx
N n
n n n
0 ) 0 , )
0 )
+

1
8

?1
,azul general cu 0t) o functie oarecare este cunoscut su" numele de modelul
'h#nth$kum#r. >entru acest caz expresia functiei de rennoire este
1
1
1
]
1

t
dt t
e N t # N t H
1
) 0
5 )7 0 5 6 ) 0

si cea a pro"a"ilittii care descrie procesul aleator al defectrilor este
P t C # t # t
r N
r N r r
0 ) 6 0 )7 6 0 )7

5
o lege "inomial de parametrii N si 65 3 #0t)7 cu #0t) integrala care apare n
exponentiala din formula precedent.
Un caz particular de important practic este acela n care ponderea 0t) are
expresia
0 ) t *e
*t

ceea ce transform functia #0t) n
# t e
e
*t
0 )
0 )

5
=cesta este modelul Goel-kumoto 0versiunea FF). >rocesul de manifestare a
erorilor este poissonian
P M t r
e
r
e
*t r
e
*t
6 0 ) 7
6 0 )7
D
0 )






5
5
/n su"text, produsul N este finit dar N si tind concomitent la infinit,
respectiv la zero, ceea ce echivaleaz cu un numr de erori foarte mare
independente una de cealalt.
:unctia de rennoire are n acest caz o form exponential
H t e
*t
0 ) 0 )

5
,a o concluzie a acestei sectiuni se poate retine numrul aprecia"il de modele,
posi"ilittile largi de testare a programelor, dintre care pentru sigurant se alege
uzual situatia cea mai dezavanta+oas.
@arietatea mare de modele oferite de literatur arat ct de important este
pro"lema functionrii sigure a produselor "oft%#re.
?5
?8