公开(公告)号：CN104375941B

公开(公告)日：2017-09-22

申请号：CN201410758886.6

申请日：2014-12-11

Applicant: 无锡江南计算技术研究所

Inventor： 董超群 ,  张垚 ,  刘国平 ,  徐小春 ,  董芳泉 ,  林腾

IPC: G06F11/36

Abstract: 本发明提供了一种可执行程序测试用例集二进制代码覆盖率自动化评估方法，包括：第一步骤，执行对具有二进制代码表达形式的可执行程序的静态分析，在静态分析中，将二进制代码表达形式通过反汇编转换为汇编指令表达形式，随后对具有汇编指令表达形式的可执行程序进行基本块划分；第二步骤，利用测试用例执行程序过程的动态分析，在动态分析中执行插桩处理以捕获执行轨迹，并在插桩处理中执行过滤操作以进行基本块过滤以去除可执行程序的外部指令；第三步骤，利用可执行程序的虚拟内存地址通过匹配第一步骤的静态分析结果与第二步骤的动态分析结果来评估测试用例集的二进制代码覆盖率。

公开(公告)号：CN104375942B

公开(公告)日：2017-02-08

申请号：CN201410758900.2

申请日：2014-12-11

Applicant: 无锡江南计算技术研究所

Inventor： 董芳泉 ,  董超群 ,  张慧 ,  张垚 ,  杨书轩 ,  程来旺

IPC: G06F11/36

Abstract: 本发明提供了一种面向二进制的混合模糊测试方法，包括：采用模糊测试作为前端处理，其中利用测试用例来驱动被测试程序的执行；采用二进制代码覆盖率监测处理作为中间层处理，其中在被测试程序的执行过程中，记录被测试程序覆盖的基本块，由此计算模糊测试的覆盖率；当计算出的模糊测试的覆盖率不再提高时，执行作为后端处理的符号执行处理，在符号执行处理中生成覆盖与当前测试用例的路径不同的其它路径的新的测试用例，然后将新的测试用例反馈至模糊测试，使得模糊测试利用新的测试用例来驱动被测试程序的执行。

公开(公告)号：CN104375942A

公开(公告)日：2015-02-25

申请号：CN201410758900.2

申请日：2014-12-11

Applicant: 无锡江南计算技术研究所

Inventor： 董芳泉 ,  董超群 ,  张慧 ,  张垚 ,  杨书轩 ,  程来旺

IPC: G06F11/36

Abstract: 本发明提供了一种面向二进制的混合模糊测试方法，包括：采用模糊测试作为前端处理，其中利用测试用例来驱动被测试程序的执行；采用二进制代码覆盖率监测处理作为中间层处理，其中在被测试程序的执行过程中，记录被测试程序覆盖的基本块，由此计算模糊测试的覆盖率；当计算出的模糊测试的覆盖率不再提高时，执行作为后端处理的符号执行处理，在符号执行处理中生成覆盖与当前测试用例的路径不同的其它路径的新的测试用例，然后将新的测试用例反馈至模糊测试，使得模糊测试利用新的测试用例来驱动被测试程序的执行。

公开(公告)号：CN104375941A

公开(公告)日：2015-02-25

申请号：CN201410758886.6

申请日：2014-12-11

Applicant: 无锡江南计算技术研究所

Inventor： 董超群 ,  张垚 ,  刘国平 ,  徐小春 ,  董芳泉 ,  林腾

IPC: G06F11/36

Abstract: 本发明提供了一种可执行程序测试用例集二进制代码覆盖率自动化评估方法，包括：第一步骤，执行对具有二进制代码表达形式的可执行程序的静态分析，在静态分析中，将二进制代码表达形式通过反汇编转换为汇编指令表达形式，随后对具有汇编指令表达形式的可执行程序进行基本块划分；第二步骤，利用测试用例执行程序过程的动态分析，在动态分析中执行插桩处理以捕获执行轨迹，并在插桩处理中执行过滤操作以进行基本块过滤以去除可执行程序的外部指令；第三步骤，利用可执行程序的虚拟内存地址通过匹配第一步骤的静态分析结果与第二步骤的动态分析结果来评估测试用例集的二进制代码覆盖率。