形式化规范在软件可靠性早期估计中的应用研究
所屬分類：解决方案
上傳者：aet
文檔大小：234 K
標簽： 软件
所需積分：0分積分不夠怎么辦？
文檔介紹：随着软件的广泛应用，特别是软件在尖端领域的应用，软件可靠性成为一个非常重要的问题。形式化规范在软件可靠性研究中能够起到的作用是多方面的。本文针对非形式化统计使用测试的不足，结合已有的早期可靠性估计方法，设计了优化算法，并提出了即使在设计中采用了形式化规范仍然需要测试的结论。
現(xiàn)在下載
VIP會員，AET專家下載不扣分；重復下載不扣分，本人上傳資源不扣分。