Abstract
Real-time software, often used to control event-driven process control systems, is usually structured as a set of concurrent and interacting tasks. Therefore, output values of real-time software depend not only on the input values but also on internal and nondeterministic execution patterns caused by task synchronization. In order to test real-time software effectively, one must generate test cases which include information on both the event sequences and the times at which various events occur. However, previous research on real-time software testing focused on generating the latter information. Our paper describes a method of generating test sequences from a Modechart specification using symbolic execution technique. Based on the notion of symbolic system configurations and the equivalence definitions between them, we demonstrate, using the railroad crossing system, how to construct a time-annotated symbolic execution tree and generate test sequences according to the selected coverage criteria.
| Original language | English |
|---|---|
| Pages (from-to) | 523-531 |
| Number of pages | 9 |
| Journal | Microprocessors and Microsystems |
| Volume | 27 |
| Issue number | 10 |
| DOIs | |
| Publication status | Published - 2003 Nov 3 |
| Externally published | Yes |
Bibliographical note
Funding Information:This work was partially supported by the Advanced Information Technology Research Center (AITrc).
Keywords
- Modechart
- Real-time system testing
- Symbolic execution
ASJC Scopus subject areas
- Software
- Hardware and Architecture
- Computer Networks and Communications
- Artificial Intelligence