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 | |
| Publication status | Published - 2000 Dec 1 |
| Externally published | Yes |
Fingerprint
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 journal › Article
}
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 -