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

Authors:
Arilo C. Dias Neto;Rajesh Subramanyan;Marlon Vieira;Guilherme H. Travassos
Affiliations:
Federal University of Rio de Janeiro - COPPE, Rio de Janeiro, RJ, Brazil;Siemens Corporate Research -- SCR, Princeton, NJ;Siemens Corporate Research -- SCR, Princeton, NJ;Federal University of Rio de Janeiro - COPPE, Rio de Janeiro, RJ, Brazil
Venue:
Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies: held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007
Year:
2007

Citing 12
Cited 19

Specification-based testing of synchronous software

SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Model-based testing in practice

Proceedings of the 21st international conference on Software engineering
Using model checking to generate tests from requirements specifications

ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Structural specification-based testing: automated support and experimental evaluation

ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
An environment for managing enterprise domain ontology

Information modeling in the new millennium
A Semantic Approach to XML-based Data Integration

ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Reviewing 25 Years of Testing Technique Experiments

Empirical Software Engineering
Model-based testing

Proceedings of the 27th international conference on Software engineering
Automatic test case generation for UML activity diagrams

Proceedings of the 2006 international workshop on Automation of software test
Automation of GUI testing using a model-driven approach

Proceedings of the 2006 international workshop on Automation of software test
Model Based Testing in Practice at Microsoft

Electronic Notes in Theoretical Computer Science (ENTCS)
ProTest: An Automatic Test Environment for B Specifications

Electronic Notes in Theoretical Computer Science (ENTCS)

Supporting the selection of model-based testing approaches for software projects

Proceedings of the 3rd international workshop on Automation of software test
Surveying model based testing approaches characterization attributes

Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement
Enabling the adoption of aspects - testing aspects: a risk model, fault model and patterns

Proceedings of the 8th ACM international conference on Aspect-oriented software development
Model-based testing approaches selection for software projects

Information and Software Technology
Validating UML simulation models with model-level unit tests

Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Automated functionality testing through GUIs

ACSC '10 Proceedings of the Thirty-Third Australasian Conferenc on Computer Science - Volume 102
Seamless testing for models and code

FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Model based approach to assist test case creation, execution, and maintenance for test automation

Proceedings of the First International Workshop on End-to-End Test Script Engineering
Automated transition from use cases to UML state machines to support state-based testing

ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Specifying a testing oracle for train stations

Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Specifying a testing oracle for train stations --- going beyond with product line technology

MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering
Combining model-based and combinatorial testing for effective test case generation

Proceedings of the 2012 International Symposium on Software Testing and Analysis
Towards an integrated approach for validating qualities of self-adaptive systems

Proceedings of the 2012 Workshop on Dynamic Analysis
A taxonomy of model-based testing approaches

Software Testing, Verification & Reliability
Automated generation of test oracles using a model-driven approach

Information and Software Technology
A generic platform for model-based regression testing

ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Automatic generation of test models and properties from UML models with OCL constraints

Proceedings of the 12th Workshop on OCL and Textual Modelling
A grey-box approach for automated GUI-model generation of mobile applications

FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
A language-independent approach to black-box testing using Erlang as test specification language

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.