KREJČÍ, L., J. SOBOTKA, and J. NOVÁK. Relation between Test Coverage and Timed Automata Model Structure. In: Tools and Methods of Program Analysis. International Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA-2019), Tbilisi, 2019-11-07/2019-11-09. Cham: Springer International Publishing, 2021. p. 109-120. Communications in Computer and Information Science. ISSN 1865-0937. ISBN 9783030714710. DOI 10.1007/978-3-030-71472-7_9. Available from: https://tmpaconf.org/events/tmpa-2019/about-2019-en
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.
eng
dc.format.mimetype
application/pdf
dc.language.iso
eng
dc.publisher
Springer International Publishing
dc.relation.ispartof
Tools and Methods of Program Analysis
dc.subject
Timed Automata
eng
dc.subject
Model-Based
eng
dc.subject
Testing
eng
dc.subject
Structure
eng
dc.subject
Coverage
eng
dc.subject
Automotive
eng
dc.title
Relation between Test Coverage and Timed Automata Model Structure