国家科技期刊平台

相关度

相关度
发表时间

每页显示10条

每页显示10条
每页显示20条
每页显示30条

已找到 44 条结果

软件测试环境COSTE的设计与实现CSTPCD
作者：李洪根贾成伟鲁明羽
发表期刊：烟台大学学报（自然科学与工程版） 2003年4期
关键词：COBOL语言软件测试环境静态分析动态测试测试数据生成
摘要：介绍一个COBOL软件测试环境COSTE系统的组成结构、主要功能和特点.该系统采用了弱变异、程序插装、测试数据自动生成等一些独特的软件测试技术,可以完成对COBOL程序的静态分析和动态测试,提供关于被测软件的程序特性和异常信息,以及动态测试结果和结构覆盖信息,并可以根据覆盖情况和结构覆盖准则,自动生成补充的测试数据,以期更好地逼近结构覆盖要求,辅助用户更有效地进行软件维护工作.
NIDS签名获取及其测试数据的生成北大核心CSCDCSTPCD
作者：王映谭建龙沈星星刘萍
发表期刊：计算机工程 2006年5期
关键词：NIDS签名测试数据生成Snort
摘要：当实现一个新的NIDS检测算法时,很难获得一个实用的签名库及其测试数据.该文介绍了怎样利用Snort的签名库,以及怎样生成相应的测试数据,最后给出了一些测试数据.
一种新的基于输入域边界分析的测试数据自动生成方法CSCDCSSCI
作者：董红霞赵瑞莲
发表期刊：南京大学学报（自然科学版） 2005年z1期
关键词：软件测试软件容错测试数据生成RSDIMU变异体
摘要：软件测试和软件容错是两种提高软件系统可靠性的主要技术手段.基于文献[1]提出一种新的基于输入域边界分析的测试数据自动生成方法,开发出52个测试用例,对34个版本的RSDIMU容错软件和429个变异体进行测试.实验表明:该方法是一种非常有效的方法,不仅可以克服测试的盲目性,降低测试成本,而且可以明显提高故障覆盖率.
基于搜索的Simulink测试数据生成北大核心CSCDCSTPCD
作者：邓绍鹏杨志义王宇英
发表期刊：计算机应用研究 2012年7期
关键词：测试数据生成Simulink测试基于搜索的测试基于模型的测试模拟退火
摘要：为满足基于模型的测试需求,研究了基于搜索的Simulink模型测试数据生成方法.对于严格约束,该方法利用代价函数规则构建目标函数,针对Simulink模型复杂性的特点,采用模拟退火算法对目标函数求优,最终搜索出满足目标约束的测试数据.由此设计了一种综合考虑宽松约束和严格约束的Simulink测试数据生成框架,最后实现了该方法在典型案例的应用.实践证明,该方法快速有效地解决了Simulink模型的测试数据生成问题.
基于改进遗传算法的面向路径测试数据生成CSCDCSTPCD
作者：王林尤枫赵瑞莲
发表期刊：计算机工程 2012年4期
关键词：遗传算法面向路径测试数据生成程序结构信息分支表达式交叉变异
摘要：在遗传算法中,面向路径测试数据自动生成存在迭代次数多、效率低的问题.为此,提出一种改进型的遗传算法.通过分析被测源程序得到其结构信息,并利用该结构信息,控制遗传算法中交叉、变异操作发生的位置及范围,提高遗传操作的精确性和目的性.实验结果表明,与传统遗传算法相比,该算法具有更快的收敛速度,测试数据生成效率更高.
基于符号执行的Python攻击脚本分析平台北大核心CSCDCSTPCD
作者：邱洋王轶骏薛质
发表期刊：计算机工程 2016年11期
关键词：符号执行Python语言动态分析测试数据生成攻击脚本路径探索
摘要：传统的静态分析方法大多不能准确处理脚本与网络交互的过程，且会引入不可达路径，动态分析则需要搭建实验环境和手工分析。针对上述问题，提出一种基于符号执行的 Python 攻击脚本分析平台 PyExZ3＋。通过对Python脚本的动态符号执行及路径探索，可以获得触发攻击的输入流量及相应的输出攻击载荷，以此实现对Python攻击脚本的自动化分析。采用循环识别及运行时解析等优化策略，使程序更快进入目标代码。实验结果表明，PyExZ3＋相比CHE…查看全部>>
基于伪并行遗传算法的路径测试数据自动生成北大核心CSCDCSTPCD
作者：陈勇刘勇鲍胜利
发表期刊：四川大学学报（工程科学版） 2009年5期
关键词：软件测试路径测试伪并行遗传算法测试数据生成
摘要：路径测试数据自动生成是结构测试中的关键问题,也是当前软件测试研究中的热点问题.为了探讨伪并行遗传算法用于路径测试数据生成的可行性及其效果,首先归纳了基于演化算法的路径测试数据自动生成方法的基本思想和流程,然后在MATLAB7.1上实现了一个基于粗粒度模型和基于适应度选择迁移个体的伪并行遗传算法和一个使用代沟的基本遗传算法.采用基于分支距离的适应度函数,以三角形分类程序为例比较了二者在生成路径测试数据时的性能差异.实验结果表明伪并行遗传…查看全部>>
基于目标语句占优关系的软件可测试性转化北大核心CSCDCSTPCD
作者：姚香娟巩敦卫
发表期刊：电子学报 2013年12期
关键词：测试数据生成标记变量可测试性转化遗传算法
摘要：标记变量问题是基于搜索的软件测试数据生成的关键问题之一。本文提出一种基于目标语句占优关系的软件可测试性转化理论与方法，思想是：对于涉及标记变量问题的目标语句，如果存在另一目标语句（集），使得该目标语句（集）占优原有目标语句，则用新的目标语句（集）代替原有目标语句生成测试数据，从而消除标记变量的不利影响。将本文方法应用于典型被测程序，实验结果表明，该方法可以有效解决标记变量问题，从而提高测试数据的生成效率。
基于GA的多路径测试数据生成器适配函数设计CSTPCD
作者：孙宁
发表期刊：计算机与数字工程 2010年1期
关键词：遗传算法多路径测试数据生成适配函数基于GA的测试数据生成器
摘要：提出了基于GA的多路径测试数据生成的概念和实现方法.讨论了为了实现多路径测试数据生成,设计有效的和高效的适配函数应考虑的因素,用实际案例针对提出的适配函数进行了功能性能验证.结果表明了适配函数设计的有效性.
多路径测试数据自动生成方法及应用北大核心CSCDCSTPCD
作者：曹洋胡春华陈少波李路明
发表期刊：计算机工程与应用 2010年27期
关键词：软件测试测试数据生成多路径遗传算法
摘要：以程序结构测试自动生成为研究背景,提出了一种重叠路径结构用以描述程序路径,并以此为基础设计了一种多路径测试数据生成适应值算法,实现了一次搜索完成多条路径的测试数据生成.算法通过目标路径间共享遗传算法产生的中间个体减少单一路径搜索始于随机产生的无序个体的初期迭代,从而加快搜索收敛的速度.应用于常用的基准程序和取自实际项目的程序,该算法与典型的分支谓词距离算法相比平均消耗时间缩短了70.6%.

12 3 4 5 >