高可信软件生产工具与集成环境.pptVIP

一、项目总体情况介绍 定位与作用 技术发展趋势 项目目标与布局 项目成果形态 典型应用场景介绍 总体工作概述 2、技术发展趋势 软件开发协同化 基于互联网的协同开发成为提高软件开发效率降低软件开发成本的新途径 软件资源共享化 基于复用思想的大规模软件资源库构建与共享成为提高软件生产率和产品质量的有效手段 软件质量可信化 软件的可信性成为软件质量的焦点，强化对软件可信性的分析、度量和应用支撑成为热点问题 3、项目目标与布局 项目目标： 在高可信软件生产的关键技术方面取得突破，研制具有自主知识产权的软件生产工具，积累一批可信的软件资源，建立国家软件资源共享与协同开发环境，形成高可信软件相关的标准规范体系， 为企业提供一系列软件生产线，提升我国软件企业技术水平，促进软件的大规模工业化生产， 提高我国软件产业的竞争力，为国家经济、社会和国防信息化等方面提供技术支撑。 研发布局（已设立课题）： 项目总体布局 5、典型应用场景（1） 6、总体工作概述 突破4个方面的基础技术 高可信软件生产技术 可信软件资源共享支撑技术 软件开发协同技术 软件可信度分级机制 研发4个层次的支撑软件 覆盖软件开发主要活动和任务的软件工具 国家级软件资源库 面向不同技术特征的若干软件生产线 开发协同平台 建立1个环境 可信的国家软件资源共享与协同生产环境 配套的、可持续发展的运行机制 指导本项目其他课题发布软件资源、集成软件工具、开展协同开发的技术规范 从而为构建高可信软件生产工具及集成环境提供核心基础设施 二、项目当前进展 公共基础平台—可信的软件开发平台 软件生产线原型系统 典型工具应用情况 国际影响 软件可信评估证据框架《软件可信性证据框架规范》 可信性证据特征： (1)客观性。 (2)关联性。 (3)可获得性。 软件资源和软件生产线原型系统总体情况： 研发了一批软件资源和软件生产线原型系统。 整理完善具有自主知识产权的软件资源约330个，软件工具原型约58个。 基于Trustie软件生产线集成框架，形成了8个软件生产线原型系统： 面向软件开发技术领域的软件生产线（6条）： 基于构件的生产线、面向服务的生产线、支持监控的生产线和支持异构集成的生产线、软件可信性分析和评估生产线、可信软件过程生产线 面向软件开发技术领域的软件生产线（3条）： 嵌入式软件生产线、面向流程管理和数据处理软件生产线原型。 3、典型工具应用情况 部分软件工具和生产线系统已经得到实际应用，其中： 4、国际影响 可信软件成为提高软件质量的核心工作 项目成果已成为国际重要开源组织OW2的开发平台之一。 三、孵化器协作考虑 协作关系 支持措施 总体工作计划 1、协作关系 技术支撑与应用支持：服务和推动 资源共享 大规模资源共享：镜像方式、互联方式等 总体平台 开发技术平台支持：独立平台、镜像方式、多层结构等 长期发展 2、支持措施 开源和技术支持 全面的代码开源，对孵化器提供技术支持 2009年6月开始开源，09年底完成全面开源任务 形成可信软件资源、开发工具的开源大社区 国际化推进和带动 立足地区 发展全国 展望国际 3、总体工作计划 各年度工作重点 敬请指教 谢谢！ 863软件专业孵化器技术交流会 2009年3月15日 可信 共享 协同 高可信软件生产工具与集成环境 项目介绍 项目执行时间：2007年9月-2010年12月 国家863计划重点项目 一、项目情况总体介绍 二、项目当前进展 三、孵化器协作考虑 1、定位与作用 大规模软件产业的发展需要高质量的产业基础 软件生产效率和质量一直是软件生产领域的重大课题 网络化时代对工具及集成环境发展既是挑战，又是机遇 在已有基础上的发展 工具与环境 资源 高可信软件生产工具 与集成环境 863软件专业孵化器 863软件专业孵化器 技术支撑 应用支持 企业 开发人员 应用评估人员 清华大学等 面向数据处理的软件生产线 2007AA010306 6 西安协同软件产业基地等 面向流程管理的软件生产线 2007AA010305 5 北京科银京成技术有限公司等 面向嵌入式软件的生产线 2007AA010304 4 中科院软件所等 支持可信软件过程管理的生产线 2007AA010303 3 南京大学等 支持软件可信性分析与评估的软件生产线 2007AA010302 2 国防科技大学等 可信的国家软件资源共享与协同生产环境 2007AA010301 1 承担单位 课题名称 课题编号 优选的、面向行业的软件生产线 面向领域特征的软件生产线 协同平台 软件资源库 面向技术特征的软件生产线 基于构件的 软件生产线 应用 示范 领域 共性 技术 基础 技术 面向服务的 软件生产线 支持 运行监控的 软件生产线 支持 异构集成的 软件生产线 支持软