一种目标制导的混合执行测试方法

• 作者: 崔展齐 李宣东 王林章
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 目标制导测试 缺陷触发 静态分析 混合执行测试
• 年，卷（期）: 2011,（6）
• 页码范围: 953-964
• 分类号: TP311
• 字数: 11361字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2011.00953

摘要

混合执行测试(concolic testing)是一种将具体执行与符号执行相结合的自动化测试方法.由于混合执行测试从程序本身出发,未将目标缺陷的先验知识作为指导,会导致生成和执行大量不能发现缺陷的测试输入,从发现缺陷的角度看浪费了时间和计算资源开销.这个问题在具有时间、成本及资源约束的实际测试任务中更加突出.为解决这一问题,文中提出了一种结合静态分析和混合执行测试技术的目标制导的混合执行测试方法:使用静态分析工具分析待测程序中可能含有缺陷的可疑语句及其缺陷类型,并将静态分析所报告的可疑语句作为目标指导测试.目标制导的混合执行测试技术分为3个步骤:首先,计算从程序各分支到待检测缺陷语句的可达性;其次,对待测试程序进行插装以支持混合执行测试;第三,使用静态分析的结果和可达性信息作为指导,只生成和执行可能会覆盖待检测缺陷语句的测试输入,以避免生成和执行不能发现缺陷的测试输入.基于此方法,作者实现了一个测试缓冲区溢出缺陷的原型工具:TARGET,并在一组C语言基准程序上进行了对比实验.实验结果表明与原有的混合执行测试技术相比较,TARGET能在更短的时间内发现程序中更多的缺陷.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李宣东	南京大学软件新技术国家重点实验室	72	1417	20.0	36.0
2	王林章	南京大学计算机科学与技术系	23	610	12.0	23.0
3	崔展齐	南京大学软件新技术国家重点实验室	3	44	3.0	3.0