DMCA
Test Cases Generation from UML State Diagrams (1999)
| Venue: | In IEE Proceedings: Software |
| Citations: | 51 - 1 self |
BibTeX
@INPROCEEDINGS{Kim99testcases,
author = {Y.G. Kim and H. S. Hong and S.M. Cho and D. H. Bae and S. D. Cha},
title = {Test Cases Generation from UML State Diagrams},
booktitle = {In IEE Proceedings: Software},
year = {1999},
pages = {187--192}
}
Share
 |
 |
 |
 |
||
OpenURL
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 the broadcast communication 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: software testing, specification-based testing, object-oriented programs, classes, Unified Modeling Languages, Statecharts 1 Introduction Classes encapsulate both data (attributes) and procedures (member functions, methods) and are the basic building blocks in object-oriented software development. In addition, a class is oft...
Keyphrases
uml state diagram test case generation data flow test case member function introduction class specification-based testing state diagram coverage criterion flow graph object-oriented program object-oriented software development modeling language control flow resulting efsms basic building block broadcast communication conventional data flow analysis technique concurrent structure finite state machine
