DocumentCode
2107433
Title
UPPAAL-based real-time testing: New coverage criteria and length-optimal test generation
Author
Xi, Lin ; Zhou, Qinglei
Author_Institution
Sch. of Inf. Eng., Zhengzhou Univ., Zhengzhou, China
fYear
2010
fDate
17-19 Dec. 2010
Firstpage
117
Lastpage
120
Abstract
In this paper new coverage criteria concerning safety and time property for the abstract formal of real-time system are presented and enabled as reachability properties. We make use of the timed automata to formally describe the real-time system and use the length optimal reachability feature of UPPAAL to automatically generate length optimal test sequences for the new coverage criteria. Experiment demonstrates how our technique works and performs.
Keywords
automata theory; formal specification; program testing; reachability analysis; real-time systems; UPPAAL-based real-time testing; length optimal reachability feature; reachability properties; timed automata; Automata; Clocks; Control systems; Rail transportation; Real time systems; Safety; Testing; UPPAAL; coverage criteria; length- optimal test; real-time system; safety; time property; timed automata;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Theory and Information Security (ICITIS), 2010 IEEE International Conference on
Conference_Location
Beijing
Print_ISBN
978-1-4244-6942-0
Type
conf
DOI
10.1109/ICITIS.2010.5689613
Filename
5689613
Link To Document