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