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
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;
Conference_Titel :
Information Theory and Information Security (ICITIS), 2010 IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-1-4244-6942-0
DOI :
10.1109/ICITIS.2010.5689613
