Test cases generation from UML state diagrams

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

Research output: Contribution to journalArticlepeer-review

180 Citations (Scopus)


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 languageEnglish
Pages (from-to)187-192
Number of pages6
JournalIEE Proceedings: Software
Issue number4
Publication statusPublished - 1999
Externally publishedYes

ASJC Scopus subject areas

  • Software
  • Computer Graphics and Computer-Aided Design


Dive into the research topics of 'Test cases generation from UML state diagrams'. Together they form a unique fingerprint.

Cite this