Abstract
Model-based testing (MBT) can reduce the cost of making test cases for
critical applications significantly. Depending on the formality of the models,
they can also be used for verification. Once the models are available
model-based test case generation and verification can be seen as "push-button
solutions." However, making the models is often perceived by practitioners as
being extremely difficult, error prone, and overall daunting.
This paper outlines an approach for generating models out of observations
gathered while a system is operating. After refining the models with moderate
effort, they can be used for verification and test case generation. The
approach is illustrated with a concrete system from the safety and security
domain.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the International Workshop on Design of Dependable Critical Systems |
| Subtitle of host publication | Hardware, Software, and Human Factors in Dependable System Design |
| Editors | Achim Wagner, Meike Jipp, Colin Atkinson, Essameddin Badreddin |
| Publisher | Heidelberg University |
| Pages | 1-8 |
| ISBN (Print) | 978-3-00-029877-6 |
| Publication status | Published - 2009 |
| MoE publication type | A4 Article in a conference publication |
| Event | International Workshop on Design of Dependable Critical Systems - Hamburg, Germany Duration: 15 Sept 2009 → 15 Sept 2009 |
Conference
| Conference | International Workshop on Design of Dependable Critical Systems |
|---|---|
| Country/Territory | Germany |
| City | Hamburg |
| Period | 15/09/09 → 15/09/09 |