11th Asia-Pacific Software Engineering Conference (APSEC'04) Property-Oriented Testing of Real-Time Systems Busan, Korea November 30-December 03 ISBN: 0-7695-2245-9
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.2004.78
Although Statecharts has gained widespread use as a formalism for modeling reactive real-time systems, testing these systems still confronts some difficulties, of which a major one is the existence of numerous and complex system behaviors. It is extremely difficult to conduct comprehensive and in-depth testing of such real-time systems. This paper presents an approach to property-oriented real-time testing. Necessary real-time extensions are proposed such that the time-enriched Statecharts can describe non-trivial timing constraints. The properties to be tested are characterized by a restricted real-time logic. Then the targeted test sequences are derived from the real-time models according to the user-specified properties. Using this approach, testing efforts can be focused on particular properties of the real-time systems and usually only a small portion of the total behaviors needs to be tested.
Citation:
Shuhao Li, Ji Wang, Wei Dong, Zhi-Chang Qi, "Property-Oriented Testing of Real-Time Systems," apsec, pp.358-365, 11th Asia-Pacific Software Engineering Conference (APSEC'04), 2004 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||