Generating test sequences from a set of MSCs
We propose an approach to generate test cases from a set of Message Sequence Charts (MSCs) by constructing a semantically equivalent finite state machine for testing reactive and embedded software. Test cases are expressed as a sequence of messages to be exchanged among various system entities. We use scenario activation conditions and state assignments to generate only the feasible states and transitions. This paper uses complex digital TV software to illustrate how test cases are automatically generated. (C) 2003 Elsevier Science B.V. All rights reserved.
- Publisher
- ELSEVIER SCIENCE BV
- Issue Date
- 2003
- Language
- English
- Article Type
- Article
- Keywords
FINITE-STATE MACHINES
- Citation
COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING, v.42, no.3, pp.405 - 417
- ISSN
- 1389-1286
- 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 |  |
| ⊙ Cited 5 items in WoS | Click to see citing articles in |  |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.