-
公开(公告)号：CN104598636B
公开(公告)日：2017-09-19
申请号：CN201510064618.9
申请日：2015-02-06
Applicant: 无锡江南计算技术研究所
Abstract: 本发明提供了复杂文档分离组织方法以及复杂文档自动生成方法。该复杂文档分离组织方法包括：将复杂文档分解成文档大纲、文档数据和文档样式；其中将复杂文档的文档大纲定义为对文档结构的宏观描述，是按照文档内容对文档的层次化分解、定义和管理，是对文档数据和文档样式模板的统一组织；复杂文档的文档数据是对文档元数据的组织和描述；复杂文档的文档样式是对文档样式的组织和描述。
-
公开(公告)号：CN104375942B
公开(公告)日：2017-02-08
申请号：CN201410758900.2
申请日：2014-12-11
Applicant: 无锡江南计算技术研究所
IPC: G06F11/36
Abstract: 本发明提供了一种面向二进制的混合模糊测试方法，包括：采用模糊测试作为前端处理，其中利用测试用例来驱动被测试程序的执行；采用二进制代码覆盖率监测处理作为中间层处理，其中在被测试程序的执行过程中，记录被测试程序覆盖的基本块，由此计算模糊测试的覆盖率；当计算出的模糊测试的覆盖率不再提高时，执行作为后端处理的符号执行处理，在符号执行处理中生成覆盖与当前测试用例的路径不同的其它路径的新的测试用例，然后将新的测试用例反馈至模糊测试，使得模糊测试利用新的测试用例来驱动被测试程序的执行。
-
公开(公告)号：CN102880547A
公开(公告)日：2013-01-16
申请号：CN201210325222.1
申请日：2012-09-05
Applicant: 无锡江南计算技术研究所
IPC: G06F11/36
Abstract: 一种软件单元与部件与相结合的源代码变更影响分析与测试方法。单元级源代码变更影响分析和测试包括：构造程序单元流图；创建线性独立的测试路径集；查找修改的代码在流图中的节点并确定为变更点；使用路径选择器在线性独立测试路径集中选取包含了变更点的路径以形成受影响路径集；执行受影响路径集中的路径；将执行的结果和预期的结果进行比较。部件级源代码变更影响分析和测试包括：构造程序调用图，调用图使用节点和边描述程序的调用结构；创建线性独立的测试子树集；确定修改的代码所在的单元，作为变更点；使用子树选择器在线性独立测试子树集中选取包含变更点的子树形成受影响子树集；执行受影响子树集中的子树；比较执行结果和预期结果。
-
公开(公告)号：CN102880474B
公开(公告)日：2015-01-14
申请号：CN201210380728.2
申请日：2012-10-09
Applicant: 无锡江南计算技术研究所
Abstract: 本发明提供的一种并行源代码生成、编译及驱动执行的测试方法包括：测试流程控制模块、生成用例并行源代码模块以及运行和监控用例并行作业模块；其中，所述生成用例并行源代码模块用于在所述测试流程控制模块的驱动下，分析和解析测试用例配置得到并行源代码生成配置和并行编译选项配置，接受测试流程控制模块传递的全局并行编译选项，生成所需的用例并行源代码和Makefile文件；并且，所述运行和监控用例并行作业模块用于在所述测试流程控制模块的驱动下，分析和解析测试用例配置以得到并行作业运行前准备配置和并行作业运行配置，接受所述测试流程控制模块传递的全局并行作业提交选项和并行作业状态监控选项，运行和控制并行作业运行。
-
公开(公告)号：CN104408373A
公开(公告)日：2015-03-11
申请号：CN201410759438.8
申请日：2014-12-11
Applicant: 无锡江南计算技术研究所
IPC: G06F21/57
CPC classification number: G06F21/577 , G06F2221/033
Abstract: 本发明提供了一种用于细颗粒度污点分析的污染属性存储方法，包括：以键值对的形式描述细颗粒度污点分析所得出的指定内存地址与其污染属性的映射关系，其中在每个键值对中，键用于存储内存地址，值用于存储该内存地址的当前的污染属性；并且直接将所述键值对存储于两级存储系统中，其中所述两级存储系统由作为第一级的高速内存和作为第二级的大容量外存组成。
-
Patent Agency Ranking
公开(公告)号：CN104375942A
公开(公告)日：2015-02-25
申请号：CN201410758900.2
申请日：2014-12-11
Applicant: 无锡江南计算技术研究所
IPC: G06F11/36
Abstract: 本发明提供了一种面向二进制的混合模糊测试方法，包括：采用模糊测试作为前端处理，其中利用测试用例来驱动被测试程序的执行；采用二进制代码覆盖率监测处理作为中间层处理，其中在被测试程序的执行过程中，记录被测试程序覆盖的基本块，由此计算模糊测试的覆盖率；当计算出的模糊测试的覆盖率不再提高时，执行作为后端处理的符号执行处理，在符号执行处理中生成覆盖与当前测试用例的路径不同的其它路径的新的测试用例，然后将新的测试用例反馈至模糊测试，使得模糊测试利用新的测试用例来驱动被测试程序的执行。
-
公开(公告)号：CN104375941A
公开(公告)日：2015-02-25
申请号：CN201410758886.6
申请日：2014-12-11
Applicant: 无锡江南计算技术研究所
IPC: G06F11/36
Abstract: 本发明提供了一种可执行程序测试用例集二进制代码覆盖率自动化评估方法，包括：第一步骤，执行对具有二进制代码表达形式的可执行程序的静态分析，在静态分析中，将二进制代码表达形式通过反汇编转换为汇编指令表达形式，随后对具有汇编指令表达形式的可执行程序进行基本块划分；第二步骤，利用测试用例执行程序过程的动态分析，在动态分析中执行插桩处理以捕获执行轨迹，并在插桩处理中执行过滤操作以进行基本块过滤以去除可执行程序的外部指令；第三步骤，利用可执行程序的虚拟内存地址通过匹配第一步骤的静态分析结果与第二步骤的动态分析结果来评估测试用例集的二进制代码覆盖率。
-
公开(公告)号：CN104375941B
公开(公告)日：2017-09-22
申请号：CN201410758886.6
申请日：2014-12-11
Applicant: 无锡江南计算技术研究所
IPC: G06F11/36
Abstract: 本发明提供了一种可执行程序测试用例集二进制代码覆盖率自动化评估方法，包括：第一步骤，执行对具有二进制代码表达形式的可执行程序的静态分析，在静态分析中，将二进制代码表达形式通过反汇编转换为汇编指令表达形式，随后对具有汇编指令表达形式的可执行程序进行基本块划分；第二步骤，利用测试用例执行程序过程的动态分析，在动态分析中执行插桩处理以捕获执行轨迹，并在插桩处理中执行过滤操作以进行基本块过滤以去除可执行程序的外部指令；第三步骤，利用可执行程序的虚拟内存地址通过匹配第一步骤的静态分析结果与第二步骤的动态分析结果来评估测试用例集的二进制代码覆盖率。
-
公开(公告)号：CN104598636A
公开(公告)日：2015-05-06
申请号：CN201510064618.9
申请日：2015-02-06
Applicant: 无锡江南计算技术研究所
CPC classification number: G06F17/2264 , G06F17/248
Abstract: 本发明提供了复杂文档分离组织方法以及复杂文档自动生成方法。该复杂文档分离组织方法包括：将复杂文档分解成文档大纲、文档数据和文档样式；其中将复杂文档的文档大纲定义为对文档结构的宏观描述，是按照文档内容对文档的层次化分解、定义和管理，是对文档数据和文档样式模板的统一组织；复杂文档的文档数据是对文档元数据的组织和描述；复杂文档的文档样式是对文档样式的组织和描述。
-
公开(公告)号：CN104361288A
公开(公告)日：2015-02-18
申请号：CN201410759439.2
申请日：2014-12-11
Applicant: 无锡江南计算技术研究所
IPC: G06F21/57
CPC classification number: G06F21/577 , G06F2221/033
Abstract: 一种细颗粒度污点分析中的污染属性操作方法，包括：以键值对的形式描述细颗粒度污点分析所得出的指定内存地址与其污染属性的映射关系；并且直接将所述键值对存储于两级存储系统中，其中所述两级存储系统由作为第一级的高速内存和作为第二级的大容量外存组成；从两级存储系统中读取期望获取的键值对，其中首先在第一级的内存中存储的键值对进行查找期望获取的键值对，如果在第一级的内存中存储的键值对中发现期望获取的键值对则读取期望获取的键值对，如果在第一级的内存中存储的键值对中未发现期望获取的键值对，则在第二级存储的键值对查找并读取期望获取的键值对，同时将读取出的期望获取的键值对存储至第一级的内存中。
-
-
-
-
-
-
-
-
-
Search Results
12
records
(took 0.032 seconds)
