公开(公告)号：CN104375942A

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

申请号：CN201410758900.2

申请日：2014-12-11

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

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

IPC: G06F11/36

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

公开(公告)号：CN104375942B

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

申请号：CN201410758900.2

申请日：2014-12-11

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

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

IPC: G06F11/36

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

公开(公告)号：CN102880547A

公开(公告)日：2013-01-16

申请号：CN201210325222.1

申请日：2012-09-05

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

Inventor： 徐小春 ,  王礼生 ,  董超群 ,  张垚 ,  杨书轩 ,  黄东海 ,  望正气

IPC: G06F11/36

Abstract: 一种软件单元与部件与相结合的源代码变更影响分析与测试方法。单元级源代码变更影响分析和测试包括：构造程序单元流图；创建线性独立的测试路径集；查找修改的代码在流图中的节点并确定为变更点；使用路径选择器在线性独立测试路径集中选取包含了变更点的路径以形成受影响路径集；执行受影响路径集中的路径；将执行的结果和预期的结果进行比较。部件级源代码变更影响分析和测试包括：构造程序调用图，调用图使用节点和边描述程序的调用结构；创建线性独立的测试子树集；确定修改的代码所在的单元，作为变更点；使用子树选择器在线性独立测试子树集中选取包含变更点的子树形成受影响子树集；执行受影响子树集中的子树；比较执行结果和预期结果。