首页> 中文期刊>软件学报 >一种从UML模型到可靠性分析模型的转换方法

一种从UML模型到可靠性分析模型的转换方法

     

摘要

以构件化的软件开发方法为背景,提出了一种将UML模型自动地转换为可靠性分析模型Markov链的方法.该方法基于构件化的软件体系结构,从UML的用况图、顺序图、活动图和构件图出发,对其进行扩展,在模型中标注了可靠性分析所需的信息.在此基础上,通过构造一个称为构件转移图的中间模型,将标注了可靠性信息的UML模型转换为Markov链.该方法产生的结果能够直接作为现有可靠性相关的数学分析方法的输入,从而使可靠性分析工作变得更加方便、高效.

著录项

  • 来源
    《软件学报》|2010年第2期|287-304|共18页
  • 作者单位

    北京大学,信息科学技术学院,软件研究所,北京,100871;

    高可信软件技术教育部重点实验室(北京大学),北京,100871;

    北京大学,信息科学技术学院,软件研究所,北京,100871;

    高可信软件技术教育部重点实验室(北京大学),北京,100871;

    北京大学,信息科学技术学院,软件研究所,北京,100871;

    高可信软件技术教育部重点实验室(北京大学),北京,100871;

    北京大学,信息科学技术学院,软件研究所,北京,100871;

    高可信软件技术教育部重点实验室(北京大学),北京,100871;

  • 原文格式 PDF
  • 正文语种 chi
  • 中图分类 程序设计、软件工程;
  • 关键词

    基于构件的软件开发; 软件可靠性; UML; 模型转换; Markov链;

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号