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 black-box testing of real-time reactive systems, whose design specifications are given in the Timed Reactive Object Model (TROM ) formalism.