
This chapter gives an overview of the field of model-based testing (MBT), particularly the recent advances in the last decade. It gives a summary of the MBT process, the modeling languages that are currently used by the various communities who practice MBT, the technologies used to generate tests from models, and discusses best practices, such as traceability between models and tests. It also briefly describes several findings from a recent survey of MBT users in industry, outlines the increasingly popular use of MBT for security testing, and discusses future challenges for MBT.
model-based testing, Technology, FoR 0802 (Computation Theory and Mathematics), modeling approaches, 1700 Computer Science, security testing, Test generation, test generation technology, Security testing, Model-based testing, Modeling approaches, FoR 0803 (Computer Software)
model-based testing, Technology, FoR 0802 (Computation Theory and Mathematics), modeling approaches, 1700 Computer Science, security testing, Test generation, test generation technology, Security testing, Model-based testing, Modeling approaches, FoR 0803 (Computer Software)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 31 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
