论文部分内容阅读
随着网络通讯与计算机应用的不断发展，软件可靠性问题日益受到关注。针对更新COTS或开源组建，提供了一种定量评估软件可靠性的方法模型。该模型结合了静态分析源代码方法，对执行路径进行有限测试，并建立贝叶斯信任网络，构建一个综合的软件可靠性度量模型。最后使用STREW[1]工具对3个开源程序进行实验验证，得到了实验结果，证明模型有效。