基于uml活动图的软件可靠性预测方法

以构件化的软件开发方法为背景,提出了一种能自动将uml活动图转换为模型markov链的可靠性预测方法。该方法基于构件化的软件体系结构,从uml的活动图和顺序图出发,通过构造一个名为“控制结构转移图”的中间模型,将标注了可靠性信息的uml模型转换为markov链,并通过递归方法自动生成测试路径,然后依据每条路径的可靠性信息来估计整个软件系统的可靠性。转换结果可以直接被现有分析方法用来进行软件可靠性预测工作,从而使分析变得高效和模型化。