基于扩展顺序图的多风格软件可靠性分析方法  

Analysis method for multi-style software reliability based on extended sequence diagram

作　　者：陆阳[1,2] 岳峰[1] 王强[1] 吴雷[1] 

机构地区：[1]合肥工业大学计算机与信息学院,合肥230009 [2]安徽省矿山物联网与安全监控技术重点实验室,合肥230088

出　　处：《电子测量与仪器学报》2012年第7期577-585,共9页Journal of Electronic Measurement and Instrumentation

基　　金：国家自然科学基金项目(61070220);高等学校博士学科点专项科研基金项目(20090111110002)

摘　　要：传统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.

关 键 词：软件可靠性 离散时间Markov链 顺序图 构件软件 软件结构风格 

分 类 号：TP302[自动化与计算机技术—计算机系统结构] TN9[自动化与计算机技术—计算机科学与技术]