构造基于互联网的可信软件生产服务系统

计算机科学与探索 ›› 2011, Vol. 5 ›› Issue (10): 880-890.

构造基于互联网的可信软件生产服务系统

尹刚, 王怀民, 袁霖, 朱沿旭, 史殿习, 米海波<SPAN style=

国防科学技术大学计算机学院, 长沙 410073

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2011-10-01 发布日期:2011-10-01

Construction of Internet-Based Trustworthy Software Production Service System

YIN Gang, WANG Huaimin, YUAN Lin, ZHU Yanxu, SHI Dianxi, MI Haibo

School of Computer, National University of Defense Technology, Changsha 410073, China

Received:1900-01-01 Revised:1900-01-01 Online:2011-10-01 Published:2011-10-01

摘要/Abstract

摘要： 基于互联网构造可信软件的大规模协作开发环境是近年来软件工程领域的热点。对当前若干典型软件协作开发方法和技术进行了分析, 参考人类社会生产概念体系, 提出了一种面向互联网的可信软件生产框架, 对可信软件生产的概念、生产要素、生产活动和生产方式进行了系统的分类和阐述, 给出了基本生产过程和核心生产要素组织方法。结合国家863重点项目软件成果“可信的国家软件资源共享与协同生产环境(Trustie)”, 分析了该可信软件生产框架在软件资源共享、协作开发和可信评估等方面的机理和有效性。

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

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.

Key words: trustworthy software, evidence composition, open source software, trustworthy software tools and integration environment (Trustie)

尹刚, 王怀民, 袁霖, 朱沿旭, 史殿习, 米海波<SPAN style=.

构造基于互联网的可信软件生产服务系统

[J]. 计算机科学与探索, 2011, 5(10): 880-890.

YIN Gang, WANG Huaimin, YUAN Lin, ZHU Yanxu, SHI Dianxi, MI Haibo. Construction of Internet-Based Trustworthy Software Production Service System[J]. Journal of Frontiers of Computer Science and Technology, 2011, 5(10): 880-890.

[1]	李文鹏，王建彬，林泽琦，赵俊峰，邹艳珍，谢冰. 面向开源软件项目的软件知识图谱构建方法[J]. 计算机科学与探索, 2017, 11(6): 851-862.
[2]	韩俊明，王炜，李彤，何云. 面向开源软件的演化确认方法[J]. 计算机科学与探索, 2017, 11(4): 539-555.
[3]	邓寒冰1 , 赵立军2 , 张霞1 , 刘积仁1 . 大型应用系统软件生产线实践[J]. 计算机科学与探索, 2011, 5(7): 633-641.
[4]	杜晶1,2 , 杨叶1 , 王青1 , 李明树1,3 . 基于证据的可信软件过程评估方法[J]. 计算机科学与探索, 2011, 5(6): 501-512.
[5]	陈诚, 李剑华, 龙能. 政务领域软件生产线研究[J]. 计算机科学与探索, 2011, 5(6): 569-576.
[6]	何炎祥 1,2+ , 吴伟 2 , 刘陶 2 , 李清安2 , 陈勇 2 , 胡明昊2 , 刘健博2 , 石谦 2 . 可信编译理论及其核心实现技术：研究综述[J]. 计算机科学与探索, 2011, 5(1): 1-22.