Achieving MC/DC using UML Communication Diagram

Parbati Mahanto, S. Barisal, D. Mohapatra
{"title":"Achieving MC/DC using UML Communication Diagram","authors":"Parbati Mahanto, S. Barisal, D. Mohapatra","doi":"10.1109/ICIT.2018.00026","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":221269,"journal":{"name":"2018 International Conference on Information Technology (ICIT)","volume":"86 6 Pt 2 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2018 International Conference on Information Technology (ICIT)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICIT.2018.00026","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2

Abstract

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.
使用UML通信图实现MC/DC
今天,为了减少软件测试的繁重任务,测试用例的生成已经被延长,并且不仅可以从编码文档中生成,还可以从软件需求规范(SRS)和面向对象的设计模型(例如UML模型)中生成。统一建模语言(UML)包含用于面向对象软件可视化建模的不同图。为了描述软件系统的各个透视图,使用了不同类型的UML图。在本研究中,我们使用UML通信图,并通过考虑修改条件/决策覆盖(MC/DC)作为先例来生成测试用例。UML通信图用于描述协作实现特定任务的一组对象,并通过复杂的操作说明它们之间的关系。我们提出了一种自动化的基于模型的技术,用于从UML通信图生成MC/DC测试用例,为此,我们提出了一个名为MC/DC Estimator的框架,用于UML通信图(MEUCD),它是不同工具(如Modelio, JiBX, jCUTE和COPECA)的组合。首先在Modelio UML Modeler中设计UML通信图,然后利用通信图的类和实例,在Modelio XSD Designer中设计XML模式设计(XSD)模型。然后,将XSD作为Java XML绑定工具JiBX的输入,以生成Java代码。接下来,我们将此Java代码转换为jCUTE可执行形式,并将其提供给jCUTE以生成测试用例。最后,MC/DC覆盖率是通过使用可接受的Java代码和jCUTE生成的测试用例来度量的。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信