Symbolic and on the Fly Testing with Real-Time Observers

Abstract

Abstract. Analyzing real-time specifications involves new difficulties in the test generation process. In addition to usual combinatory explosion, issues like tests executability and controllability become more problematic. To deal with such issues, the new method proposed in this paper combines both on the fly computation (not on line) and optimized symbolic analysis with the underlying concept of real-time observers. A symbolic forward analysis is used for test executability and a backward analysis is performed to refine the tests controllability in view of avoiding inconclusive verdicts. The featured observers and the backward computation are the basis for a more targeted test selection. To illustrate the method, the work example is a process control communication system. Finally, we introduce Real-time Ethernet and the related tests produced with our method.