Test sequence selection method for statecharts

Hyoung Seok Hong, Young Gon Kim, Sungdeok Cha, Doo Hwan Bae, Hasan Ural

Research output: Contribution to journalArticle

73 Citations (Scopus)

Abstract

This paper presents a method for the selection of test sequences from statecharts. It is shown that a statechart can be transformed into a flow graph modelling the flow of both control and data in the statechart. The transformation enables the application of conventional control and data flow analysis techniques to test sequence selection from statecharts. The resulting set of test sequences provides the capability of determining whether an implementation establishes the desired flow of control and data expressed in statecharts.

Original languageEnglish
Pages (from-to)203-227
Number of pages25
JournalSoftware Testing Verification and Reliability
Volume10
Issue number4
DOIs
Publication statusPublished - 2000 Dec 1
Externally publishedYes

Fingerprint

Data flow analysis
Flow graphs

ASJC Scopus subject areas

  • Computer Graphics and Computer-Aided Design
  • Software

Cite this

Test sequence selection method for statecharts. / Hong, Hyoung Seok; Kim, Young Gon; Cha, Sungdeok; Bae, Doo Hwan; Ural, Hasan.

In: Software Testing Verification and Reliability, Vol. 10, No. 4, 01.12.2000, p. 203-227.

Research output: Contribution to journalArticle

Hong, Hyoung Seok ; Kim, Young Gon ; Cha, Sungdeok ; Bae, Doo Hwan ; Ural, Hasan. / Test sequence selection method for statecharts. In: Software Testing Verification and Reliability. 2000 ; Vol. 10, No. 4. pp. 203-227.
@article{0693f48243b64460be4c7b0f68befc68,
title = "Test sequence selection method for statecharts",
abstract = "This paper presents a method for the selection of test sequences from statecharts. It is shown that a statechart can be transformed into a flow graph modelling the flow of both control and data in the statechart. The transformation enables the application of conventional control and data flow analysis techniques to test sequence selection from statecharts. The resulting set of test sequences provides the capability of determining whether an implementation establishes the desired flow of control and data expressed in statecharts.",
author = "Hong, {Hyoung Seok} and Kim, {Young Gon} and Sungdeok Cha and Bae, {Doo Hwan} and Hasan Ural",
year = "2000",
month = "12",
day = "1",
doi = "10.1002/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2",
language = "English",
volume = "10",
pages = "203--227",
journal = "Software Testing Verification and Reliability",
issn = "0960-0833",
publisher = "John Wiley and Sons Ltd",
number = "4",

}

TY - JOUR

T1 - Test sequence selection method for statecharts

AU - Hong, Hyoung Seok

AU - Kim, Young Gon

AU - Cha, Sungdeok

AU - Bae, Doo Hwan

AU - Ural, Hasan

PY - 2000/12/1

Y1 - 2000/12/1

N2 - This paper presents a method for the selection of test sequences from statecharts. It is shown that a statechart can be transformed into a flow graph modelling the flow of both control and data in the statechart. The transformation enables the application of conventional control and data flow analysis techniques to test sequence selection from statecharts. The resulting set of test sequences provides the capability of determining whether an implementation establishes the desired flow of control and data expressed in statecharts.

AB - This paper presents a method for the selection of test sequences from statecharts. It is shown that a statechart can be transformed into a flow graph modelling the flow of both control and data in the statechart. The transformation enables the application of conventional control and data flow analysis techniques to test sequence selection from statecharts. The resulting set of test sequences provides the capability of determining whether an implementation establishes the desired flow of control and data expressed in statecharts.

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

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

U2 - 10.1002/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2

DO - 10.1002/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2

M3 - Article

VL - 10

SP - 203

EP - 227

JO - Software Testing Verification and Reliability

JF - Software Testing Verification and Reliability

SN - 0960-0833

IS - 4

ER -