Test cases generation from UML state diagrams

Y. G. Kim; H. S. Hong; D. H. Bae; S. D. Cha

doi:10.1049/ip-sen:19990602

Test cases generation from UML state diagrams

Y. G. Kim, H. S. Hong, D. H. Bae, S. D. Cha

Research output: Contribution to journal › Article › peer-review

180 Citations (Scopus)

Abstract

The paper discusses the application of state diagrams in UML to class testing. A set of coverage criteria is proposed based on control and data flow in UML state diagrams and it is shown how to generate test cases satisfying these criteria from UML state diagrams. First, control flow is identified by transforming UML state diagrams into extended finite state machines (EFSMs). The hierarchical and concurrent structure of states is flattened and broadcast communications are eliminated in the resulting EFSMs. Second, data flow is identified by transforming EFSMs into flow graphs to which conventional data flow analysis techniques can be applied.

Original language	English
Pages (from-to)	187-192
Number of pages	6
Journal	IEE Proceedings: Software
Volume	146
Issue number	4
DOIs	https://doi.org/10.1049/ip-sen:19990602
Publication status	Published - 1999
Externally published	Yes

ASJC Scopus subject areas

Software
Computer Graphics and Computer-Aided Design

Access to Document

10.1049/ip-sen:19990602

Cite this

@article{1332a8dc1b5f4e938fa5e46391dd941e,

title = "Test cases generation from UML state diagrams",

abstract = "The paper discusses the application of state diagrams in UML to class testing. A set of coverage criteria is proposed based on control and data flow in UML state diagrams and it is shown how to generate test cases satisfying these criteria from UML state diagrams. First, control flow is identified by transforming UML state diagrams into extended finite state machines (EFSMs). The hierarchical and concurrent structure of states is flattened and broadcast communications are eliminated in the resulting EFSMs. Second, data flow is identified by transforming EFSMs into flow graphs to which conventional data flow analysis techniques can be applied.",

author = "Kim, {Y. G.} and Hong, {H. S.} and Bae, {D. H.} and Cha, {S. D.}",

year = "1999",

doi = "10.1049/ip-sen:19990602",

language = "English",

volume = "146",

pages = "187--192",

journal = "IET Software",

issn = "1751-8806",

publisher = "Institution of Engineering and Technology",

number = "4",

}

TY - JOUR

T1 - Test cases generation from UML state diagrams

AU - Kim, Y. G.

AU - Hong, H. S.

AU - Bae, D. H.

AU - Cha, S. D.

PY - 1999

Y1 - 1999

N2 - The paper discusses the application of state diagrams in UML to class testing. A set of coverage criteria is proposed based on control and data flow in UML state diagrams and it is shown how to generate test cases satisfying these criteria from UML state diagrams. First, control flow is identified by transforming UML state diagrams into extended finite state machines (EFSMs). The hierarchical and concurrent structure of states is flattened and broadcast communications are eliminated in the resulting EFSMs. Second, data flow is identified by transforming EFSMs into flow graphs to which conventional data flow analysis techniques can be applied.

AB - The paper discusses the application of state diagrams in UML to class testing. A set of coverage criteria is proposed based on control and data flow in UML state diagrams and it is shown how to generate test cases satisfying these criteria from UML state diagrams. First, control flow is identified by transforming UML state diagrams into extended finite state machines (EFSMs). The hierarchical and concurrent structure of states is flattened and broadcast communications are eliminated in the resulting EFSMs. Second, data flow is identified by transforming EFSMs into flow graphs to which conventional data flow analysis techniques can be applied.

UR - http://www.scopus.com/inward/record.url?scp=0033170385&partnerID=8YFLogxK

U2 - 10.1049/ip-sen:19990602

DO - 10.1049/ip-sen:19990602

M3 - Article

AN - SCOPUS:0033170385

SN - 1751-8806

VL - 146

SP - 187

EP - 192

JO - IET Software

JF - IET Software

IS - 4

ER -

Test cases generation from UML state diagrams

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this