Automated Testing of Real-Time Systems
Dennis K. Peters
Abstract
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