支持运行监控的可信软件体系结构设计方法

作者：文静; 王怀民; 应时; 倪友聪; 王涛

来源：计算机学报, 2010, 33(12): 2321-2334.

• 面向侧面的体系结构描述语言
• 面向侧面的软件开发方法
• 支持运行监控的可信软件构造模型
• 软件工程
• 可信软件开发 aspect-oriented architecture description language
• aspect-oriented software architecture design
• trusted software constitution model based on monitoring
• software engineering
• trusted software development

近年来,软件的可信性成为软件质量的焦点,对软件可信性的分析、度量和应用支撑成为热点问题.对软件实施有效的监控是提升软件可信性的一种重要途径.然而目前的研究工作主要集中在软件编码以及相关技术的实现层,缺乏一套系统的软件体系结构设计方法以指导、支持运行监控的可信软件的分析和设计.通过引入面向侧面的软件体系结构设计方法及其相关概念,文中提出一种支持运行监控的可信软件体系结构设计方法.在支持运行监控的可信软件构造模型TSCM的基础上,利用一种面向侧面的体系结构描述语言AC2-ADL描述具有监控能力的软件体系结构,试图为分析和设计具有监控能力的系统的软件体系结构提供一种有效的解决方案.通过结合网上拍卖系...

• 单位
  武汉大学; 国防科学技术大学计算机学院; 软件工程国家重点实验室