Practical experiences with statistical usage testing

Software validation is an important activity with the aim to test the requirements of a software product. Several testing techniques have been developed, and one of these is statistical usage testing (SUT). The main purpose of SUT is to test a software product from a user's point of view. Hence, usage models are designed and then test cases are developed from the models. The development from the usage models to test cases can be made automatically with the help from a tool. This paper describes a joint European project with the aim to develop such a tool (called MaTeLo) for statistical usage testing.

[1]  Jesse H. Poore.  Introduction to the special issue on: model-based statistical testing of software intensive systems , 2000, Inf. Softw. Technol..

[2]  Kostas Kontogiannis,et al.  Proceedings of the Eleventh International Workshop on Software Technology and Engineering Practice , 2003 .

[3]  Claes Wohlin,et al.  Statistical Usage Testing for Software Reliability Control , 1995, Informatica.

[4]  David Lee,et al.  Principles and methods of testing finite state machines-a survey , 1996, Proc. IEEE.

[5]  Hélène Waeselynck,et al.  STATEMATE applied to statistical software testing , 1993, ISSTA '93.

[6]  Michael Dyer.  The Cleanroom Approach to Quality Software Development , 1992, Int. CMG Conference.

[7]  Jeff Tian,et al.  Measuring and Modeling Usage and Reliability for Statistical Web Testing , 2001, IEEE Trans. Software Eng..

[8]  Jesse H. Poore,et al.  Improved techniques for software testing based on markov chain usage models , 1999 .

[9]  James A. Whittaker,et al.  A Markov Chain Model for Statistical Software Testing , 1994, IEEE Trans. Software Eng..

[10]  Harlan D. Mills,et al.  Engineering software under statistical quality control , 1990, IEEE Software.

[11]  Claes Wohlin,et al.  Prioritized Use Cases as a Vehicle for Software Inspections , 2003, IEEE Softw..

[12]  Edward N. Adams,et al.  Optimizing Preventive Service of Software Products , 1984, IBM J. Res. Dev..

[13]  John D. Musa,et al.  Operational profiles in software-reliability engineering , 1993, IEEE Software.

[14]  Robert Oshana,et al.  Improving software quality using statistical testing techniques , 2000, Inf. Softw. Technol..