A taxonomy of model‐based testing approaches

descriptionPublicationkeyboard_double_arrow_right Article , Conference object 12 Apr 2011 Australia, France English Publisher:WileyJournal:Software Testing, Verification and Reliability, volume 22, pages 297-312 (issn: 0960-0833, eissn: 1099-1689,

Copyright policy )

Authors: Mark Utting; Alexander Pretschner; Bruno Legeard;

doi: 10.1002/stvr.456

A taxonomy of model‐based testing approaches

- Summary
- Subjects
- Metrics

Abstract

SUMMARYModel‐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 tools fit into the taxonomy is provided. Copyright © 2011 John Wiley & Sons, Ltd.

Countries

Australia, France

Related Organizations

Karlsruhe Institute of Technology
Germany
University of Queensland
Australia
University of Queensland
Australia
University of Franche-Comté
France
UNIVERSITE MARIE ET LOUIS PASTEUR
France

View all View all

Keywords

Risk, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Model-based testing, 004, 1712 Software, taxonomy, model-based testing approaches, Reliability and Quality, 2213 Safety, Risk, Reliability and Quality, 2213 Safety, survey, testing, model, FoR 0803 (Computer Software), ddc: ddc:

Impact byBIP!

	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).	457
	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 1%
	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 0.1%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 1%