形式化规范在软件可靠性早期估计中的应用研究AET-电子技术应用-最丰富的电子设计资源平台

形式化规范在软件可靠性早期估计中的应用研究
所属分类：解决方案
上传者：aet
文档大小：234 K
标签：软件
所需积分：0分积分不够怎么办？
文档介绍：随着软件的广泛应用，特别是软件在尖端领域的应用，软件可靠性成为一个非常重要的问题。形式化规范在软件可靠性研究中能够起到的作用是多方面的。本文针对非形式化统计使用测试的不足，结合已有的早期可靠性估计方法，设计了优化算法，并提出了即使在设计中采用了形式化规范仍然需要测试的结论。
现在下载
VIP会员，AET专家下载不扣分；重复下载不扣分，本人上传资源不扣分。