DocumentCode
1279342
Title
Test cases generation from UML state diagrams
Author
Kim, Y.G. ; Hong, H.S. ; Bae, D.-H. ; Cha, S.D.
Author_Institution
Dept. of Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Seoul, South Korea
Volume
146
Issue
4
fYear
1999
fDate
8/1/1999 12:00:00 AM
Firstpage
187
Lastpage
192
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
Keywords
data flow analysis; data flow graphs; diagrams; finite state machines; object-oriented programming; program testing; UML; Unified Modeling Language; broadcast communications; class testing; control flow; coverage criteria; data flow analysis; extended finite state machines; state diagrams; test case generation;
fLanguage
English
Journal_Title
Software, IEE Proceedings -
Publisher
iet
ISSN
1462-5970
Type
jour
DOI
10.1049/ip-sen:19990602
Filename
809349
Link To Document