Author : Robert John Weber
Publisher :
ISBN 13 :
Total Pages : 344 pages
Book Rating : 4.:/5 (319 download)
Book Synopsis Extending the Reach of Statistical Software Testing by : Robert John Weber
Download or read book Extending the Reach of Statistical Software Testing written by Robert John Weber and published by . This book was released on 2004 with total page 344 pages. Available in PDF, EPUB and Kindle. Book excerpt: Statistical software testing is a promising technique for reducing the software testing burden by applying test cases to the software under test according to a model of the expected usage of the system in operation, called an operational profile. However, current statistical testing techniques have not been put into general practice, as they do not scale well as the complexity of the systems under test increases. In particular, as system complexity increases, the matrices required to generate test cases and perform model analysis can grow dramatically, even exponentially, overwhelming the test generation and analysis applications. In this work, a new technique for representing the operational profile is proposed to mitigate the complexity issue for statistical test case generation. The use of a state-based requirements specification model as the basis of the operational profile leverages parallelism to reduce the visible size of the model. The specification model can then be extended to include conditional probabilities of input data occurrence. * This work also proposes a statistical testing framework using this specification-based operational profile to generate and execute test cases. Such a framework allows us to evaluate the effectiveness and efficiency of this statistical testing technique.