摘要
随着网络通讯与计算机应用的不断发展,软件可靠性问题日益受到关注。针对更新COTS或开源组建,提供了一种定量评估软件可靠性的方法模型。该模型结合了静态分析源代码方法,对执行路径进行有限测试,并建立贝叶斯信任网络,构建一个综合的软件可靠性度量模型。最后使用STREW\[1\]工具对3个开源程序进行实验验证,得到了实验结果,证明模型有效。
Along with the network communication and the continuous development of computer applications, software reliability has attracted increasing attention. This paper proposes a methodology model for quantitative evaluation of software reliability in updated COTS or open source components. Combining with the static analysis of the source code, the model tests the execution paths limitedly, as well as sets up Bayesian Belief Networks to provide a comprehensive software reliability measurement model. Finally it uses STREW [ 1 ] to give the three open source programs experimental verification and the experiment results are attained. The model is proved to be effective.
出处
《长春大学学报》
2012年第8期937-940,共4页
Journal of Changchun University
关键词
软件可靠性
静态分析
贝叶斯信任网络
software reliability
static analysis
Bayesian Belief Networks
