资料介绍
针对并发程序变异测试中并发变异算予触发数据竞争故障能力较低的问题,提出了基于数据竞争故障的变异策略。从并发变异算子设计的角度给出了面向锁对象的变异策略(LMS)和面向共享变量的变异策略(SMS),设计了重置同步锁( SLRO)和移出共享变量操作(MSVO)两个并发变异算子。从变异点选取的角度给出了一种同步关系对变异点选取策略( SMPSS)。在12个Java类库并发程序上,应用SLRO和MSVO算子针对SMPSS选取出的变异点植入故障,生成变异体,并使用JPF检测工具,检测生成的变异体引发数据竞争故障的能力。实验结果表明,新设计的SLRO和MSVO变异算予对12个被测程序分别生成了121和122个有效变异体,变异算予的有效性分别为95. 28%和99. l9%。由此可知,新设计的并发变异算子能有效触发数据竞争故障。
- 基于数据流分析的冗余变异体识别及测试 4次下载
- 一种具有自适应步长的柯西变异乌鸦算法 1次下载
- 基于变异分析的BPEL程序故障定位技术研究 3次下载
- 基于数据流分析的冗余变异体识别方法 15次下载
- 基于协方差矩变异系数的能量泄露评估模型 2次下载
- 移动边缘计算的资源分配策略及其实验 9次下载
- 如何使用多变异策略进行自适应差分进化算法的详细资料说明 0次下载
- 冰灾下配电网多故障抢修策略 7次下载
- 主动配电网故障灵活分层恢复策略 13次下载
- 基于小波变异果蝇优化的支持向量机预测模型 0次下载
- 配电自动化系统中相间短路故障处理策略 0次下载
- 消息传递并行程序的变异测试 0次下载
- 概化理论的方差分量变异量的估计
- 基于多变异改进遗传算法的多agent系统通信
- 离体培养下的遗传与变异 0次下载
- PLC如何快速排除故障 331次阅读
- MySQL数据库是如何应对故障恢复与数据恢复回滚的问题呢? 928次阅读
- 谈谈“左移”策略 649次阅读
- 探索SFT训练策略对性能的影响 887次阅读
- 什么是策略模式 2242次阅读
- 常见的生产故障有哪些 553次阅读
- 如何在电源故障期间保存数据而不会损坏数据 602次阅读
- 关于路由策略数据库(RPDB) 1798次阅读
- 数据备份策略怎样去制定 1165次阅读
- 计算机硬盘常见数据故障表现与原因_硬盘数据的恢复 4701次阅读
- 研究人员们提出了PBA的方法来获取更为有效的数据增强策略 5432次阅读
- 两种类型PCB布线策略 1402次阅读
- 电机控制系统的故障诊断与容错策略 2288次阅读
- 关于小电流接地系统的几种故障定位策略 5991次阅读
- 可视化策略的数据分析 4315次阅读
下载排行
本周
- 1使用单片机实现七人表决器的程序和仿真资料免费下载
- 2.96 MB | 40次下载 | 免费
- 2Keysight B1500A 半导体器件分析仪用户手册、说明书 (中文)
- 19.00 MB | 4次下载 | 免费
- 3使用TL431设计电源
- 0.67 MB | 2次下载 | 免费
- 4BT134双向可控硅手册
- 1.74 MB | 2次下载 | 1 积分
- 5LabVIEW环形控件
- 0.01 MB | 1次下载 | 1 积分
- 6PR735,使用UCC28060的600W交错式PFC转换器
- 540.03KB | 1次下载 | 免费
- 751单片机核心板原理图
- 0.12 MB | 1次下载 | 5 积分
- 8BP2879DB支持调光调灭的非隔离低 PF LED 驱动器
- 1.44 MB | 1次下载 | 免费
本月
- 1开关电源设计原理手册
- 1.83 MB | 54次下载 | 免费
- 2使用单片机实现七人表决器的程序和仿真资料免费下载
- 2.96 MB | 40次下载 | 免费
- 3FS5080E 5V升压充电两串锂电池充电管理IC中文手册
- 8.45 MB | 23次下载 | 免费
- 4DMT0660数字万用表产品说明书
- 0.70 MB | 13次下载 | 免费
- 5UC3842/3/4/5电源管理芯片中文手册
- 1.75 MB | 12次下载 | 免费
- 6ST7789V2单芯片控制器/驱动器英文手册
- 3.07 MB | 11次下载 | 1 积分
- 7TPS54202H降压转换器评估模块用户指南
- 1.02MB | 8次下载 | 免费
- 8STM32F101x8/STM32F101xB手册
- 1.69 MB | 8次下载 | 1 积分
总榜
- 1matlab软件下载入口
- 未知 | 935119次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420061次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233084次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191367次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183335次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81581次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73807次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65987次下载 | 10 积分
评论
查看更多