资源描述:
《支持运行监控的可信软件体系结构设计方法_文静》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、第33卷第12期计算机学报Vol.33No.122010年12月CHINESEJOURNALOFCOMPUTERSDec.2010支持运行监控的可信软件体系结构设计方法1)2)1)1)2)文静王怀民应时倪友聪王涛1)(武汉大学软件工程国家重点实验室武汉430072)2)(国防科学技术大学计算机学院网络与信息安全研究所长沙410073)摘要近年来,软件的可信性成为软件质量的焦点,对软件可信性的分析、度量和应用支撑成为热点问题.对软件实施有效的监控是提升软件可信性的一种重要途径.然而目前的研究工作主要集中在软件编码以及相关技术的实现
2、层,缺乏一套系统的软件体系结构设计方法以指导、支持运行监控的可信软件的分析和设计.通过引入面向侧面的软件体系结构设计方法及其相关概念,文中提出一种支持运行监控的可信软件体系结构设计方法.在支持运行监控的可信软件构造模型TSCM的基础上,利用一种面向侧面的体系结构描述语言AC2-ADL描述具有监控能力的软件体系结构,试图为分析和设计具有监控能力的系统的软件体系结构提供一种有效的解决方案.通过结合网上拍卖系统的案例展示该方法的主要步骤和结果,讨论了研究中存在的问题和进一步的工作.关键词面向侧面的体系结构描述语言;面向侧面的软件开发方
3、法;支持运行监控的可信软件构造模型;软件工程;可信软件开发中图法分类号TP311DOI号:10.3724/SP.J.1016.2010.02321TowardaSoftwareArchitecturalDesignApproachforTrustedSoftwareBasedonMonitoring1)2)1)1)2)WENJingWANGHuai-MinYINGShiNIYou-CongWANGTao1)(StateKeyLaboratoryofSoftwareEngineering,WuhanUniversity,Wuhan
4、430072)2)(InstituteofNetworkTechnologyandInformationSecurity,SchoolofComputer,NationalUniversityofDefenseTechnology,Changsha410073)AbstractNowadays,thetrustworthinesshasbecomethenoticedfocusinqualitiesofsoftware,whichemphasizesanalysis,measurement,correspondingapplic
5、ationsandsupportenvironmentsforthetrustworthinessquality.Injectingmonitoringcapacityintosoftwarecanbeoneoftheap-proachestoimprovethecredibilityofsoftware.However,thecurrentworkprimarilyconcen-tratesontheprogrammingandcodinglevel,lackingasystematicarchitecturaldesigna
6、pproachtoguidethewholedesignandanalysisprocessforthetrustedsoftware.Byintroducingaspect-orien-tedarchitecturaldesignapproachandrelevanttechniquesintothedesignandanalysisofsoftware,thispapertriestoofferaneffectiveandsystematicsolutionforthetrustedsoftwaresystem.Basedo
7、ntrustedsoftwareconstitutionmodelwiththecapabilityofmonitoring,theproposedap-proachutilizesaspecialkindofaspect-orientedarchitecturedescriptionlanguageAC2-ADLtode-pictsuchsoftwaresystem,contributingtocomprehension,evolutionandreusabilityofsoftwarearchitecturaldesignd
8、ecisions.Summarily,thewholedesigningprocessoftheapproachisdis-cussedsystematicallythroughacasestudyine-businessdomain.收稿日期:2008-11-