-
题名支持运行监控的可信软件体系结构设计方法
被引量：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
-
-
作者
李晓英
-
机构
杜伊斯堡-艾森大学
-
出处
《信息安全与技术》
2014年第11期3-5,共3页
-
文摘
在信息科学时代,现代社会的发展日益依赖软件,实现可信软件的开发在一定程度上契合现代社会的需求,也是自身发展的内部需求。但是,可信软件的开发是一个系统而复杂的过程,强调可信软件开发中各方工作的有效落实。本文分析了可信软件的研究现状,阐述了软件架构与开发,并基于此,论述了强化软件架构,开发可信软件的若干建议。本文旨在强化对可信软件的认识,并为今后相关领域的研究提供一定的参考资料。
-
关键词
软件工程
可信软件
开发
问题
-
Keywords
software engineering
trusted software
development
problem
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
