%0 Journal Article %1 hong_00_test %A Hong, Hyoung S. %A Kim, Young G. %A Cha, Sung D. %A Bae, Doo H. %A Ural, Hasan %C Division of Computer Science, Department of Electrical Engineering and Computer Science, Korea Advanced Institute of Science and Technology (KAIST) %D 2000 %J Software Testing, Verification and Reliability %K tests statecharts 2001 %N 4 %P 203--227 %R 10.1002/1099-1689(200012)10:4%3C203::AID-STVR212%3E3.0.CO;2-2 %T A test sequence selection method for statecharts %U http://dx.doi.org/10.1002/1099-1689(200012)10:4%3C203::AID-STVR212%3E3.0.CO;2-2 %V 10 %X 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. Copyright copyright 2000 John Wiley & Sons, Ltd.

@article{hong_00_test, 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. Copyright {copyright} 2000 John Wiley & Sons, Ltd.}, added-at = {2009-02-12T00:14:57.000+0100}, address = {Division of Computer Science, Department of Electrical Engineering and Computer Science, Korea Advanced Institute of Science and Technology (KAIST)}, author = {Hong, Hyoung S. and Kim, Young G. and Cha, Sung D. and Bae, Doo H. and Ural, Hasan}, biburl = {https://www.bibsonomy.org/bibtex/285c46e80d1b22038be984a5fada02333/leonardo}, citeulike-article-id = {1727360}, doi = {10.1002/1099-1689(200012)10:4%3C203::AID-STVR212%3E3.0.CO;2-2}, interhash = {291df58919e85b7e9e20b7692237aaa8}, intrahash = {85c46e80d1b22038be984a5fada02333}, journal = {Software Testing, Verification and Reliability}, keywords = {tests statecharts 2001}, number = 4, pages = {203--227}, posted-at = {2007-10-04 14:08:52}, priority = {2}, timestamp = {2009-02-12T00:14:57.000+0100}, title = {A test sequence selection method for statecharts}, url = {http://dx.doi.org/10.1002/1099-1689(200012)10:4%3C203::AID-STVR212%3E3.0.CO;2-2}, volume = 10, year = 2000 }