Construction of global finite state machine for testing task interactions written in message sequence charts

Nam Hee Lee, Tai Hyo Kim, Sungdeok Cha

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

Integration testing of embedded software is difficult because such software tends to be large and complex; it is often structured as a set of tasks whose interaction patterns can be arbitrary and nondeterministic; it is subject to frequent changes while being tested; and testing period must be minimized since the product's life-time is short. In order to conduct integration testing in a cost-effective manner, it is essential that requirements are captured in precise notation and that test cases are automatically generated and executed whenever possible. In this paper, we demonstrate how to generate test cases from a set of Message Sequence Charts (MSCs) by constructing a semantically equivalent global finite state machine (GFSM). Test cases are expressed as a sequence of messages to be exchanged among various system entities. When transforming complex and hierarchical MSCs to a GFSM, state explosion problem is often encountered. When constructing a GFSM, we achieved significant reduction in the number of states and transitions by generating only the feasible sequences. Such reduction was possible because embedded software we used as the case study, digital TV application software, had known and well-defined initial state. We developed a graphical toolset to edit MSCs and automatically generate test cases. Users describe the required functionalities in scenarios, and test cases are automatically generated from the GFSM according to the state and transition coverage criteria. We applied the proposed approach to specify and test a substantial portion of embedded software running on a digital TV and were able to detect an error, previously unknown to the developers, that occurred due to a subtle race condition among tasks.

Original languageEnglish
Title of host publicationACM International Conference Proceeding Series
Pages369-376
Number of pages8
Volume27
DOIs
Publication statusPublished - 2002 Dec 1
Externally publishedYes
Event14th International Conference on Software Engineering and Knowledge Engineering, SEKE '02 - Ischia, Italy
Duration: 2002 Jul 152002 Jul 19

Other

Other14th International Conference on Software Engineering and Knowledge Engineering, SEKE '02
CountryItaly
CityIschia
Period02/7/1502/7/19

Keywords

  • integration testing
  • message sequence charts
  • task interaction

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Computer Vision and Pattern Recognition
  • Human-Computer Interaction
  • Software

Fingerprint Dive into the research topics of 'Construction of global finite state machine for testing task interactions written in message sequence charts'. Together they form a unique fingerprint.

  • Cite this

    Lee, N. H., Kim, T. H., & Cha, S. (2002). Construction of global finite state machine for testing task interactions written in message sequence charts. In ACM International Conference Proceeding Series (Vol. 27, pp. 369-376) https://doi.org/10.1145/568760.568825