Fine-Grained Software Reliability Estimation Using Software Testing Inputs

This paper considers the model-based software reliability evaluation using the information on software testing inputs. Concretely, we define the distance between two software test cases by means of their testing inputs, and estimate the probability that the domain for a test input has already been covered by already-executed test cases. Based on the probability, we formulate the fault-detection probability in the software reliability growth model. In numerical experiments, we compare the proposed model with an existing non-homogeneous Poisson process based model with the distance of 5,000 test inputs in a real software application, and discuss the effect of test information on the software reliability evaluation.