电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
针对并发程序变异测试中并发变异算予触发数据竞争故障能力较低的问题，提出了基于数据竞争故障的变异策略。从并发变异算子设计的角度给出了面向锁对象的变异策略（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次下载
- 冰灾下配电网多故障抢修策略 9次下载
- 主动配电网故障灵活分层恢复策略 13次下载
- 基于小波变异果蝇优化的支持向量机预测模型 0次下载
- 配电自动化系统中相间短路故障处理策略 0次下载
- 消息传递并行程序的变异测试 0次下载
- 概化理论的方差分量变异量的估计
- 基于多变异改进遗传算法的多agent系统通信
- 离体培养下的遗传与变异 0次下载
- UPS不间断电源常见故障及预防策略全面解析 921次阅读
- 如何通过数据分析识别设备故障模式？ 644次阅读
- tcVNS对健康犬脑电图（EEG）和心率变异性（HRV）的影响 1k次阅读
- MySQL数据备份与恢复策略 583次阅读
- BNC座接地故障深度剖析与应对策略 507次阅读
- 设备管理系统：如何实现预测性维护与故障预防？ 1.2k次阅读
- PLC如何快速排除故障 1.7k次阅读
- 什么是策略模式 3.9k次阅读
- 如何在电源故障期间保存数据而不会损坏数据 1k次阅读
- 关于路由策略数据库(RPDB) 2.9k次阅读
- 数据备份策略怎样去制定 1.7k次阅读
- 计算机硬盘常见数据故障表现与原因_硬盘数据的恢复 5.5k次阅读
- 研究人员们提出了PBA的方法来获取更为有效的数据增强策略 6.5k次阅读
- 电机控制系统的故障诊断与容错策略 3.4k次阅读
- 可视化策略的数据分析 5k次阅读
上传资料赚积分下载排行
本周
- 1MDD品牌三极管BC807数据手册
- 3.00 MB | 次下载 | 免费
- 2MDD品牌三极管BC817数据手册
- 2.51 MB | 次下载 | 免费
- 3MDD品牌三极管D882数据手册
- 3.49 MB | 次下载 | 免费
- 4MDD品牌三极管MMBT2222A数据手册
- 3.26 MB | 次下载 | 免费
- 5MDD品牌三极管MMBTA56数据手册
- 3.09 MB | 次下载 | 免费
- 6MDD品牌三极管MMBTA92数据手册
- 2.32 MB | 次下载 | 免费
- 7STM32G474 HRTIME PWM 丢波问题分析与解决
- 1.00 MB | 次下载 | 3 积分
- 8新能源电动汽车高压线束的铜铝连接解决方案
- 2.71 MB | 次下载 | 2 积分
本月
- 1爱华AIWA HS-J202维修手册
- 3.34 MB | 37次下载 | 免费
- 2PC5502负载均流控制电路数据手册
- 1.63 MB | 23次下载 | 免费
- 3NB-IoT芯片厂商的资料说明
- 0.31 MB | 22次下载 | 1 积分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供电电路图资料
- 0.63 MB | 6次下载 | 1 积分
- 5UWB653Pro USB口测距通信定位模块规格书
- 838.47 KB | 5次下载 | 免费
- 6技嘉H110主板IT8628E_BX IO电路图资料
- 2.61 MB | 4次下载 | 1 积分
- 7苏泊尔DCL6907(即CHK-S007)单芯片电磁炉原理图资料
- 0.04 MB | 4次下载 | 1 积分
- 8苏泊尔DCL6909(即CHK-S009)单芯片电磁炉原理图资料
- 0.08 MB | 2次下载 | 1 积分
总榜
- 1matlab软件下载入口
- 未知 | 935137次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420064次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233089次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191439次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183353次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81602次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73822次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65991次下载 | 10 积分
工商网监
评论