检索结果-维普期刊中文期刊服务平台

基于二进制补丁比对的软件输入数据自动构造被引量：2: 1; 作者沈亚楠赵荣彩 +4 位作者任华王小芹刘振华张新宇李鹏飞《计算机工程与设计》 CSCD 北大核心 2010年第14期3169-3173,共5页; 在软件二进制补丁比对结果的基础上,提出一种基于目标的适应值函数模型。该模型对同一种群中所有个体评估,寻找优秀个体以遗传到子代中,产生能够到达或接近到达可疑函数的个体数据。该算法不需要源码。实验结果表明,该算法简化了逆向分... 展开更多; 关键词软件二进制补丁比对函数调用图遗传算法适应值函数软件输入数据自动构造; 在线阅读下载PDF 职称材料

基于扩展有限状态机测试中测试输入数据自动选取的研究被引量：24: 2; 作者张涌钱乐秋王渊峰《计算机学报》 EI CSCD 北大核心 2003年第10期1295-1303,共9页; 扩展有限状态机 (EFSM )模型是有限状态机 (FSM )模型的一个扩展 ,它在FSM模型的基础上增加了变量、操作以及状态迁移的前置条件 ,通过EFSM我们可以更加精确地刻画软件系统的动态行为 .基于EFSM的测试可以应用到许多领域 ,因此具有重要... 展开更多; 关键词扩展有限状态机测试有限状态机测试输入数据自动选取面向对象软件设计; 在线阅读下载PDF 职称材料

面向路径的测试数据自动生成方法研究: 3; 作者单锦辉齐治昌《计算机工程与科学》 CSCD 2003年第6期109-109,共1页; 软件测试是现阶段保障软件质量的重要手段。软件测试中的诸如语句覆盖、路径覆盖等问题可以归结为面向路径的测试数据的生成问题。该问题可以描述为：给定一个程序P和P中一条路径W，设P的输入空间为D，求x∈D，使得P以x为输入运行，所... 展开更多; 关键词软件测试自动生成迭代松弛法构造谓词片输入依赖集; 在线阅读下载PDF 职称材料

用微电脑和目标规划法优选产品计划和自动配棉使用效果: 4; 《管理现代化》 1982年第3期12-14,共3页; 一、用微型电脑和目标规划法自动配棉使用效果(一)概述用目标规划在计算机上实现棉纺厂的自动配棉,是在中国管理现代化研究会组织下,在纺织部关怀和有关单位大力支持下,并由我厂技术科、计划科、供销科等部门与参加单位密切配合,从一九... 展开更多; 关键词目标规划法微电脑计算机配棉使用效果自动化软件系统数据输入中国管理现代化研究会产品计划密切配合; 在线阅读下载PDF 职称材料

题名基于二进制补丁比对的软件输入数据自动构造被引量：2: 1; 作者沈亚楠赵荣彩任华王小芹刘振华张新宇李鹏飞; 机构解放军信息工程大学信息工程学院北京北方计算中心中国科学院软件研究所; 出处《计算机工程与设计》 CSCD 北大核心 2010年第14期3169-3173,共5页; 基金国家自然科学基金项目(60603017); 文摘在软件二进制补丁比对结果的基础上,提出一种基于目标的适应值函数模型。该模型对同一种群中所有个体评估,寻找优秀个体以遗传到子代中,产生能够到达或接近到达可疑函数的个体数据。该算法不需要源码。实验结果表明,该算法简化了逆向分析人员构造软件畸形数据的过程,为其快速触发软件脆弱点创造了条件。; 关键词软件二进制补丁比对函数调用图遗传算法适应值函数软件输入数据自动构造; Keywords software binary path difference function call graph evolutionary algorithm fitness function automatic software input data construct; 分类号 TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于扩展有限状态机测试中测试输入数据自动选取的研究被引量：24: 2; 作者张涌钱乐秋王渊峰; 机构复旦大学计算机科学系; 出处《计算机学报》 EI CSCD 北大核心 2003年第10期1295-1303,共9页; 文摘扩展有限状态机 (EFSM )模型是有限状态机 (FSM )模型的一个扩展 ,它在FSM模型的基础上增加了变量、操作以及状态迁移的前置条件 ,通过EFSM我们可以更加精确地刻画软件系统的动态行为 .基于EFSM的测试可以应用到许多领域 ,因此具有重要的研究价值和实际意义 .许多研究人员已经提出了基于FSM测试的测试输入序列的构造方法 ,但基于EFSM的测试与FSM相比由于变量和状态迁移的前置条件的引入 ,增加了构造其测试输入的复杂性 .我们认为基于EFSM测试的测试输入应该包含两个部分 :即测试输入序列以及该输入序列上包含的输入变量的确定值 (测试输入数据 ) .手工选取这些测试数据的工作十分繁琐 ,极大地增加了测试的花费 ,因此自动选取这些测试数据可以大大提高实际测试工作的效率 .该文提出一种基于EFSM测试的测试数据自动选取方法 ,该方法利用两个关键的步骤 :①区间削减和②分段梯度最优下降算法来自动选取测试数据 .实验表明利用该方法可以自动选取大部分的测试数据 ,并且收敛速度较快 ;在某些无法得到确定解的情况下 ,区间削减也可以为测试人员提供一个较小的输入变量取值区间 ,方便了测试人员从中手工选择测试数据 .; 关键词扩展有限状态机测试有限状态机测试输入数据自动选取面向对象软件设计; Keywords Convergence of numerical methods Data flow analysis Testing; 分类号 TP311.1 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名面向路径的测试数据自动生成方法研究: 3; 作者单锦辉齐治昌; 机构教授; 出处《计算机工程与科学》 CSCD 2003年第6期109-109,共1页; 文摘软件测试是现阶段保障软件质量的重要手段。软件测试中的诸如语句覆盖、路径覆盖等问题可以归结为面向路径的测试数据的生成问题。该问题可以描述为：给定一个程序P和P中一条路径W，设P的输入空间为D，求x∈D，使得P以x为输入运行，所经过的路径为W。自动求解该问题将有效地提高软件测试的效率和质量。; 关键词软件测试自动生成迭代松弛法构造谓词片输入依赖集; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名用微电脑和目标规划法优选产品计划和自动配棉使用效果: 4; 机构北京第三棉纺织厂; 出处《管理现代化》 1982年第3期12-14,共3页; 文摘一、用微型电脑和目标规划法自动配棉使用效果(一)概述用目标规划在计算机上实现棉纺厂的自动配棉,是在中国管理现代化研究会组织下,在纺织部关怀和有关单位大力支持下,并由我厂技术科、计划科、供销科等部门与参加单位密切配合,从一九八一年三月份开始着手进行的,; 关键词目标规划法微电脑计算机配棉使用效果自动化软件系统数据输入中国管理现代化研究会产品计划密切配合; 分类号 C931 [经济管理—管理学] F270 [经济管理—企业管理]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于二进制补丁比对的软件输入数据自动构造	沈亚楠赵荣彩任华王小芹刘振华张新宇李鹏飞	《计算机工程与设计》 CSCD 北大核心	2010	2	在线阅读下载PDF 职称材料
2	基于扩展有限状态机测试中测试输入数据自动选取的研究	张涌钱乐秋王渊峰	《计算机学报》 EI CSCD 北大核心	2003	24	在线阅读下载PDF 职称材料
3	面向路径的测试数据自动生成方法研究	单锦辉齐治昌	《计算机工程与科学》 CSCD	2003	0	在线阅读下载PDF 职称材料
4	用微电脑和目标规划法优选产品计划和自动配棉使用效果		《管理现代化》	1982	0	在线阅读下载PDF 职称材料