体系结构驱动的可信软件构造方法与技术研究

项目名称： 体系结构驱动的可信软件构造方法与技术研究

项目编号： No.91118004

项目类型： 重大研究计划

立项/批准年度： 2012

项目学科： 计算机科学学科

项目作者： 梅宏

作者单位： 北京大学

项目金额： 300万元

中文摘要： 运行于网络环境下的软件系统日益复杂，其可信问题也愈加突出。如何构造可信软件，使其运行行为和结果符合预期，是一个极具挑战性的问题。本课题以基于构件和面向服务的网络软件系统为研究对象，以使用视角的综合化可信性保障为目标，以软件体系结构作为核心制品控制软件系统的多重复杂性，建立贯穿软件设计、实现和部署阶段的正向保障机制，预测、验证和消解软件系统潜在的威胁、隐患和冲突。课题主要研究内容包括：研究新型网络软件体系结构模型及设计方法；研究正确性（Correctness）、可靠性（Reliability）、安全性（Security）和性能（Performance）等可信属性的规约、度量和评估方法；研究基于体系结构的综合化可信分析与验证方法；研究基于体系结构的组装与部署方法；研究基于体系结构的可信保障机制的规约、配置和实施策略；研制相应的支撑工具和平台；结合实际应用系统进行验证。

中文关键词： 可信软件；软件构造方法；软件体系结构；基于构件；面向服务

英文摘要：

英文关键词： high-confidence software；software construction；software architecture；component-based；service-oriented