Live briefing
Everything about Model-based testing
Application of model-based design
In computing, model-based testing is an approach to testing that leverages model-based design for designing and possibly executing tests. As shown in the diagram on the right, a model can represent the desired behavior of a system under test (SUT). Or a model can represent testing strategies and environments. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Model-based testingA 5-minute orientation
- Skim a recent paper: Secure software development and testing: A model-based methodologyInfluential work since 2022
- Pick up a classic book: Model-Based Testing Essentials - Guide to the ISTQB Certified Model-Based TesterThe most-reprinted book on the subject
- Read the landmark paper: A taxonomy of model‐based testing approachesCited 509 times
- Go sideways: Test suiteA closely related topic
- Go sideways: Dynamic program analysisA closely related topic
📖 Definitions
Noun An application of model-based design for designing and optionally also executing artifacts to perform software testing.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
A taxonomy of model‐based testing approaches
Model-Based Testing
Killing strategies for model‐based mutation testing
Model-Based Security Testing
Systematic Testing of Model-Based Code Generators
Model-based Security Testing Using UMLsec
Complete model-based equivalence class testing
Model-based testing for real
🆕 Influential since 2022
Secure software development and testing: A model-based methodology
Model-based security testing in IoT systems: A Rapid Review
Model-based cylinder radius and permeability estimation using eddy current testing
A Driver-Vehicle Model for ADS Scenario-Based Testing
Can neuropsychological testing be improved with model-based approaches?
📚 Books worth reading
- 📕Model-Based Testing Essentials - Guide to the ISTQB Certified Model-Based TesterAnne Kramer, Bruno Legeard · 2016
The analysis of frequency dataShelby J. Haberman · 1974
Informationsversorgung lernender AkteureKlaus Hufschlag · 2008- 📕Parametric data from a wind tunnel test on a rocket-based combined-cycle engine inlet · 2001
- 📕Model-based testing essentialsKramer, Anne (Software engineer) · 2016
- 📕Three dimensional numerical simulation of rocket-based combined-cycle engine response during mode transition eventsJack R. Edwards · 2003
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Test suite In software development, a test suite, less commonly known as a validation suite, is a collection of test cases that are intended to be used to test a…
- Dynamic program analysis Dynamic program analysis is the act of analyzing software that involves executing a program – as opposed to static program analysis, which does not execute…
- Test oracle In software testing, a test oracle (or just oracle) is a provider of information that describes correct output based on the input of a test case. Testing…
- Symbolic execution In computer science, symbolic execution (also symbolic evaluation or symbex) is a means of analyzing a program to determine what inputs cause each part…
- Executable UML Executable UML (xtUML or xUML) is both a software development method and a highly abstract software language. It was described for the first time in 2002…
- Protocol engineering Protocol engineering is the application of systematic methods to the development of communication protocols. It uses many of the principles of software…
- Concolic testing Concolic testing (a portmanteau of concrete and symbolic, also known as dynamic symbolic execution) is a hybrid software verification technique that performs…
- Formal verification In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of a system with respect to a…