A virtual testing method for event-driven real-time applications

We present a method for testing real-time applications, i.e., implementations of real-time systems, specified formally by Modechart. From a Modechart specification, the proposed method generates test sequences for checking whether there is a discrepancy between a Modechart specification and its implementation. The implementation can be tested, under virtual environment, by the generated sequences for conformance to its specification.<
>