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

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