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

Research for Markov chain modeling based on UML. Computer Engineering and Applications

作　　者：靖天才 方景龙[1] 魏丹 

机构地区：[1]杭州电子科技大学计算机学院复杂系统建模与仿真教育部重点实验室,杭州310018

出　　处：《计算机工程与应用》2018年第4期60-65,134,共7页Computer Engineering and Applications

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

关 键 词：可靠性测试 UML模型 嵌套组合片段 MARKOV链 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]