Generating test sequences using symbolic execution for event-driven real-time systems

Cited 2 time in webofscience Cited 6 time in scopus
  • Hit : 258
  • Download : 0
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. (C) 2003 Elsevier B.V. All rights reserved.
Publisher
ELSEVIER SCIENCE BV
Issue Date
2003-11
Language
English
Article Type
Article
Keywords

SPECIFICATIONS

Citation

MICROPROCESSORS AND MICROSYSTEMS, v.27, no.10, pp.523 - 531

ISSN
0141-9331
DOI
10.1016/S0141-9331(03)00102-9
URI
http://hdl.handle.net/10203/80016
Appears in Collection
Files in This Item
There are no files associated with this item.
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 2 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0