基于故障的布尔表达式测试技术综述

Survey on Fault-based Testing Techniques for Boolean Expressions

布尔表达式是软件规格说明与程序实现中的关键成份,严重影响软件的正确性。如何有效地测试布尔表达式是软件测试领域的一个重要研究方向。介绍了基于故障的软件测试的基本概念与原理,归纳了布尔表达式的各种故障类型,讨论了不同故障类型之间的检测包含关系;评述了几类代表性的面向布尔表达式的测试策略,提出了一种比较框架并比较了各种策略的适用情形、故障检测能力与测试用例精简程度。针对现有研究工作的不足,探讨了几个值得研究的问题,简要介绍了近年来此领域的研究工作。

Boolean expressions play a key role in specifications and programs, and thus significantly affect the correct- ness of software. How to efficiently test Boolean expressions is an important issue. We first introduced the basic con- cepts and principle of fault-based testing. We then summarized several fault classes of Boolean expressions and discussed their detection hierarchies. Next, we reviewed several representative fault-based testing strategies for Boolean expres- sions, and proposed a comparison framework to compare them with respect to the applicability, fault detection capability and reduction of test suites. Finally, we pointed out several future issues based on our observations of limitations on the existing works, and briefly introduced our relevant work in this area.