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

被引：13

作者：

文静 ^{[1
]}

王怀民 ^{[2
]}

应时 ^{[1
]}

倪友聪 ^{[1
]}

王涛 ^{[2
]}

机构：

[1] 武汉大学软件工程国家重点实验室

[2] 国防科学技术大学计算机学院网络与信息安全研究所

来源：

计算机学报 | 2010年 / 33卷 / 12期

关键词：

面向侧面的体系结构描述语言; 面向侧面的软件开发方法; 支持运行监控的可信软件构造模型; 软件工程; 可信软件开发;

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

081202 ; 0835 ;

摘要：

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

引用

页码：2321 / 2334

页数：14

共 7 条

[1] 一种软件体系结构关注点多维分离模型 [J].