Testing of IRCFG Coverage Criteria for Sequence Diagrams

The paper presents an approach to generate test paths from UML sequence diagrams. IRCFG is used for describing the paths of messages event in UML sequence diagrams by control condition of messages. First, in UML sequence the control condition of messages are analyzed and construct IRCFG equitying with it. Secondly, in terms of testing of coverage criteria which is like the well-known All-IRCFG-Paths,test paths are created. Additionally, the paper applies the approach to address a case, and explains all process of the measure and its feasibility.