Measuring MC/DC at Design Phase using UML Sequence Diagram and Concolic Testing

摘要

This work describes Modified Condition/Decision Coverage (MC/DC) criterion for performing testing of the interactions among a set of collaborating objects. This criterion is based on UML Sequence Diagrams. The sequences of Synchronized and Asynchronized messages in the sequence diagrams are used to define the code coverage goals for the family of criteria. In this paper, first we design an UML Sequence Diagram. XML produces XMI code for the designed UML Sequence Diagram. Next, JAXB converts the XMI code into Java code. To generate test cases using concolic testing for the Java program which is derived from the UML Sequence Diagram, we have used jCUTE. These test cases are then supplied to COPEPCA (COverage PErcentage CAlculator) to measure MC/DC%.