A test sequence selection method for statecharts.
Saved in:
| Title: | A test sequence selection method for statecharts. |
|---|---|
| Authors: | Hyoung Seok Hong1, Young Gon Kim1, Sung Deok Cha1, Doo Hwan Bae1, Ural, Hasan2 |
| Source: | Software Testing: Verification & Reliability. Dec2000, Vol. 10 Issue 4, p203-227. 25p. |
| Subjects: | Statecharts (Computer science), Structured techniques of electronic data processing, Electronic data processing, Testing equipment, Data flow computing |
| 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 © 2000 John Wiley & Sons, Ltd. [ABSTRACT FROM AUTHOR] |
| Copyright of Software Testing: Verification & Reliability is the property of Wiley-Blackwell and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
Be the first to leave a comment!
