形式化规范在软件可靠性早期估计中的应用研究
所屬分類：解决方案
上傳者：aet
文檔大?。?span>234 K
標簽： 软件
所需積分：0分積分不夠怎么辦？
文檔介紹：随着软件的广泛应用，特别是软件在尖端领域的应用，软件可靠性成为一个非常重要的问题。形式化规范在软件可靠性研究中能够起到的作用是多方面的。本文针对非形式化统计使用测试的不足，结合已有的早期可靠性估计方法，设计了优化算法，并提出了即使在设计中采用了形式化规范仍然需要测试的结论。
現在下載
VIP會員，AET專家下載不扣分；重復下載不扣分，本人上傳資源不扣分。
主站蜘蛛池模板： 国产一区二区视频在线观看| 九九精品在线播放| 国产欧美日韩视频| 国产精品美女久久| 日韩中文在线视频| 精品久久久久久久久久中文字幕| 成人精品网站在线观看| 久久视频在线观看中文字幕| 日韩久久久久久久久久久久| 99久久久精品视频| 国产精品流白浆视频| 国产一区亚洲二区三区| 久久久久国产精品www| 热久久精品国产| 视频一区二区三区免费观看| 国产成人精品999| 国产精品久久国产三级国电话系列| 久久久精品网站| 日韩欧美视频一区二区三区四区| 69国产精品成人在线播放| 国产不卡av在线| 国产不卡av在线| 91|九色|视频| 亚洲人成网站在线播放2019| 在线观看国产一区| 97成人在线视频| 欧美激情网站在线观看| 日本午夜精品电影| 少妇免费毛片久久久久久久久| 91国内在线视频| 婷婷五月色综合| 日韩在线视频观看正片免费网站| 日韩中文在线视频| 午夜精品在线视频| 日韩视频精品在线| 欧美一区二区三区精美影视| 免费看成人午夜电影| 国产欧美精品aaaaaa片| 国产精品美女免费看| 国产精品色悠悠| 91精品在线看V|