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

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

基于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   
[1] 雷丽晖,王静. 可能性测度下的LTL模型检测并行化研究[J]. 计算机科学, 2018, 45(4): 71 -75, 88 .
[2] 夏庆勋,庄毅. 一种基于局部性原理的远程验证机制[J]. 计算机科学, 2018, 45(4): 148 -151, 162 .
[3] 厉柏伸,李领治,孙涌,朱艳琴. 基于伪梯度提升决策树的内网防御算法[J]. 计算机科学, 2018, 45(4): 157 -162 .
[4] 王欢,张云峰,张艳. 一种基于CFDs规则的修复序列快速判定方法[J]. 计算机科学, 2018, 45(3): 311 -316 .
[5] 孙启,金燕,何琨,徐凌轩. 用于求解混合车辆路径问题的混合进化算法[J]. 计算机科学, 2018, 45(4): 76 -82 .
[6] 张佳男,肖鸣宇. 带权混合支配问题的近似算法研究[J]. 计算机科学, 2018, 45(4): 83 -88 .
[7] 伍建辉,黄中祥,李武,吴健辉,彭鑫,张生. 城市道路建设时序决策的鲁棒优化[J]. 计算机科学, 2018, 45(4): 89 -93 .
[8] 刘琴. 计算机取证过程中基于约束的数据质量问题研究[J]. 计算机科学, 2018, 45(4): 169 -172 .
[9] 钟菲,杨斌. 基于主成分分析网络的车牌检测方法[J]. 计算机科学, 2018, 45(3): 268 -273 .
[10] 史雯隽,武继刚,罗裕春. 针对移动云计算任务迁移的快速高效调度算法[J]. 计算机科学, 2018, 45(4): 94 -99, 116 .