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 ow in UML state diagrams and it is shown how to generate test cases satisfying these criteria from UML state diagrams. First, control ow is identi ed by transforming UML state diagrams into extended nite state machines (EFSMs). The hierarchical and concurrent structure of states is attened and the broadcast communication is eliminated in the resulting EFSMs. Second, data ow is identi ed by transforming EFSMs into ow graphs to which conventional data ow analysis techniques can be applied.

No abstract

No abstract

No abstract

No abstract