| 形式化規(guī)范在軟件可靠性早期估計中的應用研究 | |
| 所屬分類：解決方案 | |
| 上傳者：aet | |
| 文檔大小：234 K | |
| 標簽： 軟件 | |
| 所需積分：0分積分不夠怎么辦？ | |
| 文檔介紹：隨著軟件的廣泛應用，特別是軟件在尖端領域的應用，軟件可靠性成為一個非常重要的問題。形式化規(guī)范在軟件可靠性研究中能夠起到的作用是多方面的。本文針對非形式化統(tǒng)計使用測試的不足，結合已有的早期可靠性估計方法，設計了優(yōu)化算法，并提出了即使在設計中采用了形式化規(guī)范仍然需要測試的結論。 | |
| 現(xiàn)在下載 | |
| VIP會員，AET專家下載不扣分；重復下載不扣分，本人上傳資源不扣分。 | |
Copyright ? 2005-2024 華北計算機系統(tǒng)工程研究所版權所有 京ICP備10017138號-2