基于布尔表达式约束的测试用例生成技术

• 作者: 余童兰 刘杰 吴志强 孙溢 阳小华 陈智
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 软件测试 测试用例生成 约束 布尔表达式
• 年，卷（期）: 2019,（1）
• 所属期刊栏目: 信息安全
• 页码范围: 86-94
• 页数: 9页
• 分类号: TP311.5
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2019.01.016

摘要

布尔表达式约束在软件规格说明和程序中广泛存在,这些约束可作为软件系统的模型,成为测试用例生成依据.本文调研分析基于布尔表达式约束的测试用例生成方法,主要分为基于约束语法的测试和基于约束语义的测试.归纳总结基于约束语法测试的各种故障类型和测试策略,并比较各种测试策略的适用情形和故障检测能力,也对基于约束语义测试的各种约束获取和求解方法进行性能分析,并介绍了典型工具.最后对未来的研究发展进行展望.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	阳小华	南华大学计算机学院	160	821	14.0	22.0
2	刘杰	南华大学计算机学院	72	216	7.0	13.0
3	余童兰	南华大学计算机学院	19	62	4.0	7.0
4	陈智		22	99	6.0	9.0
5	吴志强		14	21	3.0	3.0
6	孙溢	南华大学计算机学院	1	1	1.0	1.0