Automated Testing of Real-Time Systems

Dennis K. Peters


A fundamental, but often neglected, requirement for automated testing of software and systems is that there must be an oracle---a means of determining if the behaviour exhibited by the system under test is acceptable or not. Testing of real-time systems requires that the oracle check that the system satisfies both behavioural and timing constraints, so human oracles are typically insufficient.

In this talk I will briefly present a real-time system specification technique that is both understandable to domain experts, and precise enough to be used to automatically generate an oracle. I will illustrate how this technique has been used to find previously undetected errors in a real-time system.

back to Dennis Peters' homepage

Last modified: Tue 1999.12.14 at 10:06 NST by Dennis Peters