資料介紹
針對(duì)并發(fā)程序變異測(cè)試中并發(fā)變異算予觸發(fā)數(shù)據(jù)競(jìng)爭(zhēng)故障能力較低的問(wèn)題,提出了基于數(shù)據(jù)競(jìng)爭(zhēng)故障的變異策略。從并發(fā)變異算子設(shè)計(jì)的角度給出了面向鎖對(duì)象的變異策略(LMS)和面向共享變量的變異策略(SMS),設(shè)計(jì)了重置同步鎖( SLRO)和移出共享變量操作(MSVO)兩個(gè)并發(fā)變異算子。從變異點(diǎn)選取的角度給出了一種同步關(guān)系對(duì)變異點(diǎn)選取策略( SMPSS)。在12個(gè)Java類庫(kù)并發(fā)程序上,應(yīng)用SLRO和MSVO算子針對(duì)SMPSS選取出的變異點(diǎn)植入故障,生成變異體,并使用JPF檢測(cè)工具,檢測(cè)生成的變異體引發(fā)數(shù)據(jù)競(jìng)爭(zhēng)故障的能力。實(shí)驗(yàn)結(jié)果表明,新設(shè)計(jì)的SLRO和MSVO變異算予對(duì)12個(gè)被測(cè)程序分別生成了121和122個(gè)有效變異體,變異算予的有效性分別為95. 28%和99. l9%。由此可知,新設(shè)計(jì)的并發(fā)變異算子能有效觸發(fā)數(shù)據(jù)競(jìng)爭(zhēng)故障。
掃碼添加小助手
加入工程師交流群
- 基于數(shù)據(jù)流分析的冗余變異體識(shí)別及測(cè)試 4次下載
- 一種具有自適應(yīng)步長(zhǎng)的柯西變異烏鴉算法 1次下載
- 基于變異分析的BPEL程序故障定位技術(shù)研究 3次下載
- 基于數(shù)據(jù)流分析的冗余變異體識(shí)別方法 15次下載
- 基于協(xié)方差矩變異系數(shù)的能量泄露評(píng)估模型 2次下載
- 移動(dòng)邊緣計(jì)算的資源分配策略及其實(shí)驗(yàn) 9次下載
- 如何使用多變異策略進(jìn)行自適應(yīng)差分進(jìn)化算法的詳細(xì)資料說(shuō)明 0次下載
- 冰災(zāi)下配電網(wǎng)多故障搶修策略 9次下載
- 主動(dòng)配電網(wǎng)故障靈活分層恢復(fù)策略 13次下載
- 基于小波變異果蠅優(yōu)化的支持向量機(jī)預(yù)測(cè)模型 0次下載
- 配電自動(dòng)化系統(tǒng)中相間短路故障處理策略 0次下載
- 消息傳遞并行程序的變異測(cè)試 0次下載
- 概化理論的方差分量變異量的估計(jì)
- 基于多變異改進(jìn)遺傳算法的多agent系統(tǒng)通信
- 離體培養(yǎng)下的遺傳與變異 0次下載
- UPS不間斷電源常見故障及預(yù)防策略全面解析 921次閱讀
- 如何通過(guò)數(shù)據(jù)分析識(shí)別設(shè)備故障模式? 644次閱讀
- tcVNS對(duì)健康犬腦電圖(EEG)和心率變異性(HRV)的影響 1k次閱讀
- MySQL數(shù)據(jù)備份與恢復(fù)策略 583次閱讀
- BNC座接地故障深度剖析與應(yīng)對(duì)策略 507次閱讀
- 設(shè)備管理系統(tǒng):如何實(shí)現(xiàn)預(yù)測(cè)性維護(hù)與故障預(yù)防? 1.2k次閱讀
- PLC如何快速排除故障 1.7k次閱讀
- 什么是策略模式 3.9k次閱讀
- 如何在電源故障期間保存數(shù)據(jù)而不會(huì)損壞數(shù)據(jù) 1k次閱讀
- 關(guān)于路由策略數(shù)據(jù)庫(kù)(RPDB) 2.9k次閱讀
- 數(shù)據(jù)備份策略怎樣去制定 1.7k次閱讀
- 計(jì)算機(jī)硬盤常見數(shù)據(jù)故障表現(xiàn)與原因_硬盤數(shù)據(jù)的恢復(fù) 5.5k次閱讀
- 研究人員們提出了PBA的方法來(lái)獲取更為有效的數(shù)據(jù)增強(qiáng)策略 6.5k次閱讀
- 電機(jī)控制系統(tǒng)的故障診斷與容錯(cuò)策略 3.4k次閱讀
- 可視化策略的數(shù)據(jù)分析 5k次閱讀
下載排行
本周
- 1MDD品牌三極管BC807數(shù)據(jù)手冊(cè)
- 3.00 MB | 次下載 | 免費(fèi)
- 2MDD品牌三極管BC817數(shù)據(jù)手冊(cè)
- 2.51 MB | 次下載 | 免費(fèi)
- 3MDD品牌三極管D882數(shù)據(jù)手冊(cè)
- 3.49 MB | 次下載 | 免費(fèi)
- 4MDD品牌三極管MMBT2222A數(shù)據(jù)手冊(cè)
- 3.26 MB | 次下載 | 免費(fèi)
- 5MDD品牌三極管MMBTA56數(shù)據(jù)手冊(cè)
- 3.09 MB | 次下載 | 免費(fèi)
- 6MDD品牌三極管MMBTA92數(shù)據(jù)手冊(cè)
- 2.32 MB | 次下載 | 免費(fèi)
- 7STM32G474 HRTIME PWM 丟波問(wèn)題分析與解決
- 1.00 MB | 次下載 | 3 積分
- 8新能源電動(dòng)汽車高壓線束的銅鋁連接解決方案
- 2.71 MB | 次下載 | 2 積分
本月
- 1愛華AIWA HS-J202維修手冊(cè)
- 3.34 MB | 37次下載 | 免費(fèi)
- 2PC5502負(fù)載均流控制電路數(shù)據(jù)手冊(cè)
- 1.63 MB | 23次下載 | 免費(fèi)
- 3NB-IoT芯片廠商的資料說(shuō)明
- 0.31 MB | 22次下載 | 1 積分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供電電路圖資料
- 0.63 MB | 6次下載 | 1 積分
- 5UWB653Pro USB口測(cè)距通信定位模塊規(guī)格書
- 838.47 KB | 5次下載 | 免費(fèi)
- 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 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191439次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183353次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81602次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73822次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
電子發(fā)燒友App





創(chuàng)作
發(fā)文章
發(fā)帖
提問(wèn)
發(fā)資料
發(fā)視頻
上傳資料賺積分
評(píng)論