Generating test sequences from a set of MSCs

Nam Hee Lee, Sung Cha Cha

Research output: Contribution to journalArticlepeer-review

12 Citations (Scopus)


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
Issue number3
Publication statusPublished - 2003 Jun 21
Externally publishedYes

Bibliographical note

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


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

ASJC Scopus subject areas

  • Computer Networks and Communications


Dive into the research topics of 'Generating test sequences from a set of MSCs'. Together they form a unique fingerprint.

Cite this