Title :
A new method for testing real time systems
Author_Institution :
Dept. GEGI, Sherbrooke Univ., Que.
Abstract :
In this article, we present a framework for testing real-time systems. More precisely, (1) we propose a method for generating test sequences, (2) we determine constraints which guarantee the executability of test sequences, and (3) we propose a procedure and a test architecture for executing test sequences. Contrary to other test methods for real-time systems, our method avoids state explosion
Keywords :
automata theory; automatic test pattern generation; conformance testing; program testing; real-time systems; sequences; conformance testing; constraints; continuous-time systems; real-time systems testing; state explosion; test architecture; test case generation; test sequence executability; test sequence execution; test sequence generation; timed automata; Automata; Automatic testing; Clocks; Decision support systems; Explosions; Real time systems; System testing; Time factors; Time measurement; Timing;
Conference_Titel :
Real-Time Computing Systems and Applications, 2000. Proceedings. Seventh International Conference on
Conference_Location :
Cheju Island
Print_ISBN :
0-7695-0930-4
DOI :
10.1109/RTCSA.2000.896424
