Generating test sequences from a set of MSCs

Nam Hee Lee, Sungdeok Cha

Research output: Contribution to journalArticle

11 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 languageEnglish
Pages (from-to)405-417
Number of pages13
JournalComputer Networks
Volume42
Issue number3
DOIs
Publication statusPublished - 2003 Jun 21
Externally publishedYes

Fingerprint

State assignment
Embedded software
Finite automata
Chemical activation
Testing

Keywords

  • Message sequence charts
  • Scenario-based testing
  • Task interaction testing

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Electrical and Electronic Engineering

Cite this

Generating test sequences from a set of MSCs. / Lee, Nam Hee; Cha, Sungdeok.

In: Computer Networks, Vol. 42, No. 3, 21.06.2003, p. 405-417.

Research output: Contribution to journalArticle

Lee, Nam Hee ; Cha, Sungdeok. / Generating test sequences from a set of MSCs. In: Computer Networks. 2003 ; Vol. 42, No. 3. pp. 405-417.
@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 Sungdeok Cha",
year = "2003",
month = "6",
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",
number = "3",

}

TY - JOUR

T1 - Generating test sequences from a set of MSCs

AU - Lee, Nam Hee

AU - Cha, Sungdeok

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

UR - http://www.scopus.com/inward/citedby.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

VL - 42

SP - 405

EP - 417

JO - Computer Networks

JF - Computer Networks

SN - 1389-1286

IS - 3

ER -