期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
基于程序依赖关系的变异体生成策略
1
作者 田甜 邵阳阳 +1 位作者 王苗苗 杨欢 《计算机应用》 CSCD 北大核心 2024年第9期2863-2870,共8页
针对数量庞大的变异体导致高昂变异测试代价的问题,提出一种基于程序依赖关系的变异体生成(PDMG)策略,选择满足一定约束条件的变异实施对象用于变异体生成。首先,基于数据依赖和控制依赖生成程序依赖图;其次,基于变异对象选择策略和程... 针对数量庞大的变异体导致高昂变异测试代价的问题,提出一种基于程序依赖关系的变异体生成(PDMG)策略,选择满足一定约束条件的变异实施对象用于变异体生成。首先,基于数据依赖和控制依赖生成程序依赖图;其次,基于变异对象选择策略和程序依赖图选择被依赖语句作为变异对象;最后,对选择的变异对象注入变异算子生成变异体。将所提策略用于8个基准测试程序的变异测试。实验结果表明,与随机选择(RS)和变异算子选择(MOS)策略相比,PDMG策略在不降低变异测试有效性的前提下,平均减少了52.20%的变异体,提高了变异测试的执行效率。 展开更多
关键词 变异测试 数据依赖 控制依赖 变异对象 变异体约减
下载PDF
基于均匀设计的并行变异遗传算法 被引量:3
2
作者 庞博 《计算机与数字工程》 2020年第1期39-45,共7页
针对标准遗传算法易陷入局部最优和局部搜索能力差的缺陷,提出一种基于完全均匀设计的并行变异遗传算法(U D-PMGA)。首先用完全均匀设计方法获得多样性良好的初始种群,之后提出两种改进的锦标赛选择机制,一种改进方法取适应度较高的50%... 针对标准遗传算法易陷入局部最优和局部搜索能力差的缺陷,提出一种基于完全均匀设计的并行变异遗传算法(U D-PMGA)。首先用完全均匀设计方法获得多样性良好的初始种群,之后提出两种改进的锦标赛选择机制,一种改进方法取适应度较高的50%个体覆盖整个群体,另一种改进是用适应度较高且各自不同的50%个体覆盖整个群体。把适应度相近且空间距离较远的两个个体作为交叉对象以提高交叉操作的搜索效率。最后用自适应变异比例和自适应变异步长相结合的并行变异搜索策略提高算法的收敛速度和搜索精度。通过测试函数仿真,并与其它算法比较,验证了UD-PMGA算法的有效性与先进性。 展开更多
关键词 遗传算法 均匀设计 并行变异 交叉对象
下载PDF
Evolving Objects for Software Engineering
3
作者 Wang xiao\|ling, Dong yi\|sheng Department of Computer Science and Engineering Southeast university, Nanjing 210018,China 《Wuhan University Journal of Natural Sciences》 CAS 2001年第Z1期263-267,共5页
This paper is concerned with evolving objects method for software design that can adapt to the changing environments and requirements automatically. We present system architecture with objects library, where there are... This paper is concerned with evolving objects method for software design that can adapt to the changing environments and requirements automatically. We present system architecture with objects library, where there are objects based on domain ontologies. We define some genetic operators for objects, and discuss how to apply these genetic operators on objects to get new objects, which can satisfy new requirements. 展开更多
关键词 object oriented ONTOLOGY evolving objects meta object genetic operator mutation operator crossover operator
下载PDF
基于并发程序数据竞争故障的变异策略 被引量:4
4
作者 吴俞伯 郭俊霞 +1 位作者 李征 赵瑞莲 《计算机应用》 CSCD 北大核心 2016年第11期3170-3177,3195,共9页
针对并发程序变异测试中并发变异算子触发数据竞争故障能力较低的问题,提出了基于数据竞争故障的变异策略。从并发变异算子设计的角度给出了面向锁对象的变异策略(LMS)和面向共享变量的变异策略(SMS),设计了重置同步锁(SLRO)和移出共享... 针对并发程序变异测试中并发变异算子触发数据竞争故障能力较低的问题,提出了基于数据竞争故障的变异策略。从并发变异算子设计的角度给出了面向锁对象的变异策略(LMS)和面向共享变量的变异策略(SMS),设计了重置同步锁(SLRO)和移出共享变量操作(MSVO)两个并发变异算子。从变异点选取的角度给出了一种同步关系对变异点选取策略(SMPSS)。在12个Java类库并发程序上,应用SLRO和MSVO算子针对SMPSS选取出的变异点植入故障,生成变异体,并使用JPF检测工具,检测生成的变异体引发数据竞争故障的能力。实验结果表明,新设计的SLRO和MSVO变异算子对12个被测程序分别生成了121和122个有效变异体,变异算子的有效性分别为95.28%和99.19%。由此可知,新设计的并发变异算子能有效触发数据竞争故障。 展开更多
关键词 并发程序变异测试 数据竞争故障 锁对象 共享变量 同步关系对
下载PDF
基于语句重要度的变异测试对象选择方法 被引量:2
5
作者 巩敦卫 秦备 田甜 《电子学报》 EI CAS CSCD 北大核心 2017年第6期1518-1522,共5页
本文基于语句重要度,提出一种新的变异测试对象选择方法,以减少变异体的数量.首先,给出反映变异测试对象重要性的3个因素;然后,基于这些因素的重要性,建立评价所选测试对象重要性的指标;最后,基于这些指标的值,选出重要度高的语句作为... 本文基于语句重要度,提出一种新的变异测试对象选择方法,以减少变异体的数量.首先,给出反映变异测试对象重要性的3个因素;然后,基于这些因素的重要性,建立评价所选测试对象重要性的指标;最后,基于这些指标的值,选出重要度高的语句作为变异测试对象.将所提方法应用于8个基准和工业程序的变异测试,实验结果表明,所提方法在维持很高变异测试充分度的同时,显著提高了变异测试的效率. 展开更多
关键词 软件测试 变异测试 变异体约简 测试对象选择 重要语句
下载PDF
基于运动物体识别的三维动态验证码设计 被引量:2
6
作者 崔竞松 王丽婧 《信息安全与通信保密》 2010年第4期65-67,共3页
基于OCR难题的平面静态可视化验证码以其在实现和操作方面的优势成为了目前CAPTCHA技术应用的主流形式。然而,随着各种有针对性的文字分割技术的出现,这种基于OCR难题的验证码的安全性受到越来越严重的威胁,用这种方法所保护的网络服务... 基于OCR难题的平面静态可视化验证码以其在实现和操作方面的优势成为了目前CAPTCHA技术应用的主流形式。然而,随着各种有针对性的文字分割技术的出现,这种基于OCR难题的验证码的安全性受到越来越严重的威胁,用这种方法所保护的网络服务系统正在越来越多地被bots程序攻击。目前迫切需要一种既能够提高验证码的安全性,又能够保持实用性的新型CAPTCHA验证码。该课题拟在运动对象识别难题上,构建一种动画验证码,使得攻击者只有在有效解决运动对象识别难题后,才能通过该动画验证码的测试进而登录服务系统。该课题所提出的设计思路将会在CAPTCHA研究领域开辟一个新的研究方向。此类动画验证码将能够杜绝所有静态OCR技术的攻击,并能够抵抗过去所有的对于运动物体检测的攻击。 展开更多
关键词 边缘突变 运动物体识别 单帧零知识 CAPTCHA 网络安全
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部