Model-based testing relies on models of a system under test and/or its environment to derive test cases for the
system. This paper provides an overview of the field. Seven different dimensions define a taxonomy that allows the
characterization of different approaches to model-based testing. It is intended to help with understanding benefits
and limitations of model-based testing, understanding the approach used in a particular model-based testing tool,
and understanding the issues involved in integrating model-based testing into a software development process. To
illustrate the taxonomy, we classify several approaches embedded in existing model-based testing tools.
Description
Die Taxonomie ist sehr wertvoll.
Im Buch [Utting2007] wird der Inhalt dieses Papers komprimiert wiedergegeben: Chapters 11, 3, 4.
MR: Wertvoll wegen den vorgestellten Modellparadigmen.
Enthält auch 5 einklassifizierte Ansätze (3 für modellbasierte Testfallgenerierung und 2 für modellbasierte Testeingabenermittlung).
Nachteilig: es werden nur Ansätze betrachtet, die durch ein Tool repräsentiert werden.
%0 Report
%1 Utting2006
%A Utting, Mark
%A Pretschner, Alexander
%A Legeard, Bruno
%D 2006
%K MBT fundamentals matlab/simulink model-based testing tools
%T A taxonomy of model-based testing
%U http://www.cs.waikato.ac.nz/pubs/wp/2006/uow-cs-wp-2006-04.pdf
%X Model-based testing relies on models of a system under test and/or its environment to derive test cases for the
system. This paper provides an overview of the field. Seven different dimensions define a taxonomy that allows the
characterization of different approaches to model-based testing. It is intended to help with understanding benefits
and limitations of model-based testing, understanding the approach used in a particular model-based testing tool,
and understanding the issues involved in integrating model-based testing into a software development process. To
illustrate the taxonomy, we classify several approaches embedded in existing model-based testing tools.
@techreport{Utting2006,
abstract = {Model-based testing relies on models of a system under test and/or its environment to derive test cases for the
system. This paper provides an overview of the field. Seven different dimensions define a taxonomy that allows the
characterization of different approaches to model-based testing. It is intended to help with understanding benefits
and limitations of model-based testing, understanding the approach used in a particular model-based testing tool,
and understanding the issues involved in integrating model-based testing into a software development process. To
illustrate the taxonomy, we classify several approaches embedded in existing model-based testing tools.},
added-at = {2010-03-17T17:40:00.000+0100},
author = {Utting, Mark and Pretschner, Alexander and Legeard, Bruno},
biburl = {https://www.bibsonomy.org/bibtex/2acf960d56c5933ded9482c2eb9bf9ef1/ist_spl},
description = {Die Taxonomie ist sehr wertvoll.
Im Buch [Utting2007] wird der Inhalt dieses Papers komprimiert wiedergegeben: Chapters 11, 3, 4.
MR: Wertvoll wegen den vorgestellten Modellparadigmen.
Enthält auch 5 einklassifizierte Ansätze (3 für modellbasierte Testfallgenerierung und 2 für modellbasierte Testeingabenermittlung).
Nachteilig: es werden nur Ansätze betrachtet, die durch ein Tool repräsentiert werden.},
howpublished = {Working Paper},
interhash = {f8388c5ad43b2463480cf6cf38126ca3},
intrahash = {acf960d56c5933ded9482c2eb9bf9ef1},
keywords = {MBT fundamentals matlab/simulink model-based testing tools},
month = {April},
timestamp = {2010-03-17T17:40:01.000+0100},
title = {A taxonomy of model-based testing },
url = {http://www.cs.waikato.ac.nz/pubs/wp/2006/uow-cs-wp-2006-04.pdf},
year = 2006
}