Generating reduced finite state machine from concurrent scenarios using static partial order method

Nam Hee Lee, Sung Deok Cha

Research output: Contribution to journalArticlepeer-review

Abstract

Finite state machine (FSM) representation is widely used to perform behavioural analysis and generate test cases from a set of hierarchically organized scenarios written in Message Sequence Charts (MSCs). Brute-force approach of translating MSCs into FSM is impractical, especially when scenarios are executed concurrently. In this paper, we describe how to identify a sequence of message exchanges that are semantically equivalent and apply partial order method to reduce the number of transitions in the FSM. We demonstrate that the proposed technique is scalable by describing the results of a case study in which reduced FSM was automatically generated from a partial specification of digital TV software.

Original languageEnglish
Pages (from-to)145-156
Number of pages12
JournalJournal of Research and Practice in Information Technology
Volume36
Issue number3
Publication statusPublished - 2004
Externally publishedYes

ASJC Scopus subject areas

  • Software
  • Management Information Systems
  • Information Systems
  • Hardware and Architecture
  • Computer Networks and Communications

Fingerprint Dive into the research topics of 'Generating reduced finite state machine from concurrent scenarios using static partial order method'. Together they form a unique fingerprint.

Cite this