-
题名支持运行监控的可信软件体系结构设计方法
被引量：13
- 1
-
-
作者
文静
王怀民
应时
倪友聪
王涛
-
机构
武汉大学软件工程国家重点实验室
国防科学技术大学计算机学院网络与信息安全研究所
-
出处
《计算机学报》
EI
CSCD
北大核心
2010年第12期2321-2334,共14页
-
基金
国家"八六三"高技术研究发展计划项目基金(2003AA142O1O
2006AA01Z168)
国家自然科学基金(60773006)资助
-
文摘
近年来,软件的可信性成为软件质量的焦点,对软件可信性的分析、度量和应用支撑成为热点问题.对软件实施有效的监控是提升软件可信性的一种重要途径.然而目前的研究工作主要集中在软件编码以及相关技术的实现层,缺乏一套系统的软件体系结构设计方法以指导、支持运行监控的可信软件的分析和设计.通过引入面向侧面的软件体系结构设计方法及其相关概念,文中提出一种支持运行监控的可信软件体系结构设计方法.在支持运行监控的可信软件构造模型TSCM的基础上,利用一种面向侧面的体系结构描述语言AC2-ADL描述具有监控能力的软件体系结构,试图为分析和设计具有监控能力的系统的软件体系结构提供一种有效的解决方案.通过结合网上拍卖系统的案例展示该方法的主要步骤和结果,讨论了研究中存在的问题和进一步的工作.
-
关键词
面向侧面的体系结构描述语言
面向侧面的软件开发方法
支持运行监控的可信软件构造模型
软件工程
可信软件开发
-
Keywords
aspect-oriented architecture description language
aspect-oriented software architecture design
trusted software constitution model based on monitoring
software engineering
trusted software development
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于监控的可信网构软件构造方法建模
被引量：2
- 2
-
-
作者
闫桂玲
-
机构
九江学院信息科学与技术学院
-
出处
《计算机工程与科学》
CSCD
北大核心
2013年第2期142-146,共5页
-
文摘
网构软件是一种面向网络环境的新型软件形态,其构建依赖于对开放、动态和多变环境中各网络节点软件实体之间的有效协同,然而,目前的软件构造方法都是基于静态可信,即:都是研究软件制造过程中的可信度,一旦软件制作完成,在运行过程中,软件的可信度是否会改变就不在研究范围之内。针对网构软件的开放、动态和多变特性,设计了一种基于监控的可信网构软件构造模型,该模型随着网构软件的运行,随时根据网络节点状态等相关因素动态评估网构软件的可信度,并根据监测结果改进网构软件和监控参数,为网构软件提供动态可信支持,并逐步提高网构软件的可信度。
-
关键词
网构软件
可信度
软件监控
软件构造模型
-
Keywords
internet ware；trusted degree；software monitoring；model for tectonic software
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
