Issue No. 10 - October (1994 vol. 20)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.328991
<p>Statistical testing of software establishes a basis for statistical inference about a software system's expected field quality. This paper describes a method for statistical testing based on a Markov chain model of software usage. The significance of the Markov chain is twofold. First, it allows test input sequences to be generated from multiple probability distributions, making it more general than many existing techniques. Analytical results associated with Markov chains facilitate informative analysis of the sequences before they are generated, indicating how the test is likely to unfold. Second, the test input sequences generated from the chain and applied to the software are themselves a stochastic model and are used to create a second Markov chain to encapsulate the history of the test, including any observed failure information. The influence of the failures is assessed through analytical computations on this chain. We also derive a stopping criterion for the testing process based on a comparison of the sequence generating properties of the two chains.</p>
Markov processes; program testing; software quality; probability; Markov chain model; statistical software testing; statistical inference; software field quality; software usage; test input sequences; multiple probability distributions; stochastic model; software failures; testing process; sequence generating properties
J. Whittaker and M. Thomason, "A Markov Chain Model for Statistical Software Testing," in IEEE Transactions on Software Engineering, vol. 20, no. , pp. 812-824, 1994.