资源描述:
《基于构件软件的可靠性通用模型》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库。
1、1000-9825/2004/15(01)0027©2004JournalofSoftware软件学报Vol.15,No.1∗基于构件软件的可靠性通用模型+毛晓光,邓勇进(国防科学技术大学计算机学院,湖南长沙410073)AGeneralModelforComponent-BasedSoftwareReliability+MAOXiao-Guang,DENGYong-Jin(SchoolofComputer,NationalUniversityofDefenseTechnology,Changsha410073,China)+Correspondingauthor:Phn:+8
2、6-731-4573673,Fax:+86-731-4573637,E-mail:xgmao@nudt.edu.cn,http://www.nudt.edu.cnReceived2003-01-09;Accepted2003-06-30MaoXG,DengYJ.Ageneralmodelforcomponent-basedsoftwarereliability.JournalofSoftware,2004,15(1):27~32.http://www.jos.org.cn/1000-9825/15/27.htmAbstract:Theapproachofaggregatingc
3、omponentsintocomplexsoftwaresystemsismaturingwiththerapiddevelopmentofcomponenttechnology.Howtoanalyzesoftwarereliabilityfromsystemarchitectureandcomponents’reliabilitiesshouldbeanswered.Softwareisstatic,whiledevelopmentprocessisdynamic.Toenablereliabilitytracingthroughadynamicprocess,thispa
4、perpresentsageneralmodelforcomponent-basedsoftwarereliability-componentprobabilitytransitiondiagram-basedonfunctionabstractions.Differentfromotherrelatedworkemphasizingonmathematicalmodeling,themodelpresentedherefocusesonreliabilitytracingthroughthedynamicdevelopmentprocess.Keywords:componen
5、t-basedsoftware;softwarecomponent;softwarereliability;model摘要:随着软构件技术的快速发展,聚集软构件设计复杂软件系统的软件开发方法日趋成熟.如何利用系统架构和软构件的可靠性分析软件系统的可靠性成为一个亟待解决的问题.软件是静态的,而开发过程是动态的.为了在动态的开发过程中跟踪可靠性,以函数抽象为基础,提出了基于构件软件的一个可靠性通用模型——构件概率迁移图.与偏重于数学建模的相关工作不同,该模型更关注于动态开发过程中的可靠性跟踪.关键词:基于构件软件;软构件;软件可靠性;模型中图法分类号:TP311文献标识码:A随着软
6、构件技术的快速发展,聚集软构件设计大型复杂软件系统的软件开发方法日趋成熟.但是,目前的工[1]作更多地集中在软构件开发以及软构件的复用技术等方面,而互补的可靠性等质量方面则较少得到关注.如何利用系统架构和软构件的可靠性估计软件系统的可靠性成为一个亟待解决的问题.∗SupportedbytheNationalNaturalScienceFoundationofChinaunderGrantNo.60233020(国家自然科学基金);theNationalHigh-TechResearchandDevelopmentPlanofChinaunderGrantNo.2001AA113
7、190(国家高技术研究发展计划(863))作者简介:毛晓光(1970-),男,浙江江山人,博士,副教授,主要研究领域为软件可靠性,软件工程;邓勇进(1976-),男,助教,主要研究领域为软件工程.28JournalofSoftware软件学报2004,15(1)[2]通常,软件系统的可靠性评估方法主要有3类:基于操作剖面的模型、基于状态的模型和基于路径的模型.基于操作剖面的模型基础是用户使用软件的操作及其频率信息.基于状态的模型通常假设软件的控制转移具有Markov性质,但基于构件的软件系统