Vorschau |
PDF, Englisch
Download (351kB) | Nutzungsbedingungen |
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.
Dokumententyp: | Konferenzbeitrag |
---|---|
Name der Reihe: | International Workshop on the Design of Dependable Critical Systems |
Band: | 1 |
Erstellungsdatum: | 30 Nov. 2009 09:45 |
Erscheinungsjahr: | 2009 |
Institute/Einrichtungen: | Zentrale und Sonstige Einrichtungen > Uni-externe Einrichtungen |
DDC-Sachgruppe: | 004 Informatik |