D 1.2 - State of the Art Survey - Part a: Model-based Test Case Generation

Publication Type:

Report

Source:

MOGENTES public project deliverable (2008)

URL:

https://www.mogentes.eu/public/deliverables/MOGENTES_1-19a_1.1r_D1.2_Survey_Part-a.pdf

Abstract:

Model-based test generation techniques are on the rise. This is not surprising because they promise cheap, flexible and correct test cases in a world of ever increasingly complex systems.

Because model-based testing draws from formal methods and the wide body of known testing techniques, a lot of scientific work exists. This survey tries to give an overview of recent advances in the field, where following chapters are addressed in particular:

  • Systems models for testing
  • Test case generation techniques
  • Fault injection techniques
  • Industrial case studies

 

Notes:

For more information, please contact one of the authors:

  • Bernhard Aichernig: aichernig<at>ist.tugraz.at
  • Willibald Krenn: wkrenn<at>ist.tugraz.at
  • Jonny Vinter: jonny.vinter<at>sp.se
  • Henrik Eriksson: henrik.eriksson<at>sp.se