形式化規范在軟件可靠性早期估計中的應用研究
所屬分類：解決方案
上傳者：aet
文檔大小：234 K
標簽： 軟件
所需積分：0分積分不夠怎么辦？
文檔介紹：隨著軟件的廣泛應用，特別是軟件在尖端領域的應用，軟件可靠性成為一個非常重要的問題。形式化規范在軟件可靠性研究中能夠起到的作用是多方面的。本文針對非形式化統計使用測試的不足，結合已有的早期可靠性估計方法，設計了優化算法，并提出了即使在設計中采用了形式化規范仍然需要測試的結論。
現在下載
VIP會員，AET專家下載不扣分；重復下載不扣分，本人上傳資源不扣分。
主站蜘蛛池模板： 中国一级特黄aa毛片大片| 五月综合色婷婷影院在线观看| 综合亚洲欧美日韩一区二区| 国产大片黄在线播放| 91在线你懂的| 天天做天天爱夜夜爽| 一本色道久久88综合日韩精品| 无遮挡边吃摸边吃奶边做| 久久精品亚洲综合专区| 欧美jizz40性欧美| 亚洲成av人片在线观看无码| 99re最新地址精品视频| 少妇群交换BD高清国语版| 中文字幕在线精品| 欧美性视频18~19| 亚洲第一综合天堂另类专| 男女免费观看在线爽爽爽视频| 又粗又黄又猛又爽大片免费| 色人阁在线视频| 国产一级精品高清一级毛片| 都市激情亚洲色图| 国产天堂在线一区二区三区| 五月天综合网站| 国产精品va在线观看无码| 制服丝袜一区在线| 国产精品成人h片在线| 一区二区三区在线免费| 成人欧美在线视频| 中文字幕在线第二页| 成在线人AV免费无码高潮喷水 | MM1313亚洲精品无码| 奇米四色77777| 久久波多野结衣| 最猛91大神ben与女教师| 亚洲人配人种jizz| 欧美乱妇在线观看| 亚洲伊人久久网| 欧美va天堂在线电影| 亚洲va久久久噜噜噜久久狠狠| 欧美交性a视频免费| 亚洲伊人成无码综合网|