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