重大研究计划“可信软件基础研究”.pdfVIP

附件： 重大研究计划“可信软件基础研究” 2008 年度项目指南 本重大研究计划的宗旨是： 以国家关键应用领域中软件可信 性问题为主攻目标，分析、研究和解决相关科学问题，在嵌入式 软件和网络应用软件中开展示范应用， 为改善国家重大工程中的 软件可信性提供科学支撑。 一、科学目标 针对国家信息化发展和重大工程应用对可信软件的战略需 求，采用理论研究和实证研究相结合的方法， 揭示软件可信和环 境可信失效、 度量和演化的基本规律， 建立可信软件及其环境构 造与验证、 演化与控制的方法和关键技术体系， 研究可信软件开 发工具和运行支撑平台及环境， 并在典型的嵌入式软件和网络应 用软件中进行验证和示范， 促进软件从传统的单一度量理论到综 合性的可信度量理论及其构造方法的集成升华， 提高我国在可信 软件领域的原始创新能力和国际影响力， 为国家相关重大计划和 工程的可信软件研发提供科学支撑，培养一批高水平的研究人 才，促进我国软件产业的崛起和发展。 二、核心科学问题 本重大研究计划将围绕以下 4 个核心科学问题组织实施： （一）软件可信性度量、建模与预测 1. 软件可信性度量 研究软件缺陷的机理、 分类和形式化描述， 软件缺陷与可信 性的内在联系、 软件缺陷预测和缺陷分布规律； 研究基于缺陷的 软件自动测试技术和测试用例自动生成技术； 研究多维可信属性 的多尺度量化指标系统、 度量和评估机制及测评体系； 研究可信 属性之间的交互关系及可能的涌现特征，包括多个属性 / 综合属 性的局部 /全局相容与失配等；研究面向可信软件开发过程的可 信性评估方法；建立可信软件度量的技术标准或管理标准方案。 2. 软件可信性的演化与预测 研究软件可信性相关数据的收集、 分析和知识挖掘方法； 研 究软件在环境和自身演化下可信性的演化规律， 以及软件在线演 化的基础理论； 研究基于软件行为的软件可信性增长和面向威胁 的在线评估与预测理论。 3．可信软件的风险及过程管理 研究可信软件生命周期的风险识别、 评估、 管理和控制模式 及方法；研究可信软件过程的属性和度量框架以及相应的量化控 制和度量评估方法； 研究适应分布性、 敏捷性和过程资产复用性 等需求的可信软件过程建模、定制、仿真和优化方法；研究可信 软件中“人-信息系统”交互作用及优化机理。 （二）可信软件的构造与验证 1. 可信软件的程序理论与方法学 研究软件行为可信特征空间的概念模型及形式化体系， 包括 程序的近似和渐近正确性理论， 以及刻画软件的近似可信性与演 化可信性理论；针对可信软件形态的多样性、动态性和协同性， 特别是数据与控制同时动态变化的新特征， 研究网络环境下的可 信软件系统形