程序插装

作品数：18被引量：76H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：徐拾义钟治平李宝林李志蜀谢军凯更多>>
相关机构：上海大学北京航空航天大学南京航空航天大学北京邮电大学更多>>
相关期刊：《计算机工程与设计》《指挥控制与仿真》《计算机工程与应用》《计算机应用研究》更多>>
相关基金：国家自然科学基金四川省自然科学基金国家科技型中小企业技术创新基金国家科技攻关计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于静态插装和约束求解的整数漏洞检测
《华中科技大学学报（自然科学版）》2014年第11期86-90,共5页张帆 张聪 徐明迪 杨捷 
国家自然科学基金资助项目(61272278,x2jsB55101680,61350001);浙江省教育厅资助项目(Y201224055);国防预研基金资助项目(9140A15040211CB3901)
以C源码为研究对象,提出了一种基于静态插装和约束求解的整数漏洞检测方法.首先在C源码中可能的整数漏洞点前面插装检测代码,同时定位可能导致整数漏洞的输入源,并将其标记为符号变量.之后将静态插装后的源码编译成可执行代码,并进行(...
关键词：整数漏洞 符号执行 约束求解 程序插装 漏洞检测 
程序插装在软件测试中的应用研究被引量：3
《测控技术》2011年第10期88-91,共4页李志伟 
程序插装是软件测试中一种重要的白盒测试技术。介绍了程序插装的基本原理,分析了程序插装的关键要素,研究了插装测试设计的主要内容。针对常用的程序结构,如线性程序、结构化程序、面向对象程序的不同特点,提出了相应的程序插装策略和...
关键词：程序插装 软件测试 白盒测试 探针 插装库 
基于OFGA的软件测试用例自动生成被引量：1
《计算机工程与设计》2011年第7期2395-2397,2556,共4页梁家安 张伟 
为提高测试用例生成的质量和效率,提出一种基于最优家族遗传算法(OFGA)的软件测试用例自动生成新算法。基于OFGA的测试用例生成算法在执行过程中适当缩小搜索区域,从而在相对更小的区域内快速寻找最优解。因此,OFGA能比较快地加速算法...
关键词：最优家族 种群规模 遗传算法 软件测试 测试用例 程序插装 
微粒群算法在软件测试数据生成中的应用被引量：6
《太原科技大学学报》2009年第4期294-296,共3页尉小环 高慧敏 李峰 
山西省自然科学基金(20041048)
提出了用微粒群算法作为核心搜索算法来生成软件结构测试数据的方法和技术,讨论了参数的选择、评价函数的构造及插装问题的解决方案。实验结果表明,该算法在测试数据自动生成的效率与效果方面,优于遗传算法。与其他进化算法相比,微粒群...
关键词：软件测试 测试数据 程序插装 微粒群算法 
面向路径的测试数据自动生成工具设计与实现被引量：2
《沈阳航空工业学院学报》2009年第3期54-59,共6页王溪波 马春 杜晓舟 
面向路径的测试数据生成问题是软件测试中一个基本问题。采用遗传算法作为数据优化搜索策略,设计并实现了一个面向路径的测试数据自动生成工具PTDAG,同时对实现过程中的程序插装及驱动程序的编写规则等关键技术进行了分析。实验结果表明...
关键词：测试数据 软件测试 程序插装 遗传算法 
基于LDRA的嵌入式软件覆盖率测试方法被引量：3
《电脑知识与技术》2009年第12期9843-9845,共3页刘春裕 王蕾 
基于实时嵌入式软件的测试经验，针对实时嵌入式软件特点，研究了基于LDRA的嵌入式软件覆盖率测试方法，分析了程序插装BITMAP技术应注意的问题．提出了单文件和多文件两种方式的覆盖率测试方法。对于嵌入式软件测试，具有实际参考价值。
关键词：程序插装 覆盖率测试 覆盖率分析 BITMAP技术 
基于遗传算法的分支覆盖测试用例设计被引量：4
《微计算机信息》2008年第12期270-272,共3页荣利萍 李志华 
软件结构测试最棘手的就是测试用例的自动生成。本文将遗传算法引入分支覆盖测试用例的自动生成中,利用遗传算法的全局寻优优势,生成达到全部分支覆盖的测试数据。文中结合实例建立了基于遗传算法的模型,并给出了参数编码、交叉和变异...
关键词：软件测试 遗传算法 分支覆盖 测试用例 程序插装 
军用嵌入式软件结构覆盖测试技术被引量：9
《指挥控制与仿真》2008年第3期120-122,共3页丁旭 崔吉岗 刘春裕 
基于军用实时嵌入式软件的测试经验,针对实时嵌入式软件特点,研究了各种平台软件尤其是嵌入式强实时软件的插装策略,分析了写文件、写内存、按位记录特征值、使用硬件的插装方式的优缺点。提出了有效的结构覆盖测试技术和测试方法。对...
关键词：程序插装 宿主机 目标机交叉测试环境 结构覆盖测试 
面向Length_N测试覆盖准则的测试用例生成技术研究
《四川大学学报（工程科学版）》2008年第3期132-137,共6页李宝林 李志蜀 倪建成 李继玲 
国家中小企业创新基金资助项目(06C26225101730);四川省科技厅基金资助重点项目(05GG021-003-2)
针对路径覆盖测试的可行性,提出了一种新的路径测试覆盖准则(Length_N准则)。首先把测试用例生成归纳为多目标函数的优化问题,其有效方法是根据程序运行结果指导生成过程,通过不断迭代,生成符合要求的测试数据集。为了提高生成效率,对...
关键词：面向路径测试覆盖准则 遗传模拟退火算法 程序插装 测试用例 Length_N完整路径表 
面向路径的测试数据自动生成工具被引量：4
《计算机工程》2007年第15期7-9,共3页李宝林 李志蜀 陈良银 邢建川 叶军 
国家中小企业创新基金资助项目(06C26225101730);四川省科技厅基金资助重点项目(05GG021-003-2)
针对测试路径覆盖的可行性问题,给出了一种新的面向路径测试覆盖准则的测试数据自动生成工具。并对Length_N路径覆盖准则进行了定义,运用该准则对被测程序进行静态分析,得到完整路径表(CFG_PT),结合程序插装技术和遗传模拟退火算法自动...
关键词：面向路径测试覆盖准则 遗传模拟退火算法 程序插装 Length_N完整路径表 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部