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 fault-detection probability with estimating the probability that a software testing has already been tested from the distance to already-executed test cases.
展开▼