eprintid: 10095
rev_number: 6
eprint_status: archive
userid: 1
dir: disk0/00/01/00/95
datestamp: 2009-11-30 09:45:36
lastmod: 2012-08-15 08:50:54
status_changed: 2012-08-15 08:50:54
type: conferenceObject
metadata_visibility: show
creators_name: Kanstrén, Teemu
creators_name: Piel, Eric
creators_name: Gonzalez, Alberto
creators_name: Gross, Hans-Gerhard
title: Observation-Based Modeling for Testing and Verifying Highly Dependable Systems – A Practitioner’s Approach
ispublished: pub
subjects: ddc-004
divisions: i-999999
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.
abstract_translated_lang: eng
date: 2009
date_type: published
id_scheme: DOI
id_number: 10.11588/heidok.00010095
portal_cluster_id: p-ddcs09
portal_order: 01
ppn_swb: 1384041885
own_urn: urn:nbn:de:bsz:16-opus-100955
language: eng
bibsort: KANSTRENTEOBSERVATIO2009
full_text_status: public
series: International Workshop on the Design of Dependable Critical Systems
volume: 1
citation:   Kanstrén, Teemu ; Piel, Eric ; Gonzalez, Alberto ; Gross, Hans-Gerhard  (2009) Observation-Based Modeling for Testing and Verifying Highly Dependable Systems – A Practitioner’s Approach.  [Conference Item]     
document_url: https://archiv.ub.uni-heidelberg.de/volltextserver/10095/1/Observation_Based_Modeling_for_Testing_and_Verifying_Highly_Dependable_Systems_A_Practitioners_Approach.pdf