-
公开(公告)号:CN104598636B
公开(公告)日:2017-09-19
申请号:CN201510064618.9
申请日:2015-02-06
Applicant: 无锡江南计算技术研究所
Abstract: 本发明提供了复杂文档分离组织方法以及复杂文档自动生成方法。该复杂文档分离组织方法包括:将复杂文档分解成文档大纲、文档数据和文档样式;其中将复杂文档的文档大纲定义为对文档结构的宏观描述,是按照文档内容对文档的层次化分解、定义和管理,是对文档数据和文档样式模板的统一组织;复杂文档的文档数据是对文档元数据的组织和描述;复杂文档的文档样式是对文档样式的组织和描述。
-
公开(公告)号:CN102880547A
公开(公告)日:2013-01-16
申请号:CN201210325222.1
申请日:2012-09-05
Applicant: 无锡江南计算技术研究所
IPC: G06F11/36
Abstract: 一种软件单元与部件与相结合的源代码变更影响分析与测试方法。单元级源代码变更影响分析和测试包括:构造程序单元流图;创建线性独立的测试路径集;查找修改的代码在流图中的节点并确定为变更点;使用路径选择器在线性独立测试路径集中选取包含了变更点的路径以形成受影响路径集;执行受影响路径集中的路径;将执行的结果和预期的结果进行比较。部件级源代码变更影响分析和测试包括:构造程序调用图,调用图使用节点和边描述程序的调用结构;创建线性独立的测试子树集;确定修改的代码所在的单元,作为变更点;使用子树选择器在线性独立测试子树集中选取包含变更点的子树形成受影响子树集;执行受影响子树集中的子树;比较执行结果和预期结果。
-
公开(公告)号:CN104408373A
公开(公告)日:2015-03-11
申请号:CN201410759438.8
申请日:2014-12-11
Applicant: 无锡江南计算技术研究所
IPC: G06F21/57
CPC classification number: G06F21/577 , G06F2221/033
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: 一种细颗粒度污点分析中的污染属性操作方法,包括:以键值对的形式描述细颗粒度污点分析所得出的指定内存地址与其污染属性的映射关系;并且直接将所述键值对存储于两级存储系统中,其中所述两级存储系统由作为第一级的高速内存和作为第二级的大容量外存组成;从两级存储系统中读取期望获取的键值对,其中首先在第一级的内存中存储的键值对进行查找期望获取的键值对,如果在第一级的内存中存储的键值对中发现期望获取的键值对则读取期望获取的键值对,如果在第一级的内存中存储的键值对中未发现期望获取的键值对,则在第二级存储的键值对查找并读取期望获取的键值对,同时将读取出的期望获取的键值对存储至第一级的内存中。
-
-
-
-