A tool for testing synchronous software
Ioannis Parissis · 1996
We present a testing tool for synchronous reactive software, an interesting subclass of critical real-time software. Its aim is to provide a new means for critical software validation since formal verification techniques are often impracticable. For the particular domain of synchronous reactive software, we have designed specific testing techniques which are loosely related to techniques proposed for sequential programming languages. One of the main characteristics of synchronous reactive software is the importance of the environment behavior in the validation process. Moreover, software requirements are usually expressed by means of temporal properties. The tool comprises random testing and specification-based testing techniques which have been designed to take into account these particularities. A structure-based testing technique well adapted to data-flow languages is also described.