关键词: 可靠性测试, 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