一种从UML模型到可靠性分析模型Markov链的转换方法 | |
柳毅 ; 麻志毅 ; 何啸 ; 邵维忠 | |
2009 | |
关键词 | 软件可靠性 模型转换 可靠性分析 数学模型 构件图 |
英文摘要 | 软件开发早期对可靠性进行分析对于构造满足可靠性需求的软件有着重要的作用。软件模型是软件开发早期最主要的制品,它与可靠性分析所用的数学模型之间在语法和语义上存在较大差异。为了避免额外地要求设计人员掌握与可靠性分析方法相关的知识,需要自动地将软件设计模型转换为可靠性分析模型。本文提出了一种将UML模型自动地转换为可靠性分析模型Markov链的方法。该方法从UML的用况图、顺序图、活动图和构件图出发,在模型中标注了可靠性分析所需的信息。在此基础上,通过构造一个被称为构件转移图的中间模型,将标注了可靠性信息的UML模型转换为Markov链。该方法产生的结果能直接作为现有可靠性相关的数学分析方法的输入,从而使可靠性分析工作变得更加高效。; 0 |
语种 | 中文 |
内容类型 | 其他 |
源URL | [http://ir.pku.edu.cn/handle/20.500.11897/273696] ![]() |
专题 | 信息科学技术学院 |
推荐引用方式 GB/T 7714 | 柳毅,麻志毅,何啸,等. 一种从UML模型到可靠性分析模型Markov链的转换方法. 2009-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论