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

• 作者: 孙昌爱 程庆顺
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 布尔表达式 基于故障的软件测试 测试策略 测试用例生成 故障类型
• 年，卷（期）: 2013,（3）
• 页码范围: 16-23,40
• 页数: 9页
• 分类号: TP311.5
• 字数: 11767字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙昌爱	北京科技大学计算机通信与工程学院	13	32	3.0	5.0
5	程庆顺	北京科技大学计算机通信与工程学院	1	6	1.0	1.0