A taxonomy of model-based testing approaches

Mark Utting; A Pretschner; Bruno Legeard

doi:10.1002/stvr.456

Back

A taxonomy of model-based testing approaches

Journal article

Open access

Peer reviewed

A taxonomy of model-based testing approaches

Mark Utting, A Pretschner and Bruno Legeard

Software Testing Verification and Reliability, Vol.22(5), pp.297-312

2012

DOI: https://doi.org/10.1002/stvr.456

Files and links (2)

pdf

PDF - Author's Accepted Version181.32 kBDownload View

Accepted VersionPDF - Author Accepted Version Open Access

url

https://doi.org/10.1002/stvr.456View

Published Version

Abstract

model-based testing approaches

taxonomy

survey

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

Details

Title: A taxonomy of model-based testing approaches
Authors: Mark Utting (Author) - University of Waikato, New Zealand
A Pretschner (Author) - Karlsruhe Institute of Technology, Germany
Bruno Legeard (Author) - Smartesting and Laboratoire d'Informatique de l'Université de Franche-Comté, France
Publication details: Software Testing Verification and Reliability, Vol.22(5), pp.297-312
Publisher: John Wiley & Sons Ltd.
Date published: 2012
DOI: 10.1002/stvr.456
ISSN: 0960-0833
Copyright note: Copyright © 2011 John Wiley & Sons, Ltd. This is the accepted version of the following article: Utting, M., Pretschner, A. and Legeard, B. (2012), A taxonomy of model-based testing approaches. Softw. Test. Verif. Reliab., 22: 297-312. doi: 10.1002/stvr.456, which has been published in final form at http://dx.doi.org/10.1002/stvr.456.
Organisation Unit: School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
Language: English
Record Identifier: 99448988302621
Output Type: Journal article

Metrics

182 File views/ downloads

981 Record Views

398 Times Cited - Web of Science

InCites Highlights

These are selected metrics from InCites Benchmarking & Analytics tool, related to this output

Collaboration types: Domestic collaboration; International collaboration
Web Of Science research areas: Computer Science, Software Engineering