Obiekt

Abstrakt:

An approach to formal modelling the program testing process is proposed in the paper. Considerations are based on some program reliability-growth model that is constructed for assumed scheme of the program testing process. In this model the program under the testing is characterized by means of so-called characteristic matrix and the program testing process is determined by means of so-called testing strategy. The formula for determining the mean value of the predicted number of errors encountered during the program testing is obtained. This formula can be used if the characteristic matrix and the testing strategy are known. Formulae for evaluating this value when the program characteristic matrix is not known are also proposed in the paper.

Data wydania:

2014-12-05

Identyfikator:

oai:ribes-88.man.poznan.pl:1562 ; doi:10.37055/sbn/135244 ; oai:editorialsystem.com:article-135244

ISSN drukowany:

2082-2677

Identyfikator wydawcy:

135244

Licencja:

kliknij tutaj, żeby przejść

Strona początkowa:

359

Strona końcowa:

375

Tom:

6

Wydanie:

2

Czasopismo:

SBN

Słowa kluczowe:

testowanie oprogramowania ; niezawodność oprogramowania ; modele ; niezawodności oprogramowania