中文摘要：

传统UML顺序图模型在描述软件结构风格多样性方面存在不足,并且与基于离散时间Markov链的软件可靠性分析模型DTMC之间也存在差异。提出了一种基于扩展顺序图的多风格软件可靠性分析方法。首先通过分析不同软件结构风格的组成原理给出了对应的可靠性计算方法,然后通过对顺序图模型进行形式化扩展,使之具备了可靠性分析所必需的软件结构信息,最后将扩展的顺序图模型转换为能够处理多风格软件可靠性问题的DTMC模型。实例分析表明,这种模型和方法可以使得软件开发早期的可靠性分析工作变得更加方便、高效、合理。

英文摘要：

Traditional UML sequence diagram exists the shortage in the ability of describing the diversity of soft- ware architecture styles. Also it has some discrepancies from the software reliability analysis models based on Discrete Time Markov Chain （DTMC）. A multi-style software reliability analysis method based on extended sequence diagram is proposed. Firstly, the reliability evaluation methods of the different architecture styles are given by analyzing their corre- sponding composition principles. Secondly, the sequence diagram is expended formally for containing the necessary structural information for reliability analysis. Finally, the extended sequence diagrams are transformed into the reliability analysis model DTMC. Through the analysis of examples, the model and the method proposed in this paper can make the work of analyzing the software reliability more convenient, efficient and reasonable in the early stage of software devel- opment.