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

作者：孙昌爱; 程庆顺

来源：计算机科学, 2013, (03): 16-23+40.

• 布尔表达式
• 基于故障的软件测试
• 测试策略
• 测试用例生成
• 故障类型 Boolean expressions
• Fault-based testing
• Testing strategies
• Test case generation
• Fault types

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

• 单位
  中国科学院软件研究所; 北京科技大学; 计算机科学国家重点实验室