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 |
ASJC Scopus subject areas
- Software
- Safety, Risk, Reliability and Quality
Fingerprint Dive into the research topics of 'Test sequence selection method for statecharts'. Together they form a unique fingerprint.
Cite this
Hong, H. S., Kim, Y. G., Cha, S. D., Bae, D. H., & Ural, H. (2000). Test sequence selection method for statecharts. Software Testing Verification and Reliability, 10(4), 203-227. https://doi.org/10.1002/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2