基于程序行为切片的测试案例约减方法

摘要

本发明提出一种基于程序行为切片的测试案例约减方法，在无需对全部程序路径进行扫描的情况下，生成可以覆盖全部程序行为的测试案例集，缓解程序测试面临的状态空间爆炸问题。在静态分析阶段该方法根据输入的程序代码分析程序的控制流和信息流，提取程序的控制依赖和数据依赖；根据程序的控制依赖和数据依赖，计算程序的潜在依赖；在控制依赖，数据依赖和潜在依赖的基础上，构建程序的组合依赖；在动态执行阶段根据执行路径和依赖关系计算被路径覆盖的程序行为切片和未被覆盖的程序行为切片，根据未被覆盖的程序行为切片来引导符号执行生成能覆盖新的程序切片的路径。相比现有的符号执行方法，本方法可以保证测试案例集的有效性，同时显著减少生成的测试案例数目。