Directly to content
  1. Publishing |
  2. Search |
  3. Browse |
  4. Recent items rss |
  5. Open Access |
  6. Jur. Issues |
  7. DeutschClear Cookie - decide language by browser settings

Observation-Based Modeling for Testing and Verifying Highly Dependable Systems – A Practitioner’s Approach

Kanstrén, Teemu ; Piel, Eric ; Gonzalez, Alberto ; Gross, Hans-Gerhard

PDF, English
Download (351kB) | Terms of use

Citation of documents: Please do not cite the URL that is displayed in your browser location input, instead use the DOI, URN or the persistent URL below, as we can guarantee their long-time accessibility.


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.

Item Type: Conference Item
Series Name: International Workshop on the Design of Dependable Critical Systems
Volume: 1
Date Deposited: 30 Nov 2009 09:45
Date: 2009
Faculties / Institutes: Service facilities > Uni-externe Einrichtungen
Subjects: 004 Data processing Computer science
About | FAQ | Contact | Imprint |
OA-LogoDINI certificate 2013Logo der Open-Archives-Initiative