Title :
A virtual testing method for event-driven real-time applications
Author :
Lee, Myung-Joon ; Son, Sang H.
Author_Institution :
Dept. of Comput. Sci., Ulsan Univ., South Korea
Abstract :
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
Keywords :
conformance testing; formal specification; performance evaluation; real-time systems; Modechart; conformance testing; event-driven real-time applications; test sequences; virtual environment; virtual testing method; Aerospace control; Aerospace electronics; Aircraft; Application software; Computer science; Real time systems; System testing; Time factors; Timing; Virtual environment;
Conference_Titel :
Real-Time Applications, 1994., Proceedings of the IEEE Workshop on
Conference_Location :
Washington, DC
Print_ISBN :
0-8186-6375-8
DOI :
10.1109/RTA.1994.316163
