Deriving Real-time Monitors from System Requirements Documentation
Dennis K. Peters
Supervisor: David L. Parnas
Software Engineering Research Group
CRL, McMaster University,
Hamilton, Ontario, Canada L8S 4K1
During system testing, determining if the observed behaviour of a real-time
system is consistent with its requirements specification can be difficult.
I propose that a system to check the behaviour against the specification,
a monitor, be automatically derived from the requirements documentation.
The monitor would model the system requirements as a modified finite state
automaton in which the states represent equivalence classes of system
histories and transitions are labelled with predicates such that it accepts
only executions representing acceptable system behaviour. Investigation
into the design of such a monitor, and the process for automatically
generating it from reviewable requirements documentation is on-going.
back to Dennis Peters' homepage
Sun 1999.01.03 at 15:28 NST
by Dennis Peters