.png){kind=icon}
返回
J3 Model: A novel framework for improved Modified Condition/Decision Coverage analysis
.png){kind=icon}
PRE
AI
DOI：10.1016/j.csi.2016.09.006.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
In the real-time systems and safety critical domains, software quality assurance adheres to protocols such as DO-178C standard. Regarding these issues, concolic testing generates test cases that can attain high coverage using an augmented approach based on Modified Condition/Decision Coverage (MC/DC). In this paper, we propose a framework to compute MC/DC percentage for test case generation. To achieve an increase in MC/DC, we transform the input Java program, J, into its transformed version, J', using Java Program Code Transformer (JPCT). Then, we use JCUTE tool to generate test cases. At last, we use Java Coverage Analyzer (JCA) to compute MC/DC percentage. The Java program code transformer adds additional empty nested if-else conditional statements for each decision that causes variation in MC/DC percentage. In later step, these extra conditional statements get stripped-off. This approach resolves some of the bottleneck issues associated with traditional concolic testers. In our experimental study, we have experimented with forty Java programs. We have computed the difference of MC/DC%, for both the scenarios (i.e. with code transformation and without code transformation). Our approach (i.e. with code transformation achieves) 24.09% average increase in MC/ DC% over the traditional approach (i.e. without code transformation).
Keyword:
MC/DC
CONCOLIC Testing
JPCT
JCUTE
JCA
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
C
IF:
3.1
论文数:
2.3K
被引数:
2.0K
机构
引用论文
Carbon monoxide conversion to formate byMethanosarcina barkeri甲烷八叠球菌（Methanosarcina barkeri）将一氧化碳转化为甲酸盐
PREAI
分享收藏Humanized Mouse Model to Study Bacterial Infections Targeting the Microvasculature人源化小鼠模型用于研究靶向微血管的细菌感染
OAAI
OAAI分享收藏Isotopic composition of methane and inferred methanogenic substrates along a salinity gradient in a hypersaline microbial mat system甲烷的同位素组成及在高盐微生物垫系统中沿盐度梯度的推断产甲烷底物.png)
IF0
PREAI
分享收藏
查看更多内容