A survey on model-based testing approaches: a systematic review

This paper describes a systematic review performed on model-based testing (MBT) approaches. A selection criterion was used to narrow the initially identified four hundred and six papers to focus on seventy-eight papers. Detailed analysis of these papers shows where MBT approaches have been applied, the characteristics, and the limitations. The comparison criteria includes representation models, support tools, test coverage criteria, the level of automation, intermediate models, and the complexity. This paper defines and explains the review methodology and presents some results.

[1]  Barbara Kitchenham,et al.  Procedures for Performing Systematic Reviews , 2004 .

[2]  Angelo Gargantini,et al.  Using model checking to generate tests from requirements specifications , 1999, ESEC/FSE-7.

[4]  Ioannis Parissis,et al.  Specification-based testing of synchronous software , 1996, SIGSOFT '96.

[5]  Michael J. Butler,et al.  ProTest: An Automatic Test Environment for B Specifications , 2004, MBT.

[6]  Guilherme Horta Travassos,et al.  Heuristics for the Identification of Class Integration Order in Object-Oriented Software Testing , 2008, CLEI Electron. J..

[7]  Eda Marchetti,et al.  Integration of "Components" to Test Software Components , 2003, TACoS.

[8]  John B. Shoven,et al.  I , Edinburgh Medical and Surgical Journal.

[9]  Insup Lee,et al.  Specification-based testing with linear temporal logic , 2004, Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004. IRI 2004..

[10]  Keith Stobie.  Model Based Testing in Practice at Microsoft , 2005, Electron. Notes Theor. Comput. Sci..

[11]  Jon Edvardsson,et al.  A Survey on Automatic Test Data Generation , 2002 .

[12]  John Mylopoulos,et al.  A Semantic Approach to XML-based Data Integration , 2001, ER.

[13]  Rajesh Subramanyan,et al.  Automation of GUI testing using a model-driven approach , 2006, AST '06.

[14]  Natalia Juristo Juzgado,et al.  Reviewing 25 Years of Testing Technique Experiments , 2004, Empirical Software Engineering.

[15]  Lionel C. Briand,et al.  A UML-Based Approach to System Testing , 2001, Software and Systems Modeling.

[16]  Mingsong Chen,et al.  Automatic test case generation for UML activity diagrams , 2006, AST '06.

[17]  Bruno Legeard,et al.  A taxonomy of model-based testing , 2006 .

[18]  Zhan Cui,et al.  An Environment for Managing Enterprise Domain Ontology , 2001, Information Modeling in the New Millennium.

[19]  Debra J. Richardson,et al.  Structural specification-based testing: automated support and experimental evaluation , 1999, ESEC/FSE-7.

[20]  Alexander Pretschner,et al.  Model-Based Testing in Practice , 2005, FM.