基于Bayesian网络的软件开发模型

在这篇论文中,阐述了用贝叶斯信任网络(Bayesian Belief Networks:BBN)进行软件建模的方法,提出了基于BBN软件开发模型,该模型能够表示软件过程的主要活动,给出了如何构建BBN开发模型的步骤,在定义要求控制和计划的关键工作流时该模型能支持专家意见,这种模型能够应对软件开发过程的迭代特性,并对开发过程中的每一步都会渐近产生精确评估,根据其结构可对每一个工作流的整体结果做出评估。

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

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