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