資料介紹
針對并發程序變異測試中并發變異算予觸發數據競爭故障能力較低的問題,提出了基于數據競爭故障的變異策略。從并發變異算子設計的角度給出了面向鎖對象的變異策略(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次閱讀
下載排行
本周
- 1涂鴉各WiFi模塊原理圖加PCB封裝
- 11.75 MB | 76次下載 | 1 積分
- 2錦銳科技CA51F2 SDK開發包
- 24.06 MB | 29次下載 | 1 積分
- 3錦銳CA51F005 SDK開發包
- 19.47 MB | 3次下載 | 1 積分
- 4蘋果iphone 11電路原理圖
- 4.98 MB | 3次下載 | 2 積分
- 5基礎模擬電子電路
- 3.80 MB | 3次下載 | 1 積分
- 6RA-Eco-RA6M4-100PIN-V1.0開發板資料
- 34.89 MB | 1次下載 | 免費
- 7STM32F3系列、STM32F4系列、STM32L4系列和STM32L4+系列Cortex-M4編程手冊
- 3.32 MB | 1次下載 | 免費
- 8聯想A820t手機維修圖紙包括主板原理圖 尾板原理圖 點位圖
- 0.62 MB | 次下載 | 5 積分
本月
- 1AI智能眼鏡產業鏈分析
- 4.43 MB | 383次下載 | 免費
- 2蘇泊爾電磁爐線路的電路原理圖資料合集
- 2.02 MB | 296次下載 | 5 積分
- 3貼片三極管上的印字與真實名稱的對照表詳細說明
- 0.50 MB | 94次下載 | 1 積分
- 4長虹液晶電視R-HS310B-5HF01的電源板電路原理圖
- 0.46 MB | 91次下載 | 5 積分
- 5涂鴉各WiFi模塊原理圖加PCB封裝
- 11.75 MB | 76次下載 | 1 積分
- 6錦銳科技CA51F2 SDK開發包
- 24.06 MB | 29次下載 | 1 積分
- 7AO4803A雙P通道增強型場效應晶體管的數據手冊
- 0.11 MB | 28次下載 | 2 積分
- 8長虹液晶彩電LS29機芯的技術資料說明
- 3.42 MB | 16次下載 | 2 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935127次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191388次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183342次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81588次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73815次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
評論