支持运行监控的可信软件体系结构设计方法-计算机学报.pdfVIP

第卷第期 计 算 机 学 报 ３３ １２ 　 　　　　　　　　 Ｖｏｌ．３３Ｎｏ．１２ 年月 ２０１０１２ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ Ｄｅｃ．２０１０ 　 支持运行监控的可信软件体系结构设计方法 ） ） ） ） ） １ ２ １ １ ２ 文静 王怀民应时倪友聪 王涛 　　 　　　 　　 ） １（武汉大学软件工程国家重点实验室武汉 ） ４３００７２ 　 　 ） ２（国防科学技术大学计算机学院网络与信息安全研究所长沙 ） ４１００７３ 　 　 摘要 ， ， 、 近年来软件的可信性成为软件质量的焦点对软件可信性的分析度量和应用支撑成为热点问题对软 ． 　　 件实施有效的监控是提升软件可信性的一种重要途径然而目前的研究工作主要集中在软件编码以及相关技术的 ． 实现层，缺乏一套系统的软件体系结构设计方法以指导、支持运行监控的可信软件的分析和设计通过引入面向侧 ． 面的软件体系结构设计方法及其相关概念，文中提出一种支持运行监控的可信软件体系结构设计方法在支持运 ． ， 行监控的可信软件构造模型 的基础上利用一种面向侧面的体系结构描述语言 描述具有监控能 ＴＳＣＭ ＡＣ２ＡＤＬ 力的软件体系结构，试图为分析和设计具有监控能力的系统的软件体系结构提供一种有效的解决方案通过结合 ． ， 网上拍卖系统的案例展示该方法的主要步骤和结果讨论了研究中存在的问题和进一步的工作． 关键词 ； ； ； 面向侧面的体系结构描述语言面向侧面的软件开发方法支持运行监控的可信软件构造模型软件工 　 ； 程可信软件开发 中图法分类号 号： ／