一种从UML模型到可靠性分析模型Markov链的转换方法
软件开发早期对可靠性进行分析对于构造满足可靠性需求的软件有着重要的作用。软件模型是软件开发早期最主要的制品，它与可靠性分析所用的数学模型之间在语法和语义上存在较大差异。为了避免额外地要求设计人员掌握与可靠性分析方法相关的知识，需要自动地将软件设计模型转换为可靠性分析模型。本文提出了一种将UML模型自动地转换为可靠性分析模型Markov链的方法。该方法从UML的用况图、顺序图、活动图和构件图出发，在模型中标注了可靠性分析所需的信息。在此基础上，通过构造一个被称为构件转移图的中间模型，将标注了可靠性信息的UML模型转换为Markov链。该方法产生的结果能直接作为现有可靠性相关的数学分析方法的输入，从而使可靠性分析工作变得更加高效。
软件可靠性 模型转换 可靠性分析 数学模型 构件图
柳毅 麻志毅 何啸 邵维忠
北京大学 高可信软件技术教育部重点实验室，北京 100871 北京大学 信息科学与技术学院，北京 100871
国内会议
沈阳
中文
271-284
2009-09-22（万方平台首次上网日期，不代表论文的发表时间）