Project Results


The project successfully demonstrated the possibility to reduce testing effort by at least 20% for small to medium sized, yet industially relevant, control applications. Even higher reductions were achieved in the context of fault injection.

Additionally, it has shown that fault based coverage criteria are a better ground for trust in a test suite, than some classical, structural coverage metrics.


Six tools/tool suites were developed or extended during the project:

  • Mutation based test case generation from UML models
  • Classical test case generation from UML models (using UPPAAL)
  • Mutation based test case generation from Simulink models
  • Model based and hardware fault injection using minimal cut sets and Simulink models
  • Minimal cut sets based test case generation for Prover iLock
  • A tool integration framework, including support for requirements tracebability

Scientific Results

A list of the scientific publications created in the course of the project can be found in menu item Publications. In many cases, the publication (or a pre-final version of it) can be downloaded as PDF file.

Several public project deliverables, including an initial state of the art survey, used modelling languages and fault models and the test case generation methods, can be downloaded at menu item Deliverables.