[发明专利]一种基于关键点引导的数据流测试方法及其测试系统

摘要

本发明公开了一种基于关键点引导的数据流测试方法，包括通过标准的数据流分析方法获得待测程序中的定义‑使用对；根据控制流分析方法分析所述定义‑使用对中的关键点；将所述定义‑使用对和所述关键点输入符号执行器；所述符号执行器使用基于关键点的路径搜索器引导符号执行；如果符号执行路径覆盖所述定义‑使用对，返回所述符号执行路径对应的测试用例，否则继续执行步骤四，直至对于所有定义‑使用对都产生了对应的测试用例，或者所有的符号执行路径均执行结束，则结束所述符号执行器的执行；根据符号执行的结果，统计覆盖率。本发明还公开了一种基于关键点引导的数据流测试系统。

主权项

一种基于关键点引导的数据流测试方法，其特征在于，包括：步骤一：通过标准的数据流分析方法获得待测程序中的定义‑使用对，所述定义‑使用对是指存在一条控制流路径总从变量的定义控制流节点到相同变量的使用控制流节点，并且所述定义控制流节点与所述使用控制流节点之间不存在关于所述变量的重定义；步骤二：根据控制流分析方法分析所述定义‑使用对中的关键点；所述关键点是覆盖所述定义‑使用对时必须经过的控制流路径的节点；步骤三：将所述定义‑使用对和所述关键点输入符号执行器；步骤四：所述符号执行器使用基于关键点的路径搜索器引导符号执行；步骤五：如果符号执行路径覆盖所述定义‑使用对，那么就返回所述符号执行路径对应的测试用例，否则继续执行步骤四，直至对于所有定义‑使用对都产生了对应的测试用例，或者所有的符号执行路径均执行结束，则结束所述符号执行器的执行；步骤六：根据符号执行的结果，统计覆盖率。