重大研究计划可信软件基础研究

《重大研究计划可信软件基础研究》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、附件：重大研究计划“可信软件基础研究”2008年度项目指南本重大研究计划的宗旨是：以国家关键应用领域中软件可信性问题为主攻目标，分析、研究和解决相关科学问题，在嵌入式软件和网络应用软件中开展示范应用，为改善国家重大工程中的软件可信性提供科学支撑。一、科学目标针对国家信息化发展和重大工程应用对可信软件的战略需求，采用理论研究和实证研究相结合的方法，揭示软件可信和环境可信失效、度量和演化的基本规律，建立可信软件及其环境构造与验证、演化与控制的方法和关键技术体系，研究可信软件开发工具和运行支撑平台及环境，并在典型的嵌入式软件和网络应用软件中进行验证和示范，促进软件从传统的单一度量理论到综合性

2、的可信度量理论及其构造方法的集成升华，提高我国在可信软件领域的原始创新能力和国际影响力，为国家相关重大计划和工程的可信软件研发提供科学支撑，培养一批高水平的研究人才，促进我国软件产业的崛起和发展。二、核心科学问题本重大研究计划将围绕以下4个核心科学问题组织实施：（一）软件可信性度量、建模与预测1.软件可信性度量研究软件缺陷的机理、分类和形式化描述，软件缺陷与可信性的内在联系、软件缺陷预测和缺陷分布规律；研究基于缺陷的软件自动测试技术和测试用例自动生成技术；研究多维可信属性的多尺度量化指标系统、度量和评估机制及测评体系；研究可信属性之间的交互关系及可能的涌现特征，包括多个属性/综合属性的

3、局部/全局相容与失配等；研究面向可信软件开发过程的可信性评估方法；建立可信软件度量的技术标准或管理标准方案。2.软件可信性的演化与预测研究软件可信性相关数据的收集、分析和知识挖掘方法；研究软件在环境和自身演化下可信性的演化规律，以及软件在线演化的基础理论；研究基于软件行为的软件可信性增长和面向威胁的在线评估与预测理论。3．可信软件的风险及过程管理研究可信软件生命周期的风险识别、评估、管理和控制模式及方法；研究可信软件过程的属性和度量框架以及相应的量化控制和度量评估方法；研究适应分布性、敏捷性和过程资产复用性等需求的可信软件过程建模、定制、仿真和优化方法；研究可信软件中“人-信息系统”交

4、互作用及优化机理。（二）可信软件的构造与验证1.可信软件的程序理论与方法学研究软件行为可信特征空间的概念模型及形式化体系，包括程序的近似和渐近正确性理论，以及刻画软件的近似可信性与演化可信性理论；针对可信软件形态的多样性、动态性和协同性，特别是数据与控制同时动态变化的新特征，研究网络环境下的可信软件系统形式化模型；研究软件系统集成的基础理论以及对可信性的影响的推理基础；从风险和病态角度，研究可信约束下的软件病态特征提取技术、软件病态及环境间的关系，以及相应的预测理论与控制方法；建立可信软件全周期开发方法学。2.可信软件的需求工程研究面向可信性的需求分析方法；研究基于社会的可信模型的需求

5、工程方法；研究风险分析和可信性分析技术；研究软件可信性的性质获取与形式规约；研究多维异质非功能需求的冲突消解与完整性表述方式；探索基于领域知识的可信性分析方法和理论。3.可信软件设计、构造与编译研究可信软件设计的系统化科学体系，包括基于构件的可信软件的建模、构造方法与代码生成技术，面向服务的可信软件的建模、构造方法与代码生成技术，基于“面向方面技术”的可信软件的构造方法和代码生成技术；研究支持软件自演化的可信软件体系结构；研究可信程序设计的基础要素和语言设计，以及可信编译技术；研究算法可信性度量和可信算法设计的数学基础，针对典型科学计算问题，研究误差可控计算的基础算法等。4.可信软件的

6、验证与测试研究复杂环境下嵌入式软件和开放环境中网络软件的形式建模和分析技术，以及可信软件的模型自动抽取技术；研究多层次可信软件可扩展形式验证方法和错误定位方法；研究面向可信性的测试策略和基于控制理论的自适应测试方法；研究基于模型和规约的可信软件测试技术；研究可信软件验证与测试的集成方法，以及基于测试和验证数据的可信性评估和预测方法。（三）可信软件的演化与控制1.可信软件运行监控机理研究软件运行时环境变化和软件变化对可信性的影响；研究复杂开放环境下基于运行监控的可信软件模型和体系结构；研究面向可信软件演化特性的软件运行监控与保障机制。2.软件可信性动态控制方法研究软件运行时的行为监控与可

7、信性监测、诊断、恢复方法，以及基于虚拟化环境软件系统故障范围控制和快速恢复方法与机制，包括基于动态控制更改的可信软件运行的自主管理机制和代码热维护关键技术、多维度监控的关注点分离技术，以及基于运行监控的可信性动态评估机制；研究网络计算环境的高可信支撑软件技术。（四）可信环境的构造与评估1.可信环境的数学理论与信任传递理论研究支持可信计算的数学模型、形式化模型，构建可信计算的理论体系；研究可信网络计算的形式化模型，形成完整性保护的理论体系；研究信