Computer Science ›› 2015, Vol. 42 ›› Issue (Z6): 531-536, 560.

Previous Articles     Next Articles

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

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] LEI Li-hui and WANG Jing. Parallelization of LTL Model Checking Based on Possibility Measure[J]. Computer Science, 2018, 45(4): 71 -75, 88 .
[2] XIA Qing-xun and ZHUANG Yi. Remote Attestation Mechanism Based on Locality Principle[J]. Computer Science, 2018, 45(4): 148 -151, 162 .
[3] LI Bai-shen, LI Ling-zhi, SUN Yong and ZHU Yan-qin. Intranet Defense Algorithm Based on Pseudo Boosting Decision Tree[J]. Computer Science, 2018, 45(4): 157 -162 .
[4] WANG Huan, ZHANG Yun-feng and ZHANG Yan. Rapid Decision Method for Repairing Sequence Based on CFDs[J]. Computer Science, 2018, 45(3): 311 -316 .
[5] SUN Qi, JIN Yan, HE Kun and XU Ling-xuan. Hybrid Evolutionary Algorithm for Solving Mixed Capacitated General Routing Problem[J]. Computer Science, 2018, 45(4): 76 -82 .
[6] ZHANG Jia-nan and XIAO Ming-yu. Approximation Algorithm for Weighted Mixed Domination Problem[J]. Computer Science, 2018, 45(4): 83 -88 .
[7] WU Jian-hui, HUANG Zhong-xiang, LI Wu, WU Jian-hui, PENG Xin and ZHANG Sheng. Robustness Optimization of Sequence Decision in Urban Road Construction[J]. Computer Science, 2018, 45(4): 89 -93 .
[8] LIU Qin. Study on Data Quality Based on Constraint in Computer Forensics[J]. Computer Science, 2018, 45(4): 169 -172 .
[9] ZHONG Fei and YANG Bin. License Plate Detection Based on Principal Component Analysis Network[J]. Computer Science, 2018, 45(3): 268 -273 .
[10] SHI Wen-jun, WU Ji-gang and LUO Yu-chun. Fast and Efficient Scheduling Algorithms for Mobile Cloud Offloading[J]. Computer Science, 2018, 45(4): 94 -99, 116 .