%0 Report %1 Utting2006 %A Utting, Mark %A Pretschner, Alexander %A Legeard, Bruno %D 2006 %K fundamentals tools model-based 20100917 testing matlab/simulink MBT %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 thesystem. This paper provides an overview of the field. Seven different dimensions define a taxonomy that allows thecharacterization of different approaches to model-based testing. It is intended to help with understanding benefitsand 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. Toillustrate 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 thesystem. This paper provides an overview of the field. Seven different dimensions define a taxonomy that allows thecharacterization of different approaches to model-based testing. It is intended to help with understanding benefitsand 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. Toillustrate the taxonomy, we classify several approaches embedded in existing model-based testing tools.}, added-at = {2010-09-17T13:49:48.000+0200}, author = {Utting, Mark and Pretschner, Alexander and Legeard, Bruno}, biburl = {https://www.bibsonomy.org/bibtex/2589739489e212e4d6f0e9103fd044677/lama}, 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.}, file = {:Utting,ATaxonomyOfModel-BasedTesting.pdf:PDF}, howpublished = {Working Paper}, interhash = {f8388c5ad43b2463480cf6cf38126ca3}, intrahash = {589739489e212e4d6f0e9103fd044677}, keywords = {fundamentals tools model-based 20100917 testing matlab/simulink MBT}, month = {April}, timestamp = {2010-09-17T13:49:48.000+0200}, 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 }