Title :
A rigorous method for testing real-time reactive systems
Author :
Alagar, V.S. ; Zheng, M.
Author_Institution :
Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
Abstract :
Real-time reactive systems are complex systems to design and verify. Rigorous testing of real-time reactive systems complement the more difficult and expensive formal verification process. This paper discusses a rigorous method for block-box testing of real-time reactive systems, whose design specifications are given in the timed reactive object model (TROM) formalism.
Keywords :
program testing; real-time systems; block-box testing; formal verification; real-time reactive system testing; timed reactive object model formalism; Automata; Clocks; Computer science; Formal specifications; Object oriented modeling; Real time systems; Safety; Synchronization; System testing; Time factors;
Conference_Titel :
Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific
Print_ISBN :
0-7695-1408-1
DOI :
10.1109/APSEC.2001.991479
