色哟哟视频在线观看-色哟哟视频在线-色哟哟欧美15最新在线-色哟哟免费在线观看-国产l精品国产亚洲区在线观看-国产l精品国产亚洲区久久

電子發燒友App

硬聲App

0
  • 聊天消息
  • 系統消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發帖/加入社區
會員中心
創作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內不再提示
電子發燒友網>電子資料下載>模擬數字>如何使用證據自動機進行軟件回歸的驗證資料說明

如何使用證據自動機進行軟件回歸的驗證資料說明

2018-12-07 | rar | 1.08 MB | 次下載 | 免費

資料介紹

  為了在多版本程序驗證中利用鄰近版本之間的共享信息,提取并重用之前版本證據自動機中的循環不變式,提出基于證據自動機的軟件回歸驗證。首先通過證據預處理生成適用于新版程序的證據文件,然后在輔助不變式增強的K一歸納方法的基礎上實現了檢驗新證據文件及驗證新版程序的回歸驗證過程,最后通過對比實驗比較了不使用不變式信息的直接驗證與結合或不結合數據流分析的三種回歸驗證的驗證性能。與直接驗證相比,不結合與結合數據流分析的回歸驗證的驗證耗時分別減少了49%與75%,而內存消耗分別減少了18%與50%。實驗結果表明,當程序滿足其驗證屬性時,基于證據自動機的回歸驗證能極大地提高驗證效率,而將證據自動機與數據流分析相結合的驗證方式能得到更好的驗證效果。

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

評論

查看更多

下載排行

本周

  1. 1電子電路原理第七版PDF電子教材免費下載
  2. 0.00 MB  |  1490次下載  |  免費
  3. 2單片機典型實例介紹
  4. 18.19 MB  |  92次下載  |  1 積分
  5. 3S7-200PLC編程實例詳細資料
  6. 1.17 MB  |  27次下載  |  1 積分
  7. 4筆記本電腦主板的元件識別和講解說明
  8. 4.28 MB  |  18次下載  |  4 積分
  9. 5開關電源原理及各功能電路詳解
  10. 0.38 MB  |  10次下載  |  免費
  11. 6基于AT89C2051/4051單片機編程器的實驗
  12. 0.11 MB  |  4次下載  |  免費
  13. 7藍牙設備在嵌入式領域的廣泛應用
  14. 0.63 MB  |  3次下載  |  免費
  15. 89天練會電子電路識圖
  16. 5.91 MB  |  3次下載  |  免費

本月

  1. 1OrCAD10.5下載OrCAD10.5中文版軟件
  2. 0.00 MB  |  234313次下載  |  免費
  3. 2PADS 9.0 2009最新版 -下載
  4. 0.00 MB  |  66304次下載  |  免費
  5. 3protel99下載protel99軟件下載(中文版)
  6. 0.00 MB  |  51209次下載  |  免費
  7. 4LabView 8.0 專業版下載 (3CD完整版)
  8. 0.00 MB  |  51043次下載  |  免費
  9. 5555集成電路應用800例(新編版)
  10. 0.00 MB  |  33562次下載  |  免費
  11. 6接口電路圖大全
  12. 未知  |  30320次下載  |  免費
  13. 7Multisim 10下載Multisim 10 中文版
  14. 0.00 MB  |  28588次下載  |  免費
  15. 8開關電源設計實例指南
  16. 未知  |  21539次下載  |  免費

總榜

  1. 1matlab軟件下載入口
  2. 未知  |  935053次下載  |  免費
  3. 2protel99se軟件下載(可英文版轉中文版)
  4. 78.1 MB  |  537791次下載  |  免費
  5. 3MATLAB 7.1 下載 (含軟件介紹)
  6. 未知  |  420026次下載  |  免費
  7. 4OrCAD10.5下載OrCAD10.5中文版軟件
  8. 0.00 MB  |  234313次下載  |  免費
  9. 5Altium DXP2002下載入口
  10. 未知  |  233045次下載  |  免費
  11. 6電路仿真軟件multisim 10.0免費下載
  12. 340992  |  191183次下載  |  免費
  13. 7十天學會AVR單片機與C語言視頻教程 下載
  14. 158M  |  183277次下載  |  免費
  15. 8proe5.0野火版下載(中文版免費下載)
  16. 未知  |  138039次下載  |  免費
主站蜘蛛池模板: 91次元黄色观看| 亚洲免费综合色视频| 亚洲成a人片777777久久| 又长又大又粗又硬3p免费视频| 最近韩国HD免费观看国语| xxxxhd17欧美老师| 国产午夜精品一区理论片飘花| 久久精品国产只有精品| 欧美三级aaa| 亚洲专区中文字幕视频专区| 999在线观看精品免费| 国产精品自在拍在线播放| 麻豆XXXX乱女少妇精品-百度| 色婷婷国产精品视频一区二区| 稚嫩挤奶h调教h| 国产精品永久免费视频| 男污女XO猛烈的动态图| 亚洲AV无码久久流水呻蜜桃久色| 99久久综合精品免费| 九九热这里有精品| 小SAO货叫大声点妓女| 白百合在线观看| 免费在线伦理片| 亚洲最大日夜无码中文字幕| 国产 亚洲 中文字幕 在线| 免费看毛片的网址| 中国毛片网| 精品国产一区二区三区久久影院| 手机在线看片欧美亚洲| 超碰日韩人妻高清视频| 嗯别插太快好深再深点| 1V1各种PLAY女主被肉| 久久国产精品萌白酱免费| 亚洲国产中文字幕新在线| 国产精品99久久久久久AV下载| 日本无码人妻丰满熟妇5G影院| 4438全国免费观看| 老湿影院色情a| 97视频免费上传播放| 男人插曲女人身体视频| 99久久免费国内精品|