个人文献管理数据库及论文参考文献创建工具(2).ppt

高可信软件生产工具与集成环境
项目介绍
项目执行时间:2007年9月-2010年12月
国家863计划重点项目
863软件专业孵化器技术交流会 2009年3月15日
一、项目情况总体介绍
二、项目当前进展
三、孵化器协作考虑
863软件专业孵化器技术交流会 2009年3月15日
一、项目总体情况介绍
定位与作用
技术发展趋势
项目目标与布局
项目成果形态
典型应用场景介绍
总体工作概述
863软件专业孵化器技术交流会 2009年3月15日
1、定位与作用
大规模软件产业的发展需要高质量的产业基础
软件生产效率和质量一直是软件生产领域的重大课题
网络化时代对工具及集成环境发展既是挑战,又是机遇
在已有基础上的发展
工具与环境
资源
高可信软件生产工具
与集成环境
863软件专业孵化器
863软件专业孵化器
技术支撑
应用支持
企业
开发人员
应用评估人员
863软件专业孵化器技术交流会 2009年3月15日
2、技术发展趋势
软件开发协同化
基于互联网的协同开发成为提高软件开发效率降低软件开发成本的新途径
软件资源共享化
基于复用思想的大规模软件资源库构建与共享成为提高软件生产率和产品质量的有效手段
软件质量可信化
软件的可信性成为软件质量的焦点,强化对软件可信性的分析、度量和应用支撑成为热点问题
863软件专业孵化器技术交流会 2009年3月15日
3、项目目标与布局
项目目标:
在高可信软件生产的关键技术方面取得突破,研制具有自主知识产权的软件生产工具,积累一批可信的软件资源,建立国家软件资源共享与协同开发环境,形成高可信软件相关的标准规范体系,
为企业提供一系列软件生产线,提升我,促进软件的大规模工业化生产,
提高我国软件产业的竞争力,为国家经济、社会和国防信息化等方面提供技术支撑。
研发布局(已设立课题):
课题编号
课题名称
承担单位
1
2007AA010301
可信的国家软件资源共享与协同生产环境
国防科技大学等
2
2007AA010302
支持软件可信性分析与评估的软件生产线
南京大学等
3
2007AA010303
支持可信软件过程管理的生产线
中科院软件所等
4
2007AA010304
面向嵌入式软件的生产线
北京科银京成技术有限公司等
5
2007AA010305
面向流程管理的软件生产线
西安协同软件产业基地等
6
2007AA010306
面向数据处理的软件生产线
清华大学等
863软件专业孵化器技术交流会 2009年3月15日
4/7/2018
5、典型应用场景(1)
生产线资源的共享
验证测试
生产线
提供生产线
定制使用生产线
企业
企业
企业
生产线
构件/服务
生产线
生产线
生产线
高可信软件生产工具
与集成环境
863软件专业孵化器技术交流会 2009年3月15日
4/7/2018
5、典型应用场景(2)
资源共享与协作开发
高可信软件生产工具
与集成环境
发布
资源
工具
生产线
开发人员
资源评估人员
评估
功能性
可信性
开发人员
使用
资源
工具
生产线
开发人员2
开发人员3
……开发人员n
生产线
构件/服务
构件/服务
生产线
构件/服务
863软件专业孵化器技术交流会 2009年3月15日