Property-oriented testing of real-time systems

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-de...

Full description

Saved in:
Bibliographic Details
Published in11th Asia-Pacific Software Engineering Conference pp. 358 - 365
Main Authors SHUHAO LI, WANE, Ji, WEI DONG, QI, Zhi-Chane
Format Conference Proceeding
LanguageEnglish
Published Los Alamitos CA IEEE 2004
IEEE Computer Society
Subjects
Applied sciences
Computer science; control theory; systems
Exact sciences and technology
Real time systems
Software
Software engineering
Software testing
System testing
Reactive system
Software development
State diagram
Complex system
Real time
Modeling
Timed system
Real time system
User behavior
Online AccessGet full text

Cover

More Information
Summary: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 nontrivial 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.
ISBN:0769522459
9780769522456
ISSN:1530-1362
2640-0715
DOI:10.1109/APSEC.2004.78