Generating test sequences from a set of MSCs

Cited 5 time in webofscience Cited 12 time in scopus
  • Hit : 267
  • Download : 0
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
DOI
10.1016/S1389-1286(03)00250-0
URI
http://hdl.handle.net/10203/81832
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 5 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0