Relation between Test Coverage and Timed Automata Model Structure
Type of document
stať ve sborníkuconference paper
Peer-reviewed
acceptedVersion
Author
Krejčí L.
Sobotka J.
Novák J.
Rights
openAccessMetadata
Show full item recordAbstract
This paper deals with problematics of structure of Timed Automata models suitable for Model-Based Testing of automotive systems. Previous ex-periments, primarily focused on the environmental models, have shown that their structure does not significantly affect the coverage speed of testing process. How-ever, similar questions regarding the observer part of the system model remained open. This paper analyzes those remaining questions and focuses on uncovering possible relation between an observer model structure and the quality of gener-ated test sequences according to multiple criteria. Goal of presented experiments is to compare multiple modeling approaches and discover which one is most suit-able for automotive systems.
View/ Open
Collections
- Publikační činnost ČVUT [1342]