Improving software quality using statistical testing techniques

Abstract Cleanroom usage-based statistical testing techniques have been incorporated into the software development process for a program in the Electronic Systems business of Raytheon Company. Cost-effectively improving the quality of software delivered into systems integration was a driving criterion for the program. Usage-based statistical testing provided the capability to increase the number of test cases executed on the software and to focus the testing on expected usage scenarios. The techniques provide quantitative methods for measuring and reporting testing progress, and support managing the testing process. This article discusses the motivation and approach for adopting usage-based statistical testing techniques, and experiences using these testing techniques.

[1]  Jesse H. Poore,et al.  Statistical testing of software based on a usage model , 1995, Softw. Pract. Exp..

[2]  Jesse H. Poore,et al.  Markov analysis of software specifications , 1993, TSEM.

[3]  Richard C. Linger,et al.  Capability Maturity Model software development using Cleanroom software engineering principles-results of an industry project , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

[4]  Harlan D. Mills,et al.  Cleanroom Software Engineering , 1987, IEEE Software.

[5]  R.C. Linger,et al.  Cleanroom process model , 1994, IEEE Software.