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

摘要：

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

关键词：布尔表达式、基于故障的软件测试、测试策略、测试用例生成、故障类型

所属期刊栏目：40

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家自然科学基金60903003;北京市自然科学基金4112037;中国科学院软件研究所计算机科学国家重点实验室开放课题SYSKF1105;中央高校基本科研业务费资助项目FRF-SD-12-015A;北京市优秀人才培养资助项目2012D009006000002

在线出版日期：2013-04-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：16-23,40