A taxonomy of model‐based testing approaches

@article{Utting2012ATO,
  title={A taxonomy of model‐based testing approaches},
  author={M. Utting and A. Pretschner and Bruno Legeard},
  journal={Software Testing},
  year={2012},
  volume={22}
}
Model‐based testing (MBT) relies on models of a system under test and/or its environment to derive test cases for the system. This paper discusses the process of MBT and defines a taxonomy that covers the key aspects of MBT approaches. It is intended to help with understanding the characteristics, similarities and differences of those approaches, and with classifying the approach used in a particular MBT tool. To illustrate the taxonomy, a description of how three different examples of MBT… Expand
Experiences in setting up domain-specific model-based testing
TLDR
This paper presents experiences in using a domain-specific modeling layer on top of the specific model-based testing tools, which allows for easier change of the used testing tool, while providing a more familiar modeling notation in terms of the domain concepts familiar to the user. Expand
Model Driven Architecture based Testing Tool based on Architecture Views
TLDR
A model-driven architecture based testing tool framework whereby the adopted models represent models of the architecture and the MDABT process and the corresponding tool are proposed. Expand
An Empirical Study of Test Cases Selection by Applying Criteria to Activity Diagram
In principle, structural coverage criterion enables the evaluation of test results and the automation of test execution; however, it is limited in that it cannot be applied to specification basedExpand
An approach to modularization in model-based testing
TLDR
This paper proposes a modularization approach for modeling in model-based testing and presents a tool for supporting this modularized approach. Expand
An Approach to Derive Usage Models Variants for Model-Based Testing
TLDR
This paper presents an approach to equip usage models, a widely used formalism in MBT, with variability capabilities, and is integrated into the professional MBT tool MaTeLo and is currently used in industry. Expand
Lightweight Model-Based Testing for Enterprise IT
TLDR
A lightweight MBT approach and a tool, called Yest, dedicated to business process-based testing of enterprise information systems, and the way MBT may support emerging Acceptance Test Driven Development practices in agile is discussed. Expand
A systematic review of state-based test tools
  • M. Shafique, Y. Labiche
  • Computer Science
  • International Journal on Software Tools for Technology Transfer
  • 2013
TLDR
The goal of this systematic review is determining the current state of the art of prominent MBT tool support where it focuses on tools that rely on state-based models. Expand
Recent Advances in Model-Based Testing
TLDR
This chapter gives an overview of the field of model-based testing (MBT), particularly the recent advances in the last decade, and discusses best practices, such as traceability between models and tests. Expand
A Model-Based Test Case Management Approach for Integrated Sets of Domain-Specific Models
  • Reinhard Pröll, B. Bauer
  • Computer Science
  • 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
  • 2018
TLDR
This work developed an integrated and model-based approach supporting test case management, which incorporates the beneficial aspects of abstract development methodologies with predominant research for test casemanagement in non-model-based scenarios. Expand
Towards an Integrated Methodology for the Development and Testing of Complex Systems
TLDR
The framework provides a meta-model for the description of systems at different levels of abstraction which is used as a basis for the combination of model-based testing techniques for automated test case generation with executable requirement monitors that continuously observe the status of the System under Test (SuT) during test execution. Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 98 REFERENCES
A survey on model-based testing approaches: a systematic review
TLDR
A selection criterion was used to narrow the initially identified four hundred and six papers to focus on seventy-eight papers and detailed analysis of these papers shows where MBT approaches have been applied, the characteristics, and the limitations. Expand
A Systematic Review of Model Based Testing Tool Support
TLDR
This paper presents a systematic review of prominent MBT tool support where it focuses on tools that rely on state-based models, and Precisely defined criteria are used to compare selected tools. Expand
Surveying model based testing approaches characterization attributes
TLDR
The planning, execution, and initial results analysis of a survey accomplished with Model Based Testing researchers and practitioners compose a body of knowledge regarding Model-based Testing Approaches intended to support software engineers in using MBT approaches in software projects. Expand
A Picture from the Model-Based Testing Area: Concepts, Techniques, and Challenges
TLDR
This chapter presents information intended to support researchers and practitioners reducing the gap between researches regarding MBT and its application in the software industry, mainly occasioned by the lack of information regarding the concepts, available techniques, and challenges in using this testing strategy in real software projects. Expand
Abstractions for Model-Based Testing
TLDR
It is argued that models for specification purposes, models for test generation, and models for full code generation are likely to be different, and the different levels of abstraction must be bridged. Expand
Model-based testing in practice
TLDR
Four case studies presented here offer details and results of applying combinatorial test-generation techniques on a large scale to diverse applications and their insights into what works in practice and thoughts about obstacles to transferring this technology into testing organizations. Expand
Improving Evidence about Software Technologies: A Look at Model-Based Testing
TLDR
The evidence on model-based testing (MBT) was looked at to extract some useful knowledge and also discuss some issues that are relevant to other software technologies with similar types of evidence. Expand
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
TLDR
This chapter provides a comprehensive survey of the concepts of the model-based testing tool and their foundations. Expand
Generating test data from state‐based specifications
TLDR
This paper presents formal testing criteria for system level testing that are based on formal specifications of the software, which represent a significant opportunity for testing. Expand
Boundary coverage criteria for test generation from formal models
TLDR
This paper proposes a new family of model-based coverage criteria, based on formalizing boundary-value testing heuristics, that can be used either to measure the coverage of an existing test set, or to generate tests from a formal model. Expand
...
1
2
3
4
5
...