基于网络的可信软件大规模协同开发与演化

被引：27

作者：

王怀民 ^{[1
]}

尹刚 ^{[1
]}

谢冰 ^{[2
]}

刘旭东 ^{[3
]}

魏峻 ^{[4
]}

刘江宁 ^{[5
]}

机构：

[1] 国防科学技术大学计算机学院

[2] 北京大学信息科学技术学院软件研究所

[3] 北京航空航天大学计算机学院

[4] 中国科学院软件研究所

[5] 山东中创软件商用中间件股份有限公司

来源：

中国科学:信息科学 | 2014年 / 44卷 / 01期

关键词：

可信软件; 群体协同; 资源分享; 运行监控; 可信分析; 软件演化;

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

摘要：

随着网络时代的来临,软件的开发模式、运行环境和提供方式发生了巨大变化.互联网作为一种开放的协同工作环境,其中孕育的大规模协同创作机理对软件开发和应用产生了深刻影响.如何将其与工业化可信软件生产相结合以提高软件生产效率和质量,是网络时代软件技术面临的新课题.本文提出汇聚群体智慧的可信软件开发新方法——群体化方法,该方法的核心是"群体协同、资源分享、运行监控、可信分析",支持创新软件作品向可信软件产品转化,支持软件的可信演化.提出一种基于证据的可信软件概念模型,将软件在开发阶段、分享阶段和应用阶段的基础数据作为软件的可信证据,并据此建立了软件演化过程模型;提出一种支持可信软件协同开发与演化的服务模型,支持软件创作与生产深度协同的可信软件社会化生产、开放有序的可信软件资源分享,以及基于海量数据分析的软件可信评估.最后以"十一五"国家高技术研究发展计划重点项目"高可信软件生产工具及集成环境"为背景,阐述了面向群体化方法的关键技术、开发环境和应用实践.

引用

页码：1 / 19

页数：19

共 15 条

[1] 监控使能的分布式软件系统构造方法 [J].

刘东红 ;

郭长国 ;

王怀民 ;

王涛 .

软件学报, 2011, 22 (11) :2610-2624

[2] 面向协作的软件开发环境及其构造方法 [J].

窦文生 ;

王伟 ;

高楚舒 ;

魏峻 .

计算机科学与探索, 2011, (07) :624-632

[3] 开源环境下开发人员行为特征挖掘与分析 [J].

袁霖 ;

王怀民 ;

尹刚 ;

史殿习 ;

李翔 .

计算机学报, 2010, 33 (10) :1909-1918

[4] 基于服务组合的可信软件动态演化机制 [J].

曾晋 ;

孙海龙 ;

刘旭东 ;

邓婷 ;

怀进鹏 .

软件学报, 2010, 21 (02) :261-276

[5] 一种支持软件资源可信评估的框架 [J].

蔡斯博 ;

邹艳珍 ;

邵凌霜 ;

谢冰 ;

邵维忠 .

软件学报, 2010, 21 (02) :359-372

[6] 网构软件技术体系:一种以体系结构为中心的途径 [J].

杨芙清 ;

吕建 ;

梅宏 .

中国科学(E辑:信息科学), 2008, (06) :818-828

[7] “可信软件基础研究”重大研究计划综述 [J].

刘克 ;

单志广 ;

王戟 ;

何积丰 ;

张兆田 ;

秦玉文 .

中国科学基金, 2008, (03) :145-151

[8]

系统程序设计语言[M]. 科学出版社 , 徐家福著, 1983

[9]

Does distributed development affect software quality?[J] . Christian Bird,Nachiappan Nagappan,Premkumar Devanbu,Harald Gall,Brendan Murphy.Communications of the ACM . 2009 (8)

[10] The Metropolis Model A New Logic for Development of Crowdsourced Systems [J].

Kazman, Rick ;

Chen, Hong-Mei .

COMMUNICATIONS OF THE ACM, 2009, 52 (07) :76-84

← 1 2 →