面向可信软件风险管理模型研究.docVIP

面向可信软件风险管理模型研究 　　收稿日期：2007-12-14；修回日期：2008-03-12 　　基金项目：国家自然科学基金资助项目；重庆市科技攻关基金资助项目（CSTC, 2007AC2039）；重庆市自然科学基金资助项目（CSTC, 2007BB6106） 　　 　　作者简介：杨洁（1973-），女，博士研究生，主要研究方向为生产制造管理、风险管理（yangjie5581@163.com）；杨育（1971-），男，教授，博导，主要研究方向为系统建模与仿真、制造系统工程等?豹?* 　　 　　(1.重庆大学 机械工程学院，重庆 400030；2.重庆通信学院，重庆 400035；3.华北电力大学，河北 保定 071003) 　　摘 要：进行了面向可信软件的风险管理模型的研究。首先采用贝叶斯信仰网络对影响软件可信性的风险进行了分析；其次，建立了基于约束满足的风险控制模型。该软件项目风险管理研究为提高软件质量，实现软件的可信性提供了新思路。 　　关键词：软件可信性；风险管理；贝叶斯信仰网络；约束满足 　　中图分类号：TP311 　　文献标志码：A 　　文章编号：1001-3695(2008)10-3010-02 　　Research for model of risk management oriented to reliability soft 　　YANG Jie1，2， YANG Yu1，WANG Xiao-lei1，3 　　(1.College of Mechanical Engineering, Chongqing University，Chongqing 400030，China; 2.Chongqing Communication College, Chongqing 400035，China；3. North China Electric Power University，Baoding Hebei 071003, China) 　　Abstract:This paper suggested a risk management model oriented to reliability soft. Firstly，used the Bayesian belief networks(BBN)，the risks which had influenced the reliability of soft were analyzed. Secondly，established a risk control model based on constraint satisfaction. The research on soft project risk management provided a new method for improving the quality and reliability of soft. 　　Key words：soft reliability; risk management; Bayesian belief networks (BBN); constraint satisfaction 　　 　　 　　目前，软件质量还不能完全达到软件可信性的要求。可信软件的研究工作大多从安全性分析等技术方面保障和提高软件的可信性[1]。但是，当软件开发规模大幅度增加、软件开发环境复杂化以及软件运行环境急剧恶化时，软件可信性面临着更加严峻的挑战，通过技术手段来提高软件的可信性变得非常困难。开发高质量可信软件的根本问题不仅在于是否使用新的技术，更在于开发过程中是否采用科学的风险管理标准[1~3]，尤其还需要解决可信软件开发过程中的风险管理与过程优化问题。因此，加强可信软件开发过程中的风险管理以提高软件质量与可信性是亟待解决的重要问题。 　　1 贝叶斯信仰网络(BBN) 　　在不确定性的决策支持研究领域，BBN近年来受到了极大的关注[4,5]。BBN的基本理论（如贝叶斯概率）已存在较长时间，而其算法和相关软件工具在近年来才被运用起来。贝叶斯信仰网络由具有一系列条件概率表的非周期性图表组成。BBN中的节点代表随机变量，它的状态通常用离散数字或数据段来表示。弧代表变量之间的因果关系。条件概率表(CPT)与每个节点相联系，并表示出节点间的相互作用而产生对某个指标的影响概率。其中，如果变量A具有父节点B??1,B??2,…,B??n，在CPT中其节点将被赋值为P(A|B??1,B??2,…,B??n)。同时可以利用专家的经验来填写CPTs中的数据。例如当BBN的根节点是未知数时，专家们通常对这些根节点均匀分配以分布概率。而不确定性决策支持过程中获得新数据