基于圈复杂度的阶段动态符号执行

0    引言

路径爆炸问题降低了软件测试的效率和质量，也给软件埋下隐患。如何缓解路径爆炸问题成为软件安全测试中的一个研究热点，符号执行成为缓解该问题严重程度的重要技术之一。其主要算法思想为利用符号变量来取代测试过程的真实用例，从而在执行过程中获取对应的执行路径，成为生成高覆盖测试用例和在复杂软件应用程序中查找深度错误的有效技术之一；因该技术能够处理复杂结构程序，开发人员也经常用之于程序自动测试、程序缺陷检测、测试用例生成等。

本文详细内容请下载：http://www.chinaaet.com/resource/share/2000003201

作者信息：

毕雪洁1，於家伟1，李世明1,2

(1.哈尔滨师范大学 计算机科学与信息工程学院，黑龙江 哈尔滨 150025；2.上海市信息安全综合管理技术研究重点实验室，上海 200240)