UML Sequence Diagram Based Testing Using Slicing

We present a novel testing methodology to test object oriented software based on UML sequence diagrams. In our approach we use dynamic slicing and generate test cases automatically from UML sequence diagrams. We identify the message guards on sequence diagrams and create dynamic slices with respect to each conditional predicates. We generate the test data with respect to the slice. We have formulated a test adequacy criterion named slice coverage criterion. Test cases that we generate satisfy slice test coverage. Our approach achieves adequate test coverage without unduly increasing the number of test cases. This paper also describes how dynamic slicing is used in testing.