一种面向敏感区域的嵌入式软件测试用例生成方法

摘要

本发明涉及一种面向敏感区域的嵌入式软件测试用例生成方法。本发明首先对二进制文件进行分析，对反汇编技术生成的汇编语言进行中间语言转换，并对转换结果进行插桩处理，得到插桩程序；然后利用所得的插桩程序进行敏感区域分析，确定出污点数据；其次利用种子测试用例动态执行程序，收集分支路径约束条件，在遇到分支跳转时，将当前收集到的约束集取反输出；最后分析收集到的约束集中的各个约束是否包含污点并进行处理，将化简后的约束集送入约束求解器求解，所得的最终结果就为能够生成覆盖污点数据输入可控的各分支路径的测试用例。本发明相较单一的静态分析技术或动态分析技术有着更高的分析效率。