邓 绯，王 凯

(1.四川职业技术学院，四川 遂宁 629000;2.西南大学，重庆 北碚 400715)

基于静态分析方法的软件可靠性模型研究

邓 绯1，王 凯2

(1.四川职业技术学院，四川 遂宁 629000;2.西南大学，重庆 北碚 400715)

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

软件可靠性;静态分析;贝叶斯信任网络

0 引言

随着网络通讯与计算机技术的不断发展，软件已渗透到国民经济和国防建设的各个领域。随着软件系统功能的不断增加，其规模和复杂程度也越来越大，软件可靠性日益受到人们的关注，尤其是在航空航天、银行等领域。如果软件可靠性得不到保证，软件系统存在缺陷和漏洞，就会造成许多问题和故障，必然会对国民生活带来不利的影响，甚至造成巨大的损失。

1983年美国IEEE［2］计算机学会对“软件可靠性”作出了定义:(1)在规定条件及时间内，软件不引起系统失效的概率;(2)在规定的时间周期内，在所述条件下程序执行所要求的功能的能力。传统的软件可靠性模型需要在开发和测试期间进行数据收集，包括可靠度R(t)，平均故障前时间MTTF、平均修复时间MTTR、平均故障间隔时间MTBF，失效率，失效强度，容错性等。……