首页 | 本学科首页   官方微博 | 高级检索  
     

构造基于互联网的可信软件生产服务系统
引用本文:尹 刚,王怀民,袁 霖,朱沿旭,史殿习,米海波<,SPAN style=.构造基于互联网的可信软件生产服务系统[J].计算机科学与探索,2011,5(10):880-890.
作者姓名:尹 刚  王怀民  袁 霖  朱沿旭  史殿习  米海波<  SPAN style=
作者单位:国防科学技术大学 计算机学院, 长沙 410073
基金项目:国家自然科学基金No.60903043; 国家高技术研究发展计划(863)No.2007AA010301~~
摘    要:基于互联网构造可信软件的大规模协作开发环境是近年来软件工程领域的热点。对当前若干典型软件协作开发方法和技术进行了分析,参考人类社会生产概念体系,提出了一种面向互联网的可信软件生产框架,对可信软件生产的概念、生产要素、生产活动和生产方式进行了系统的分类和阐述,给出了基本生产过程和核心生产要素组织方法。结合国家863重点项目软件成果"可信的国家软件资源共享与协同生产环境(Trustie)",分析了该可信软件生产框架在软件资源共享、协作开发和可信评估等方面的机理和有效性。

关 键 词:可信软件  证据组合  开源软件  可信软件生产工具与集成环境(Trustie)
修稿时间: 

Construction of Internet-Based Trustworthy Software Production Service System
YIN Gang,WANG Huaimin,YUAN Lin,ZHU Yanxu,SHI Dianxi,MI Haibo.Construction of Internet-Based Trustworthy Software Production Service System[J].Journal of Frontier of Computer Science and Technology,2011,5(10):880-890.
Authors:YIN Gang  WANG Huaimin  YUAN Lin  ZHU Yanxu  SHI Dianxi  MI Haibo
Affiliation:School of Computer, National University of Defense Technology, Changsha 410073, China
Abstract:Construction of Internet-based large scale collaborative developing environment for trustworthy software is a hot research topic in software engineering. This paper analyzes current related software collaborative developing methods and technologies. Based on the conceptual system of human social production, it also proposes an Internet- oriented production framework for trustworthy software, defines the concepts, key factors, activities and modes of trustworthy software production, and discusses the fundamental production processes and the organization method of software production factors. The effectiveness of the framework is analyzed with Trustie (trustworthy software tools and integration environment), a national trustworthy software resource sharing and collaborative production environment developed by a national 863 grand project.
Keywords:trustworthy software  evidence composition  open source software  trustworthy software tools and integration environment (Trustie)
本文献已被 CNKI 等数据库收录!
点击此处可从《计算机科学与探索》浏览原始摘要信息
点击此处可从《计算机科学与探索》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号