公开(公告)号：CN104408373A

公开(公告)日：2015-03-11

申请号：CN201410759438.8

申请日：2014-12-11

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

Inventor： 张垚 ,  董超群 ,  司品超 ,  廖军 ,  张超容 ,  黄东海

IPC: G06F21/57

CPC classification number: G06F21/577 ,  G06F2221/033

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

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

公开(公告)号：CN104375941B

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

申请号：CN201410758886.6

申请日：2014-12-11

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

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

IPC: G06F11/36

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

公开(公告)号：CN104361288A

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

申请号：CN201410759439.2

申请日：2014-12-11

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

Inventor： 张垚 ,  董超群 ,  司品超 ,  廖军 ,  张超容 ,  黄东海

IPC: G06F21/57

CPC classification number: G06F21/577 ,  G06F2221/033

Abstract: 一种细颗粒度污点分析中的污染属性操作方法，包括：以键值对的形式描述细颗粒度污点分析所得出的指定内存地址与其污染属性的映射关系；并且直接将所述键值对存储于两级存储系统中，其中所述两级存储系统由作为第一级的高速内存和作为第二级的大容量外存组成；从两级存储系统中读取期望获取的键值对，其中首先在第一级的内存中存储的键值对进行查找期望获取的键值对，如果在第一级的内存中存储的键值对中发现期望获取的键值对则读取期望获取的键值对，如果在第一级的内存中存储的键值对中未发现期望获取的键值对，则在第二级存储的键值对查找并读取期望获取的键值对，同时将读取出的期望获取的键值对存储至第一级的内存中。

公开(公告)号：CN103116539A

公开(公告)日：2013-05-22

申请号：CN201310049332.4

申请日：2013-02-07

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

Inventor： 陈左宁 ,  程华 ,  王礼生 ,  张垚 ,  董超群 ,  徐小春 ,  司品超 ,  贾家涛

IPC: G06F11/34

Abstract: 一种细粒度的虚拟化系统的性能损耗测试方法及装置，其中性能损耗测试方法包括：在未安装虚拟化系统的物理机上对多个待测试指标分别执行性能测试，以得到每个所述待测试指标的第一性能指标；在所述物理机上安装虚拟化系统后，再对所述多个待测试指标分别执行性能测试，以得到每个所述待测试指标的第二性能指标；对比所述第一性能指标和所述第二性能指标来计算每个所述待测试指标所反映的性能损耗。本技术方案提出一套细粒度的虚拟化性能损耗测试方法，从基本的整数运算、浮点数运算、进程操作时间、上下文切换、本地通信延迟、文件系统操作、本地通信带宽、内存操作延迟8个方面，详细测试了上述决定系统整体性能的细粒度指标。