Generating test sequences from a set of MSCs

Nam Hee Lee; Sung Cha Cha

doi:10.1016/S1389-1286(03)00250-0

Generating test sequences from a set of MSCs

Nam Hee Lee, Sung Cha Cha

Research output: Contribution to journal › Article › peer-review

12 Citations (Scopus)

Abstract

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.

Original language	English
Pages (from-to)	405-417
Number of pages	13
Journal	Computer Networks
Volume	42
Issue number	3
DOIs	https://doi.org/10.1016/S1389-1286(03)00250-0
Publication status	Published - 2003 Jun 21
Externally published	Yes

Bibliographical note

Funding Information:
Partially supported by the Advanced Information Technology Research Center (AITrc).

Keywords

Message sequence charts
Scenario-based testing
Task interaction testing

ASJC Scopus subject areas

Computer Networks and Communications

Access to Document

10.1016/S1389-1286(03)00250-0

Cite this

@article{62b9726d670e424199473a8b9bdc8ad7,

title = "Generating test sequences from a set of MSCs",

abstract = "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.",

keywords = "Message sequence charts, Scenario-based testing, Task interaction testing",

author = "Lee, {Nam Hee} and Cha, {Sung Cha}",

note = "Funding Information: Partially supported by the Advanced Information Technology Research Center (AITrc). ",

year = "2003",

month = jun,

day = "21",

doi = "10.1016/S1389-1286(03)00250-0",

language = "English",

volume = "42",

pages = "405--417",

journal = "Computer Networks",

issn = "1389-1286",

publisher = "Elsevier B.V.",

number = "3",

}

TY - JOUR

T1 - Generating test sequences from a set of MSCs

AU - Lee, Nam Hee

AU - Cha, Sung Cha

N1 - Funding Information: Partially supported by the Advanced Information Technology Research Center (AITrc).

PY - 2003/6/21

Y1 - 2003/6/21

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

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

KW - Message sequence charts

KW - Scenario-based testing

KW - Task interaction testing

UR - http://www.scopus.com/inward/record.url?scp=0037947553&partnerID=8YFLogxK

U2 - 10.1016/S1389-1286(03)00250-0

DO - 10.1016/S1389-1286(03)00250-0

M3 - Article

AN - SCOPUS:0037947553

SN - 1389-1286

VL - 42

SP - 405

EP - 417

JO - Computer Networks

JF - Computer Networks

IS - 3

ER -

Generating test sequences from a set of MSCs

Abstract

Bibliographical note

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this