loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
Shuhao Li, National Laboratory for Parallel and Distributed Processing, China
Ji Wang, National Laboratory for Parallel and Distributed Processing, China
Wei Dong, National Laboratory for Parallel and Distributed Processing, China; Wuhan University, China
Zhi-Chang Qi, National Laboratory for Parallel and Distributed Processing, China
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.