公开(公告)号：CN103678121B

公开(公告)日：2016-03-02

申请号：CN201310580933.8

申请日：2013-11-18

Applicant: 杭州电子科技大学

Inventor： 王兴起 ,  程攀 ,  邹雪 ,  方景龙

IPC: G06F11/36

Abstract: 本发明涉及一种嵌入式二进制软件测试用例优先排序方法，传统的测试用例排序技术按照一定的排序策略对测试用例进行执行优先权的排序，检测效率较低。本发明所提出的基于函数依赖的测试用例排序技术将测试用例之间的依赖性作为重要因素进行考虑，首先根据二进制程序分析出函数之间的调用关系，然后根据该关系生成相应的邻接矩阵，依据动态规划思想进一步生成可达矩阵。最后由可达矩阵对测试用例进行排序。本发明解决了传统测试用例排序技术对于测试用例依赖方面缺乏考虑的局限性，生成更符合程序实际运行情况的测试用例排序。

公开(公告)号：CN103678121A

公开(公告)日：2014-03-26

申请号：CN201310580933.8

申请日：2013-11-18

Applicant: 杭州电子科技大学

Inventor： 王兴起 ,  程攀 ,  邹雪 ,  方景龙

IPC: G06F11/36

Abstract: 本发明涉及一种嵌入式二进制软件测试用例优先排序方法，传统的测试用例排序技术按照一定的排序策略对测试用例进行执行优先权的排序，检测效率较低。本发明所提出的基于函数依赖的测试用例排序技术将测试用例之间的依赖性作为重要因素进行考虑，首先根据二进制程序分析出函数之间的调用关系，然后根据该关系生成相应的邻接矩阵，依据动态规划思想进一步生成可达矩阵。最后由可达矩阵对测试用例进行排序。本发明解决了传统测试用例排序技术对于测试用例依赖方面缺乏考虑的局限性，生成更符合程序实际运行情况的测试用例排序。

公开(公告)号：CN103714000A

公开(公告)日：2014-04-09

申请号：CN201310703581.0

申请日：2013-12-18

Applicant: 杭州电子科技大学

Inventor： 方景龙 ,  程攀 ,  万季 ,  王兴起 ,  王大全

IPC: G06F11/36

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