DMCA
A Test Sequence Selection Method for Statecharts (2000)
| Citations: | 28 - 5 self |
BibTeX
@MISC{Hong00atest,
author = {Hyoung Seok Hong and Young Gon Kim and Sung Deok Cha and Doo Hwan Bae and Hasan Ural},
title = {A Test Sequence Selection Method for Statecharts},
year = {2000}
}
Share
 |
 |
 |
 |
||
OpenURL
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 modeling the flow of both control and data in the statechart. The transformation enables the application of conventional control and data flow analysis techniques to the test sequence selection from statecharts. The resulting set of test sequences provides the capability of determining whether an implementation establishes the desired flow of controlanddataexpressedinstatecharts. Keywords: software testing and analysis, specification-based testing, test sequence selection, statecharts, data flow analysis 1
