.png){kind=icon}
返回
SMUP: A technique to improve MC/DC using specified patterns
.png){kind=icon}
PRE
AI
DOI：10.1016/j.compeleceng.2024.109706.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
According to recent study, a number of poorly explored aspects, like program structure and not producing high-quality random inputs for testing, can have a significant impact on the overall efficacy of the testing process. Existing concolic testers found to be more cost-effective than random testers for code coverage. Modified condition/decision coverage (MC/DC) has gained its popularity as the strongest criterion for safety-critical systems proposed by RTCA/DO178B(C), after multiple condition coverage (MCC). This paper proposes a new source code transformation technique that produces additional test cases to achieve higher MC/DC. The technical contribution of this work is threefold. First, it uses a pattern-based code transformation technique that produces effective MC/DC test cases. This pattern-based approach guides the concolic tester to generate test cases as per the MC/DC requirements. Second, the generated patterns are further simplified to minimize the execution time. Third, we have developed a tool named Java MC/DC Analyzerto measure MC/DC score for the input programs. The proposed approach is experimented on thirty Java programs and achieved an average increase of 32.86% MC/DC score which validates our work. Also, we have compared our approach with other code transformation techniques and reported a significant improvement.
Keyword:
Software testing
Program analysis
MC/DC
MCC
Patterns
CONCOLIC testing
Code transformation
Safety-critical systems
期刊
C
IF:
4.9
论文数:
6.7K
被引数:
1.3W
机构
查看更多机构
引用论文
.png){kind=icon}
Investigating the Impact of a Prior COVID-19 Infection on the Vaginal Microenvironment研究既往COVID-19感染对阴道微环境的影响
PREAI
分享收藏
没有更多内容