.png){kind=icon}
返回
Improving logic-based testing
.png){kind=icon}
OA
AI
DOI：10.1016/j.jss.2012.08.024.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Logic-based testers design tests from logical expressions that appear in software artifacts such as source code, design models, and requirements specifications. This paper presents three improvements to logic-based test design. First, in the context of mutation testing, we present fault hierarchies for the six relational operators. Applying the ROR mutation operator causes each relational operator to generate seven mutants per clause. The fault hierarchies show that only three of these seven mutants are needed. Second, we show how to bring the power of the ROR operator to logic-based test criteria such as the widely used Multiple Condition-Decision Coverage (MCDC) test criterion. Third, we present theoretical results supported by empirical data that show that the more recent coverage criterion of minimal-MUMCUT can find significantly more faults than MCDC. The paper has three specific recommendations: (1) Change the way the ROR mutation operator is defined in existing and future mutation systems. (2) Augment logic-based test criteria to incorporate relational operator replacement from mutation. (3) Replace the use of MCDC with minimal-MUMCUT, both in practice and in standards documents like FAA-DO178B. (c) 2012 Elsevier Inc. All rights reserved.
Keyword:
Software testing
Logic-based testing
Mutation analysis
MCDC
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
4.1
论文数:
5.4K
被引数:
8.4K
机构
引用论文
Overproduction of the toxic protein, bovine pancreatic DNasel, in Escherichia coli using a tightly controlled T7-promoter-based vector.png)
Gene
GeneIF0
PREAI
分享收藏Efficient multi-objective higher order mutation testing with genetic programming基于遗传规划的高效多目标高阶变异测试OAAI
OAAI分享收藏An Accurate Metaheuristic Mountain Gazelle Optimizer for Parameter Estimation of Single- and Double-Diode Photovoltaic Cell Models用于单二极管和双二极管光伏电池模型参数估计的精确元启发式山瞪羚优化器Mathematics
OAAI
MathematicsIF0
OAAI分享收藏Analysis and Modeling of HVSR in the Presence of a Velocity Inversion: The Case of Venosa, Italy存在速度反演的HVSR的分析和建模: 意大利Venosa的情况
PREAI
分享收藏Enantioselective synthesis of N-allylindoles via palladium-catalyzed allylic amination/oxidation of indolinesRSC Advances
RSC AdvancesIF0
PREAI
分享收藏
查看更多内容