Generation of Test Cases from UML Sequence Diagram Based on Extenics Theory

In the present work, extenics approach is used for modeling a problem of software testing. The approach is useful for generation of the test cases through the sequence diagram designed by the use of Unified Modeling Language. Authors created formalized sequence diagram by use of n-dimensional matter element property which is converted into message flow graph. Parsed data is generated through Extended Markup Language (XML) from the sequence diagram and converted the dual of message flow graph.

A traversal algorithm is designed and implemented on the dual of message flow graph for generation of valid test cases. Further test cases are minimized which satisfies path coverage criteria. The entire work is implemented on object oriented Java programming language through a case study of departure activity of aircraft.