计算机工程与应用 ›› 2018, Vol. 54 ›› Issue (4): 60-65.DOI: 10.3778/j.issn.1002-8331.1609-0429

• 理论与研发 • 上一篇    下一篇

面向复杂UML的Markov建模方法研究

靖天才,方景龙,魏  丹   

  1. 杭州电子科技大学 计算机学院 复杂系统建模与仿真教育部重点实验室,杭州 310018
  • 出版日期:2018-02-15 发布日期:2018-03-07

Research for Markov chain modeling based on UML

JING Tiancai, FANG Jinglong, WEI Dan   

  1. Education Ministry Key Laboratory of Complex Systems Modeling and Simulation,School of Computer Science, Hangzhou Dianzi University, Hangzhou 310018, China
  • Online:2018-02-15 Published:2018-03-07

摘要: 软件可靠性测试技术是保证软件质量的重要研究内容,尤其是对航空航天、金融机构等高信度复杂软件尤为重要。在现有研究的基础上,针对复杂软件UML模型场景消息粒度过大导致构建的Markov链使用模型描述软件的真实度不够的问题,提出了一种基于多层嵌套组合片段UML模型的Markov链使用模型的构建方法,最后结合实例对研究提出的模型构建方法做出应用分析,说明了算法的可行性,为更有效地构建Markov链使用模型提供了指导。

关键词: 可靠性测试, UML模型, 嵌套组合片段, Markov链

Abstract: Software reliability testing technology is important to ensure the quality of software, especially for complex soft-
ware, such as software of aerospace and financial institutions. Although some studies have investigated the model chain
usage model to assess the software reliability, the size of scenario messages in the UML model of complex software is too
coarse to fully describe software. To solve this problem, a novel method is proposed to build a Markov chain usage model
from a UML model with nested combination fragments. Then an example is given to illustrate the application and feasibility
of this modeling method, which confirms the effectiveness of the proposed method and provides a guideline of building a
Markov chain usage model.

Key words: reliability testing, UML model, nested combination fragment, Markov chain