任华

作品数：8被引量：12H指数：3
导出分析报告
供职机构：北方计算中心更多>>
发文主题：遗传算法补丁比对二进制函数调用图适应值函数更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机工程》《计算机工程与设计》《计算机工程与应用》《计算机应用》更多>>
所获基金：国家自然科学基金国家部委资助项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于二进制补丁比对的软件输入数据自动构造被引量：2
《计算机工程与设计》2010年第14期3169-3173,共5页沈亚楠 赵荣彩 任华 王小芹 刘振华 张新宇 李鹏飞 
国家自然科学基金项目(60603017)
在软件二进制补丁比对结果的基础上,提出一种基于目标的适应值函数模型。该模型对同一种群中所有个体评估,寻找优秀个体以遗传到子代中,产生能够到达或接近到达可疑函数的个体数据。该算法不需要源码。实验结果表明,该算法简化了逆向分...
关键词：软件二进制补丁比对 函数调用图 遗传算法 适应值函数 软件输入数据自动构造 
软件模糊测试中畸形输入数据的自动构造被引量：2
《计算机工程》2010年第17期23-24,27,共3页沈亚楠 赵荣彩 任华 王小芹 张新宇 刘振华 李鹏飞 
国家自然科学基金资助项目(60603017)
提出一种畸形输入数据自动构造算法。基于软件二进制补丁比对结果及目标函数调用图,设计适应值函数,对同一种群中所有个体进行评估,寻找优秀个体并遗传到子代中。实验结果表明,该算法能够生成到达或接近到达软件脆弱点的输入数据,简化...
关键词：软件二进制补丁比对 函数调用图 遗传算法 适应值函数 
基于规范生成的文件模糊测试被引量：3
《计算机工程与设计》2010年第16期3591-3594,共4页沈亚楠 赵荣彩 王小芹 任华 张新宇 鲁海军 李鹏飞 
国家自然科学基金项目(60603017)
为了解决传统文件模糊测试效率不高与功能遗漏的缺点,提出一种新的文件模糊测试算法。基于文件的规范,抽象地描述了文件推导规则,定义了文件模糊测试模板,设计了文件模糊变异模型。在规范描述下生成不同类型文件,然后对每类文件进行变...
关键词：模糊测试 文件规范描述 文件推导规则 文件模糊测试 脆弱性发掘 
基于文件规范描述的文件模糊测试被引量：3
《计算机工程》2010年第16期52-53,59,共3页沈亚楠 赵荣彩 王小芹 任华 鲁海军 张新宇 李鹏飞 
国家自然科学基金资助项目(60603017);国家部委基金资助项目
针对传统文件测试效率不高、存在功能遗漏的缺点,提出一种基于文件规范描述的文件模糊测试方法。给出基于文件规范的文件推导规则,用于描述文件中结构的组织形式、结构与结构之间的依赖关系,生成同一格式下不同类型的文件并对每类文件...
关键词：文件模糊测试 文件规范描述 脆弱性测试 
二进制补丁比对中的指令归一化算法被引量：3
《计算机工程》2010年第15期46-48,共3页沈亚楠 赵荣彩 王小芹 任华 刘振华 张新宇 李鹏飞 
国家部委基金资助项目;国家自然科学基金资助项目(60603017)
针对软件二进制补丁分析过程,提出一种指令归一化算法,用于判别补丁前后的相应基本块内指令是否发生重排序。与常用的小素数法相比,该算法不受基本块内指令条数的限制,不会导致差异信息漏报,且效率较高、效果良好。初步实验证明,该算法...
关键词：软件补丁比对 指令重排列 小素数法 指令归一化 
软件模糊测试中遗传杂交算法的研究被引量：2
《计算机应用》2009年第B12期141-142,共2页沈亚楠 赵荣彩 王小芹 任华 庞建民 李大伟 
利用遗传算法的导向性原理,可以不断寻找能够触发软件异常的测试用例。杂交过程是遗传算法中重要过程之一,如何定义父代中的优秀基因并遗传到子代,对寻找算法搜索空间的最优解非常重要。定义了重要基因及优良选择的概念并提出相应杂交...
关键词：模糊测试 遗传算法 杂交算法 
优化的数组数据流分析技术的实现
《计算机工程》2008年第7期64-66,共3页姜凡 庞建民 赵荣彩 任华 
精确的数组数据流分析是并行编译技术中的重要步骤。用终写树算法表示精确的数组数据流分析仅针对一对读写引用。该文研究并在工程上实现了终写树交叉算法,以分析多个写引用与公共读引用之间的精确数据依赖关系,减少了冗余信息并使精确...
关键词：精确的数组数据流分析 终写树 LWT树的交叉 
基于精确数组数据流分析框架的通信优化
《计算机工程与应用》2006年第36期130-133,共4页任华 赵荣彩 张平 孟然 
为了提高消息传递型多处理器的性能,优化处理器间的通信对于并行化编译器至关重要。介绍了建立在精确数组数据流分析基础上的通信优化技术。通过优化,减少了通信次数,降低了通信代价。最后通过一个实例说明,在一定计算划分下结合精确数...
关键词：消息传递型多处理器 并行化编译器 计算划分 消息合并 消息聚合 数组数据流分析 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部