期刊文献+

异构软件体系结构的可靠性模型 被引量:2

Heterogeneous architecture-based software reliability model
下载PDF
导出
摘要 现有基于软件体系结构的可靠性模型只适用于符合马尔可夫过程的软件构件转移关系,而当构件间存在由确定性和随机性转移关系组成的异构结构时,仍按照马尔可夫过程对软件体系结构建模,会导致可靠性评估结果不准确。为了解决现有模型不适用于异构结构的问题,在分析构件转移关系基础上,提出了一个新的软件可靠性模型。基于软件UML顺序图,提出将异构软件结构转换为马尔可夫链的算法。通过对一个实例的可靠性评估,验证了新模型能够比现有模型获得更准确的评估结果。 The application of existing architecture-based software reliability models is strictly limited to software component transitions satisfying Markov properties.When software has heterogeneous architecture which contains both deterministic and probabilistic transitions,these models intentionally model it as a Markov process.The loss of accuracy of reliability estimation comes as a result.In order to resolve heterogeneous software architectures,a new reliability model is presented based on analysis of component transitions.An algorithm generating Markov chain from heterogeneous software architecture modeled in UML sequence diagram is proposed.A case study shows the new model can yield more accurate reliability estimation result than existing models.
出处 《计算机工程与应用》 CSCD 北大核心 2009年第21期1-4,28,共5页 Computer Engineering and Applications
基金 国家部委预研项目
关键词 软件可靠性 软件体系结构 异构软件体系结构 马尔可夫链 UML顺序图 software reliability software architecture heterogeneous architecture Markov chain UML sequence diagram
  • 相关文献

参考文献10

  • 1Goseva-Popstojanova K,Trivedi K S.Architecture-basod approach to reliability assessment of software systems[J].Pedormance Evaluation Journal,2001,45(2):179-204. 被引量:1
  • 2Gokhale S.Architecture-based software reliability analysis:overview and limitations[J].IEEE Transactions on Dependable and Secure Computing,2007,4(1):32-40. 被引量:1
  • 3Cheung R C.A user-oriented software reliability model[J].IEEE Transactions on Software engineering,1980,6(2):118-125. 被引量:1
  • 4Wang W,Pan D,Chen M H.Architecture-based software reliability modeling[J]Journal of Systems and Software,2006,79(1):132-146. 被引量:1
  • 5Gokhale S,Wong W E,Trivedi K S,et al.An analytical approach to architecture based software reliability prediction[C]//Proceedings of the Third International Computer Performance and Dependability Symposium,Durham,USA,1998:13-22. 被引量:1
  • 6Yacoub S,Cukic B,Armmar H.Scenario-based reliability analysis of component-based software[C]//Proceedings of the 10th International Symposium on Software Reliability Engineering,Baco Raton,Florida,1999:22-31. 被引量:1
  • 7曾声奎等编著..系统可靠性设计分析教程[M].北京:北京航空航天大学出版社,2001:264.
  • 8GRADY B,JAMES R,IVAR J.UML用户指南[M].邵维忠,麻志毅,张文娟,等译.北京:机械工业出版社,2001. 被引量:2
  • 9颜炯,王戟,陈火旺.基于UML的软件Markov链使用模型构造研究[J].软件学报,2005,16(8):1386-1394. 被引量:29
  • 10Wang W,Chen M H.Heterogeneous Software Reliability Modeling[C]// Proceedings of the 13th International Symposium on Software Reliability Engineering,Annapolis,USA,2002:41-52. 被引量:1

二级参考文献13

  • 1Prowell SJ, Trammell CJ, Linger RC, Poore JH. Cleanroom Software Engineering: Technology and Process. Addison-Wesley,1999. 被引量:1
  • 2Yan J, Wang J, Chen HW. Automatic generation of Markov chain usage models from real-time software UML models. In: Ehrich HD, Schewe KD, eds. Proc. of the 4th Int'l Conf. on Quality Software. Los Alamitos: IEEE Computer Society Press, 2004.22-31. 被引量:1
  • 3Binder RV. Testing Object-Oriented Systems: Models, Patterns and Tools. Addison Wesley Longman, Inc., 1999. 被引量:1
  • 4Rumbaugh J, Jacobson I, Booch G. The Unified Modeling Language Reference Manual. Addison Wesley Longman, Inc., 1999. 被引量:1
  • 5Briand L, Labiche Y. A UML-based approach to system testing. Software and System Modeling, 2002,1(1): 10-42. 被引量:1
  • 6Regnell B, Runeson P, Wohlin C. Towards integration of use case modeling and usage-based testing. Journal of Systems and Software, 2000,50(2):117-130. 被引量:1
  • 7Riebisch M, Philippow I, G(o)tze M. UML-Based statistical test case generation. In: Aksit M, Mezini M, Unland R, eds. Proc. of the Int'l Conf. NODe 2002. LNCS 2591, Heidelberg: Springer-Verlag, 2003. 394-411. 被引量:1
  • 8Beyer M, Dulz W, Zhen F. Automated TTCN-3 test case generation by means of UML sequence diagrams and Markov chains. In:Proc. of the 12th Asian Test Symp. Los Alamitos: IEEE Computer Society, 2003. 102-106. 被引量:1
  • 9Douglass BP. Real-Time UML: Developing Efficient Objects for Embedded Systems. 2nd ed., Pearson Education, Inc., 2000. 被引量:1
  • 10Damm W, Harel D. LSCs: Breathing life into message sequence charts. In: Ciancarini P, Fantechi A, Gorrieri R, eds. Proc. of the 3rd Int'l Conf. on Formal Methods for Open Object-Based Distributed Systems. Kluwer Acdemic Publisher, 1999. 293-312. 被引量:1

共引文献29

同被引文献18

  • 1梅宏,申峻嵘.软件体系结构研究进展[J].软件学报,2006,17(6):1257-1275. 被引量:140
  • 2Chao Jungbsu, Huang Chinyu. An adaptive reliability analysis using path testing for complex component-based software system [ J]. IEEE Transactions on Reliability, 2011, 60( 1 ) : 158-170. 被引量:1
  • 3Shooman M. Structural models for software reliability predietion[ C ]//Proceedings of the Second International Conference on Software Engineering. 1976:268-280. 被引量:1
  • 4Cheung R C. A user-oriented software reliability model[ J]. IEEE Transactions on Software Engineering, 1980, 6 (2): 118-125. 被引量:1
  • 5Wang W, Pan D, Chen M H. Architecture-based software reliability modeling[ J]. Journal of Systems and software, 2006, 79 (1) :132-146. 被引量:1
  • 6Yaeoub 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. 被引量:1
  • 7Littlewood B. A semi-Markov model for software reliability with failure costs [ C ]//Proc Syrup Computer Software Engineering. 1976:281-300. 被引量:1
  • 8Laprie J C, Kanoun K. X-ware reliability and availability modeling[ J]. IEEE Transactions on Software Engineering, 1992, 18 (2) :130-147. 被引量:1
  • 9梁军涛,蒋晓原,张海.根据软件体系结构评估软件可靠性[J].应用科学学报,2009,27(3):277-281. 被引量:4
  • 10柳毅,麻志毅,何啸,邵维忠.一种从UML模型到可靠性分析模型的转换方法[J].软件学报,2010,21(2):287-304. 被引量:21

引证文献2

二级引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部