Zur Kosteneffektivität des modellbasierten Testens

Annahmen zum kosteneffektiven Einsatz des modellbasierten Testens werden aufgezählt. Existierende empirische Evidenz für das Zutreffen dieser Annahmen wird genannt und die Notwendigkeit weiterer empirischer Studien betont.

[1]  Alan Hartman,et al.  Using a model-based test generator to test for standard conformance , 2002, IBM Syst. J..

[2]  Alexander Pretschner,et al.  One evaluation of model-based testing and its automation , 2005, ICSE.

[3]  Thierry Heuillard,et al.  AGEDIS Case Studies: Model-Based Testing in Industry , 2003 .

[4]  Siddhartha R. Dalal,et al.  Model-based testing in practice , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[5]  Jian Shen,et al.  An RTL Abstraction Technique for Processor Microarchitecture Validation and Test Generation , 2000, J. Electron. Test..

[6]  Albert Endres,et al.  A handbook of software and systems engineering - empirical observations, laws and theories , 2003, The Fraunhofer IESE series on software engineering.

[7]  Bruno Legeard,et al.  Generation of test sequences from formal specifications: GSM 11‐11 standard case study , 2004, Softw. Pract. Exp..

[8]  Jesse H. Poore,et al.  Generating transition probabilities to support model‐based software testing , 2000 .

[9]  L. Fournier,et al.  Developing an architecture validation suite: application to the PowerPC architecture , 1999, Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361).

[10]  Bruno Legeard,et al.  A taxonomy of model-based testing , 2006 .

[11]  Mark Blackburn,et al.  Why Model-Based Test Automation is Different and What You Should Know to Get Started , 2004 .

[12]  Joachim Wegener,et al.  Automatic Testing of an Autonomous Parking System Using Evolutionary Computation , 2004 .

[13]  Alexander Pretschner,et al.  Model-Based Test Case Generation for Smart Cards , 2003, FMICS.

[14]  Alexander Pretschner,et al.  Methodological Issues in Model-Based Testing , 2004, Model-Based Testing of Reactive Systems.

[15]  John D. Musa,et al.  Software Reliability Engineering , 1998 .

[16]  Jim Clarke Automated test generation from a behavioral model , 1998 .

[17]  Nicolae Goga,et al.  Formal Test Automation: A Simple Experiment , 1999, IWTCS.

[18]  César Viho,et al.  An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol , 1998, IWTCS.

[19]  Alexander Pretschner,et al.  Abstractions for Model-Based Testing , 2005, Electron. Notes Theor. Comput. Sci..

[20]  Daniel Geist,et al.  Semi-formal test generation with Genevieve , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).

[21]  P. Hall,et al.  Software Unit Test Coverage and Adequacy HONG , 1997 .

[22]  Duncan Clarke,et al.  Automated Test and Oracle Generation for Smart-Card Applications , 2001, E-smart.

[23]  J. K. Buckle Reviews and Inspections , 1982 .

[24]  Robert V. Binder,et al.  Testing Object-Oriented Systems: Models, Patterns, and Tools , 1999 .