99精品伊人亚洲|最近国产中文炮友|九草在线视频支援|AV网站大全最新|美女黄片免费观看|国产精品资源视频|精彩无码视频一区|91大神在线后入|伊人终合在线播放|久草综合久久中文

電子發(fā)燒友App

硬聲App

搜索歷史

清空
搜索熱詞
      0
      • 聊天消息
      • 系統(tǒng)消息
      • 評論與回復(fù)
      VIP于 到期 續(xù)費
      登錄后你可以
      • 下載海量資料
      • 學(xué)習(xí)在線課程
      • 觀看技術(shù)視頻
      • 寫文章/發(fā)帖/加入社區(qū)
      會員中心
      創(chuàng)作中心
      發(fā)布
      創(chuàng)作活動

      完善資料讓更多小伙伴認識你，還能領(lǐng)取20積分哦，立即完善>

      3天內(nèi)不再提示
      創(chuàng)作
      電子發(fā)燒友網(wǎng)>電子資料下載>C語言|源代碼>基于數(shù)據(jù)競爭故障的變異策略

      基于數(shù)據(jù)競爭故障的變異策略

      2017-12-09 | rar | 1.42 MB | 次下載 | 1積分

      資料介紹

      　　針對并發(fā)程序變異測試中并發(fā)變異算予觸發(fā)數(shù)據(jù)競爭故障能力較低的問題，提出了基于數(shù)據(jù)競爭故障的變異策略。從并發(fā)變異算子設(shè)計的角度給出了面向鎖對象的變異策略（LMS）和面向共享變量的變異策略（SMS），設(shè)計了重置同步鎖（ SLRO）和移出共享變量操作（MSVO）兩個并發(fā)變異算子。從變異點選取的角度給出了一種同步關(guān)系對變異點選取策略（ SMPSS）。在12個Java類庫并發(fā)程序上，應(yīng)用SLRO和MSVO算子針對SMPSS選取出的變異點植入故障，生成變異體，并使用JPF檢測工具，檢測生成的變異體引發(fā)數(shù)據(jù)競爭故障的能力。實驗結(jié)果表明，新設(shè)計的SLRO和MSVO變異算予對12個被測程序分別生成了121和122個有效變異體，變異算予的有效性分別為95. 28%和99. l9%。由此可知，新設(shè)計的并發(fā)變異算子能有效觸發(fā)數(shù)據(jù)競爭故障。

      下載該資料的人也在下載 下載該資料的人還在閱讀
      更多 >

      評論

      查看更多

      下載排行

      本周

      1. 1涂鴉各WiFi模塊原理圖加PCB封裝
      2. 11.75 MB   |  76次下載  |  1 積分
      3. 2錦銳科技CA51F2 SDK開發(fā)包
      4. 24.06 MB   |  29次下載  |  1 積分
      5. 3錦銳CA51F005 SDK開發(fā)包
      6. 19.47 MB   |  3次下載  |  1 積分
      7. 4蘋果iphone 11電路原理圖
      8. 4.98 MB   |  3次下載  |  2 積分
      9. 5基礎(chǔ)模擬電子電路
      10. 3.80 MB   |  3次下載  |  1 積分
      11. 6RA-Eco-RA6M4-100PIN-V1.0開發(fā)板資料
      12. 34.89 MB  |  1次下載  |  免費
      13. 7STM32F3系列、STM32F4系列、STM32L4系列和STM32L4+系列Cortex-M4編程手冊
      14. 3.32 MB   |  1次下載  |  免費
      15. 8聯(lián)想A820t手機維修圖紙包括主板原理圖 尾板原理圖 點位圖
      16. 0.62 MB   |  次下載  |  5 積分

      本月

      1. 1AI智能眼鏡產(chǎn)業(yè)鏈分析
      2. 4.43 MB   |  383次下載  |  免費
      3. 2蘇泊爾電磁爐線路的電路原理圖資料合集
      4. 2.02 MB   |  296次下載  |  5 積分
      5. 3貼片三極管上的印字與真實名稱的對照表詳細說明
      6. 0.50 MB   |  94次下載  |  1 積分
      7. 4長虹液晶電視R-HS310B-5HF01的電源板電路原理圖
      8. 0.46 MB   |  91次下載  |  5 積分
      9. 5涂鴉各WiFi模塊原理圖加PCB封裝
      10. 11.75 MB   |  76次下載  |  1 積分
      11. 6錦銳科技CA51F2 SDK開發(fā)包
      12. 24.06 MB   |  29次下載  |  1 積分
      13. 7AO4803A雙P通道增強型場效應(yīng)晶體管的數(shù)據(jù)手冊
      14. 0.11 MB   |  28次下載  |  2 積分
      15. 8長虹液晶彩電LS29機芯的技術(shù)資料說明
      16. 3.42 MB   |  16次下載  |  2 積分

      總榜

      1. 1matlab軟件下載入口
      2. 未知  |  935127次下載  |  10 積分
      3. 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計
      4. 1.48MB  |  420064次下載  |  10 積分
      5. 3Altium DXP2002下載入口
      6. 未知  |  233089次下載  |  10 積分
      7. 4電路仿真軟件multisim 10.0免費下載
      8. 340992  |  191388次下載  |  10 積分
      9. 5十天學(xué)會AVR單片機與C語言視頻教程 下載
      10. 158M  |  183342次下載  |  10 積分
      11. 6labview8.5下載
      12. 未知  |  81588次下載  |  10 積分
      13. 7Keil工具MDK-Arm免費下載
      14. 0.02 MB  |  73815次下載  |  10 積分
      15. 8LabVIEW 8.6下載
      16. 未知  |  65988次下載  |  10 積分