A new disjunctive literal insertion fault detection strategy in boolean specifications,Journal of Software: Evolution and Process

当前位置： X-MOL 学术 › J. Softw. Evol. Process › 论文详情

Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)

A new disjunctive literal insertion fault detection strategy in boolean specifications
Journal of Software: Evolution and Process ( IF 1.7 ) Pub Date : 2021-02-16 , DOI: 10.1002/smr.2336
T. K. Paul ₁ , M. J. M. Chowdhury ₂ , M. F. Lau ₁

Affiliation

In fault‐based Boolean expression testing, the main challenge is to generate effective test cases that can detect faults within expressions. Previous studies show that it is hard to detect literal insertion faults, more specifically Disjunctive literal insertion fault (LIF[+]) compared with other faults in Boolean expressions. Researchers have been using different strategies such as multiple near false point coverage (MNFP) and modified condition decision coverage (MCDC) to detect LIF[+] faults. However, these strategies have their own limitations. For example, MNFP can only be applied when the expression is in irredundant disjunctive normal form (IDNF), and MCDC detects a low percentage of LIF[+] faults. In this paper, we propose an abstract syntax tree (AST)‐based test case generation strategy for LIF[+] fault detection that overcomes these limitations. Furthermore, our experimental results indicate that, on average, the test suites satisfying the proposed strategy can detect approximately 97.3% of LIF[+] faults for general form expressions and 89.7% of LIF[+] faults for IDNF expressions, which are 15.6% and 13.8% improvement, respectively, compared to the MCDC test suites. Moreover, the size of the required test suite is smaller than that of MCDC test suite.

中文翻译：

布尔规范中新的析取文字插入错误检测策略

在基于错误的布尔表达式测试中，主要挑战是生成可检测表达式内错误的有效测试用例。先前的研究表明，与布尔表达式中的其他错误相比，很难检测到文字插入错误，更具体而言，是析取文字插入错误（LIF [ + ]）。研究人员一直在使用不同的策略，例如多个近虚假点覆盖率（MNFP）和修改后的条件决策覆盖率（MCDC）来检测LIF [ + ]故障。但是，这些策略有其自身的局限性。例如，仅当表达式为多余的析取正态形式（IDNF）且MCDC检测到低百分比的LIF [ +]故障。在本文中，我们提出了一种基于抽象语法树（AST）的LIF [ + ]故障检测的测试用例生成策略，该策略克服了这些限制。此外，我们的实验结果表明，满足拟议策略的测试套件平均可以检测到大约97.3％的LIF [ + ]缺陷（对于一般形式表达式）和89.7％的LIF [ + ]缺陷对于IDNF表达式（占15.6％）。与MCDC测试套件相比，分别提高了13.8％和13.8％。此外，所需测试套件的大小小于MCDC测试套件的大小。

更新日期：2021-04-27

点击分享查看原文

点击收藏

阅读更多本刊最新论文