收藏本站
《中国科学:信息科学》 2014年01期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

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

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

【相似文献】
中国期刊全文数据库 前10条
1 李季;刘春梅;;基于本体的可信软件演化框架模型[J];计算机应用研究;2010年12期
2 李雄,张友生;基于构件运算的软件演化研究[J];计算机工程与应用;2005年09期
3 李刚,韩燕波,金茂忠;影响企业应用演化的因素及其作用[J];计算机工程;2004年16期
4 王忠群,谢晓东;信息系统中软件重用和演化技术的研究[J];安徽工程科技学院学报(自然科学版);2003年02期
5 钟林辉;谢冰;张路;;软件体系结构演化信息捕获机制的方法研究[J];计算机应用研究;2007年11期
6 程淑玉;;基于元胞自动机的SA动态演化模型的构建[J];安徽科技学院学报;2008年01期
7 麻淑芳;;软件体系结构演化模型[J];山西科技;2008年06期
8 丁帅;杨善林;马溪骏;阚红星;;面向软件演化的可信性评估自适应模型[J];武汉大学学报(信息科学版);2010年05期
9 苏昭;薛锦云;杨晨;;形式化方法在高中算法教学中的应用研究[J];计算机与现代化;2010年07期
10 蔡琼;李兴国;丁帅;;可信软件实时性测试用例集生成方法研究[J];计算机应用研究;2009年06期
中国重要会议论文全文数据库 前5条
1 裴顺昌;宋浩;李建平;蔡晨;;基于CMMI风险管理体系的可信软件开发风险管理研究[A];第十一届中国管理科学学术年会论文集[C];2009年
2 王清楼;戴维士;魏宁;单云建;;江苏省气象信息传输流程的构建、运行监控与安全备份[A];信息技术在气象领域的开发应用论文集(二)[C];2006年
3 张跃华;刘莹;张玲玲;石勇;;源代码挖掘在可信软件研究中的应用[A];第四届(2009)中国管理学年会——管理科学与工程分会场论文集[C];2009年
4 徐享忠;王精业;王成;;XML在遗留仿真系统演化中的应用研究[A];中国系统仿真学会第五次全国会员代表大会暨2006年全国学术年会论文集[C];2006年
5 李晖;张慧;赵海;蔡巍;;软件网络中的簇度相关性及演化分析[A];第八届沈阳科学学术年会论文集[C];2011年
中国重要报纸全文数据库 前6条
1 东方通科技首席架构师、SOA-RA-TF主席 朱律玮;企业三步实现SOA[N];计算机世界;2006年
2 东方通科技首席架构师、SOA-RA-TF主席 朱律玮;中国企业实现SOA分步走[N];中国计算机报;2006年
3 吴克忠;OA系统需要哪类软件?[N];中国计算机报;2002年
4 罗云;GPS:在危险品运输管理中的应用[N];现代物流报;2007年
5 乔晓辉 李秀丽 赵桂清;宣钢炼钢厂ERP系统创上线最好水平[N];世界金属导报;2010年
6 记者 王光睿;德国劳氏:海事软件市场潜力巨大[N];中国船舶报;2010年
中国博士学位论文全文数据库 前10条
1 刘金卓;基于符号化模型检测的软件演化过程模型验证[D];云南大学;2013年
2 詹剑锋;因特网环境下的软件演化与动态性研究[D];中国科学院研究生院(软件研究所);2002年
3 代飞;基于EPMM的软件演化过程模型验证[D];云南大学;2011年
4 张友生;基于代数理论的软件体系结构描述及软件演化方法研究[D];中南大学;2007年
5 丁帅;软件可信性评估模型及其优化方法研究[D];合肥工业大学;2011年
6 黄万艮;基于消息和构件运算的软件体系结构演化研究[D];中南大学;2008年
7 石莉;软件可信性评估方法研究[D];合肥工业大学;2012年
8 刘奕明;基于体系结构、特征驱动的软件动态演化方法研究[D];复旦大学;2008年
9 段继男;基于需求驱动的企业应用程序演化方法研究[D];北京化工大学;2013年
10 袁霖;开源软件可信证据挖掘与分析[D];国防科学技术大学;2011年
中国硕士学位论文全文数据库 前10条
1 王道红;面向目标的软件演化过程研究[D];云南大学;2013年
2 林志欣;软件演化过程中任务功能分解工具的设计与实现[D];云南大学;2010年
3 付志涛;面向方面的软件演化过程研究[D];云南大学;2010年
4 张昂;基于CSP的软件演化过程描述及研究[D];云南大学;2010年
5 陈威;动态环境中软件演化过程模型及关键技术研究[D];西安电子科技大学;2012年
6 吴鑫君;基于CPN的演化过程建立及规约验证研究[D];云南大学;2013年
7 刘春梅;基于本体和规则推理的软件可信演化研究[D];重庆大学;2010年
8 高提雷;基于扩展EPMM的软件演化需求过程建模[D];云南大学;2012年
9 姜璐;一种改进的基于抽象语法树的软件演化分析技术研究[D];南京大学;2013年
10 李勇;软件演化技术研究与应用[D];大连理工大学;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026