A binomial software reliability model based on coverage of structural testing criteria
Empirical Software Engineering
| Hi-index | 0.00 |
Most software reliability growth models specify the expectednumber of failures experienced as a function of testingeffort or calendar time. However, there are approachesmodel the development of intermediate factors drivingfailure occurrences. This paper starts out with presentingmodel framework consisting of four consecutive relationships.It is shown that a differential equation representingthis framework is a generalization of several finite failurescategory models. The relationships between the number of test cases executedand expected structural coverage, and between expectedstructural coverage and the expected number of failureoccurrences are then explored further. A vector Markov model allowing for partial redundancysampling code constructs is developed. The model bridgesthe gap between setups related to operational testing andsystematic testing, respectively. Two extensions of the partialredundancy model considering the development of thenumber of failure occurrences are discussed.The paper concludes with showing that the extendedmodels fit into the structure of the differential equation presentedat the beginning, which permits further interpretation.