A Testing Framework for Real-Time Specifications

C. Dai and S.D. Bruda (Canada)


formal methods, realtime systems, verification and valida tion, realtime software testing


We propose a new semantic model for reasoning about real time systems. Based on a theory of timed omega-final regu lar states, we present a framework of timed testing and two refinement timed preorders similar to De Nicola and Hen nessy’s may and must testing. We also provide alternative characterizations for these relations to show that the new preorders are extensions of the traditional preorders and to lay the basis for a unified logical and algebraic approach to conformance testing of real-time systems.

Important Links:

Go Back