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

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

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