Achieving MC/DC using UML Communication Diagram

Today, in order to reduce the burdensome task of software testing, test case generation has been elongated and can be generated not only from the coding documents but also from Software Requirement Specification (SRS) and Object-Oriented design models (e.g. UML model). A Unified Modeling Language (U...

Full description

Saved in:

Bibliographic Details
Published in:	2018 International Conference on Information Technology (ICIT) pp. 73 - 78
Main Authors:	Mahanto, Parbati, Barisal, Swadhin Kumar, Mohapatra, Durga Prasad
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01-12-2018
Subjects:	Computational modeling Concolic Testing Java MC/DC Object oriented modeling Testing UML Communication diagram Unified modeling language XML
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	Today, in order to reduce the burdensome task of software testing, test case generation has been elongated and can be generated not only from the coding documents but also from Software Requirement Specification (SRS) and Object-Oriented design models (e.g. UML model). A Unified Modeling Language (UML) contains different diagrams for visual modeling of the Object-Oriented software. To describe individual perspectives of a software system different types of UML diagrams are used. In this study, we have used UML Communication Diagram and generated test cases by considering Modified Condition/Decision Coverage (MC/DC) as a precedent. A UML Communication diagram is used to describe a set of objects collaborating to implement a specific task and illustrate the relationship between them through a complex operation. We propose an automated model-based technique for MC/DC test case generation from the UML Communication Diagram and for that, we have proposed a framework named MC/DC Estimator for UML Communication Diagram (MEUCD) which is a combination of different tools like Modelio, JiBX, jCUTE, and COPECA. We first design a UML Communication Diagram in Modelio UML Modeler and then, by using the classes and instances of the communication diagram, we design the XML Schema Design (XSD) model in Modelio XSD Designer. Then, the XSD is given as input to a Java XML Binding tool JiBX to generate the Java Code. Next, we convert this Java code to a jCUTE executable form and supply it to jCUTE for generating test cases. Finally, MC/DC coverage is measured by using the acceptable Java code and the generated test cases of jCUTE.
DOI:	10.1109/ICIT.2018.00026