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