基于程序切片技术的静态分析工具测试用例生成方法

本发明公开了一种基于程序切片技术的静态分析工具测试用例生成方法，包括：步骤1）根据静态分析工具的缺陷报告，收集和提取程序中与特定缺陷产生相关的变量信息作为切片准则；步骤2）通过控制流分析和数据流分析，记录语句之间的数据和控制依赖关系，构建程序依赖图，计算和切片准则有依赖关系的语句集合；步骤3）通过深度优先搜索算法，在源代码的抽象语法树中定位所述语句集合对应的节点，删除其他节点；步骤4）通过静态程序分析，收集使用到的自定义类型或外部函数声明，并将类型定义和函数声明输出至独立的头文件；步骤5）将编辑后的代码写入文件，并清除冗余信息，作为测试用例；本方法采用两段式分析，可高效高精度地生成测试用例。