Relation between Test Coverage and Timed Automata Model Structure
Typ dokumentu
stať ve sborníkuconference paper
Peer-reviewed
acceptedVersion
Autor
Krejčí L.
Sobotka J.
Novák J.
Práva
openAccessMetadata
Zobrazit celý záznamAbstrakt
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.
Zobrazit/ otevřít
Kolekce
- Publikační činnost ČVUT [1323]