计算机科学 ›› 2015, Vol. 42 ›› Issue (Z6): 531-536.

• 软件工程与数据库技术 • 上一篇    下一篇

基于UML活动图的软件可靠性预测方法

苏岳,李蜜,汪文心,张德平   

  1. 南京航空航天大学计算机科学与技术学院 南京210016,南京航空航天大学计算机科学与技术学院 南京210016,南京航空航天大学计算机科学与技术学院 南京210016,南京航空航天大学计算机科学与技术学院 南京210016
  • 出版日期:2018-11-14 发布日期:2018-11-14
  • 基金资助:
    本文受南京航空航天大学计算机科学与技术学院科技创新资助

Software Reliability Prediction Approach Based on UML Activity Diagram

SU Yue, LI Mi, WANG Wen-xin and ZHANG De-ping   

  • Online:2018-11-14 Published:2018-11-14

摘要: 以构件化的软件开发方法为背景,提出了一种能自动将UML活动图转换为模型Markov链的可靠性预测方法。该方法基于构件化的软件体系结构,从UML的活动图和顺序图出发,通过构造一个名为“控制结构转移图”的中间模型,将标注了可靠性信息的UML模型转换为Markov链,并通过递归方法自动生成测试路径,然后依据每条路径的可靠性信息来估计整个软件系统的可靠性。转换结果可以直接被现有分析方法用来进行软件可靠性预测工作,从而使分析变得高效和模型化。

Abstract: In the context of component-based software development,this paper proposed an approach to automatically transform UML activity diagrams of software architecture to Markov chain for the quantitative evaluation of reliability.Based on the component-based software architecture,it utilizes four types of UML diagrams:use case,sequence,activity and component diagrams,extending them and annotating them with reliability related attributes.Then,the diagrams are transformed into a Markov chain based on analysis model by constructing an intermediate model called Component Transition Graph(CTG).Result of this transformation can be directly used in the existing analysis methods to predict software reliability,which facilitates the analysis task of software designer.

Key words: UML model,Markov chain,Software reliability,Model transformation,Path test

[1] Chao-Jung H,Huang Chin-yu.An Adaptive Reliability Analysis Using Path Testing for Complex Component-Based Software Systems[J].IEEE Transactions on Reliability,2011,60(1):158-170
[2] 柳毅,麻志毅,何啸,等.一种从UML模型到可靠性分析模型的转换方法[J].软件学报,2010(2):287-304
[3] 陆文,徐锋,吕建.一种开放环境下的软件可靠性评估方法[J].软件学报,2010,33(3):452-462
[4] Yacoub S,Cukic B,Ammar H H.A scenario-based reliability analysis approach for component-based software[J].IEEE Transactions on Reliability,2004,53(4):465-480
[5] Kundu D,Sarma M,Samanta D.A novel approach to system testing and reliability assessment using use case model[C]∥Proceedings of the 1st India Software Engineering Conference.Hyderabad,India:ACM,2008:147-148
[6] Rodrigues G,Rosenblum D,Uchitel S.Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems[M].Fundamental Approaches to Software Engineering,Cerioli M,Springer Berlin/Heidelberg,2005
[7] Mohanta S,Vinod G,Ghosh A K,et al.An approach for early prediction of software reliability[J].SIGSOFT Softw.Eng.Notes.,2010,35(6):1-9
[8] Cortellessa V,Singh H,Cukic B.Early reliability assessment of UML based software models[C]∥Proceedings of the 3rd International Workshop on Software and Performance.Rome,Italy:ACM,2002:302-309
[9] 颜炯,王戟,陈火旺.基于UML的软件Markov链使用模型构造研究[J].软件学报,2005,16(8):1386-1394
[10] Bhr F.Model Based Statistical Testing and Concurrent Streams of use[C]∥3rd Workshop on Model-based Testing in Practice6th European Conference on Modelling Foundations and Applications(ECMFA 2010).2010:41-50
[11] Luo Y,Ben K.Scenario-Based Early Reliability Model for Distributed Software[C]∥2010 Fifth International Conference on Frontier of Computer Science and Technology.2010:201-207
[12] Cheung L,Roshandel R,Medvidovic N,et al.Early prediction of software component reliability[C]∥Proceedings of the 30th International Conference on Software Engineering.Leipzig,Germany:ACM,2008:111-120
[13] Nayak A,Samanta D.Synthesis of test scenarios using UML activity diagrams[J].Software and Systems Modeling,2011,10(1):63-89
[14] Musa J D.Operational profile in softw are-reliability engineering [J].IEEE Trans Software,1993,10(2):14-32
[15] Ouabdesselam F,Parissis I.Constructing operational profiles for synchronous critical software[C]∥Proceedings of 6th International Symposium on Software Reliability Engineering.Los Alamitos,USA:IEEE Computer Society,1995:286-293
[16] Priya S S.Test Path Generation Using UML Sequence Diagram[J].International Journal of Advanced Research in Computer Science and Software Engineering,2013,3(4):123-134
[17] 张德平,聂长海,徐宝文.软件可靠性评估的重要抽样方法研究[J].软件学报,2009,20(10):2859-2866

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!