资料介绍
针对并发程序变异测试中并发变异算予触发数据竞争故障能力较低的问题,提出了基于数据竞争故障的变异策略。从并发变异算子设计的角度给出了面向锁对象的变异策略(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如何快速排除故障 634次阅读
- MySQL数据库是如何应对故障恢复与数据恢复回滚的问题呢? 1152次阅读
- 谈谈“左移”策略 938次阅读
- 探索SFT训练策略对性能的影响 1210次阅读
- 什么是策略模式 2762次阅读
- 常见的生产故障有哪些 670次阅读
- 如何在电源故障期间保存数据而不会损坏数据 740次阅读
- 关于路由策略数据库(RPDB) 2163次阅读
- 数据备份策略怎样去制定 1283次阅读
- 计算机硬盘常见数据故障表现与原因_硬盘数据的恢复 4936次阅读
- 研究人员们提出了PBA的方法来获取更为有效的数据增强策略 5630次阅读
- 两种类型PCB布线策略 1493次阅读
- 电机控制系统的故障诊断与容错策略 2612次阅读
- 关于小电流接地系统的几种故障定位策略 6240次阅读
- 可视化策略的数据分析 4462次阅读
下载排行
本周
- 148V到5KW无桥LLC双向逆变器的电路原理图免费下载
- 0.26 MB | 154次下载 | 10 积分
- 22KW逆变侧功率管的损耗如何进行计算详细公式免费下载
- 0.40 MB | 32次下载 | 2 积分
- 3高功率密度碳化硅MOSFET软开关三相逆变器损耗分析
- 2.27 MB | 30次下载 | 5 积分
- 4S7-200 可编程序控制器系统手册
- 12.81 MB | 4次下载 | 免费
- 5ATX电源 FSP_ATX-300PAF电路图资料
- 0.18 MB | 1次下载 | 2 积分
- 6IP6541_L 150uA 低功耗,集成多种快充输出协议中文资料
- 1.43 MB | 次下载 | 免费
- 7PC5010 单通道20V_10A低边高速驱动器技术手册
- 1.17 MB | 次下载 | 免费
- 8GSV2201D 带嵌入式MCU的DisplayPort 1.4到HDMI 2.0转换器规格书
- 0.67 MB | 次下载 | 2 积分
本月
- 148V到5KW无桥LLC双向逆变器的电路原理图免费下载
- 0.26 MB | 154次下载 | 10 积分
- 22KW逆变侧功率管的损耗如何进行计算详细公式免费下载
- 0.40 MB | 32次下载 | 2 积分
- 3高功率密度碳化硅MOSFET软开关三相逆变器损耗分析
- 2.27 MB | 30次下载 | 5 积分
- 4STM32F10x参考手册资料
- 13.64 MB | 12次下载 | 1 积分
- 5OAH0428 V1.0英文规格书
- 5.86 MB | 8次下载 | 免费
- 6光伏并网逆变器原理
- 7.31 MB | 6次下载 | 2 积分
- 7NS1081/NS1081S/NS1081Q USB 3.0闪存数据手册
- 0.40 MB | 4次下载 | 2 积分
- 8S7-200 可编程序控制器系统手册
- 12.81 MB | 4次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935132次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420064次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233089次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191422次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183352次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81600次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73818次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65990次下载 | 10 积分
电子发烧友App






创作
发文章
发帖
提问
发资料
发视频
上传资料赚积分
评论