DocumentCode
2790383
Title
A new method for testing real time systems
Author
Khoumsi, Ahmed
Author_Institution
Dept. GEGI, Sherbrooke Univ., Que.
fYear
2000
fDate
2000
Firstpage
441
Lastpage
450
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Real-Time Computing Systems and Applications, 2000. Proceedings. Seventh International Conference on
Conference_Location
Cheju Island
ISSN
1530-1427
Print_ISBN
0-7695-0930-4
Type
conf
DOI
10.1109/RTCSA.2000.896424
Filename
896424
Link To Document