Test sequence selection method for statecharts

Hyoung Seok Hong; Young Gon Kim; Sung Deok Cha; Doo Hwan Bae; Hasan Ural

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

Test sequence selection method for statecharts

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

Research output: Contribution to journal › Article › peer-review

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 language	English
Pages (from-to)	203-227
Number of pages	25
Journal	Software Testing Verification and Reliability
Volume	10
Issue number	4
DOIs	https://doi.org/10.1002/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2
Publication status	Published - 2000 Dec
Externally published	Yes

ASJC Scopus subject areas

Software
Safety, Risk, Reliability and Quality

Access to Document

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

Fingerprint Dive into the research topics of 'Test sequence selection method for statecharts'. Together they form a unique fingerprint.

Cite this

@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 Cha, {Sung Deok} and Bae, {Doo Hwan} and Hasan Ural",

year = "2000",

month = dec,

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, Sung Deok

AU - Bae, Doo Hwan

AU - Ural, Hasan

PY - 2000/12

Y1 - 2000/12

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

AN - SCOPUS:0034476775

VL - 10

SP - 203

EP - 227

JO - Software Testing Verification and Reliability

JF - Software Testing Verification and Reliability

SN - 0960-0833

IS - 4

ER -

Test sequence selection method for statecharts

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this