Property-oriented testing of real-time systems

• Published in: 11th Asia-Pacific Software Engineering Conference pp. 358 - 365
• Main Authors: SHUHAO LI, WANE, Ji, WEI DONG, QI, Zhi-Chane
• Format: Conference Proceeding
• Language: English
• 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

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