收藏本站
《大连理工大学》 2010年
收藏 | 手机打开
二维码
手机客户端打开本文

基于复杂网络的可信软件研究

兰文辉  
【摘要】: 本文研究是基于国家自然科学基金《航天嵌入式软件可信性度量方法与系统》中的关键问题而展开。目的在于整体上理解软件系统的复杂性、理解大规模软件故障的形成机理和传播行为。从而可以进一步提高软件测试的效率,用较少的测试用例来保证软件运行的可信性。 本文基于复杂网络理论,,分析软件执行过程所构成的加权网络,从整体上来理解软件系统的复杂性;基于耦合映像格子的相继故障模型,分析软件系统中各个节点(函数)的非线性动力学特征、软件相继故障的传播机理和传播行为。最后分别提出基于关键节点和关键路径的软件可信性保证技术。 实验证明大型软件动态执行的函数调用加权网络具有小世界效应和无标度特性。当外部干扰施加到入点强度大的节点上时,软件相继故障的规模明显比施加到入点强度小的节点上大。本文所提出的基于关键节点和关键路径的软件可信性保证技术能够用较少的测试用例来保证软件的可信性。
【学位授予单位】:大连理工大学
【学位级别】:硕士
【学位授予年份】:2010
【分类号】:TP311.53

手机知网App
【参考文献】
中国期刊全文数据库 前5条
1 韩明畅;李德毅;刘常昱;李华;;软件中的网络化特征及其对软件质量的贡献[J];计算机工程与应用;2006年20期
2 陈星光;周晶;朱振涛;;基于耦合映像格子的城市交通系统相继故障研究[J];数学的实践与认识;2009年07期
3 王宏霞,何晨;细胞神经网络的动力学行为[J];物理学报;2003年10期
4 闫栋;祁国宁;;大规模软件系统的无标度特性与演化模型[J];物理学报;2006年08期
5 吴金闪,狄增如;从统计物理学看复杂网络研究[J];物理学进展;2004年01期
【共引文献】
中国期刊全文数据库 前10条
1 张立;刘云;;网络舆论传播的无标度特性及其衰减模型的研究[J];北京交通大学学报;2008年02期
2 肖勇;邵世煌;;分布式测控网络重构及其应用[J];北京邮电大学学报;2009年06期
3 樊瑛;索丽娜;沈晓松;胡延庆;;复杂网络视角下的NYSE市场投资结构特性研究[J];北京师范大学学报(自然科学版);2008年01期
4 谭璐;姜璐;张方风;;酿酒酵母细胞周期复合体装配的动态研究[J];北京师范大学学报(自然科学版);2008年05期
5 杨华;聂玉超;张洪斌;樊瑛;;基于复杂网络的快递网络性质分析[J];北京师范大学学报(自然科学版);2009年01期
6 李耀华;姚洪兴;;金融危机下股市网络的结构特性研究[J];成都信息工程学院学报;2010年01期
7 赵月;杜文;陈爽;;复杂网络理论在城市交通网络分析中的应用[J];城市交通;2009年01期
8 耿志杰;颜祥林;王婷婷;;国外档案学研究主题的关联网络分析——基于LISA数据库[J];档案学通讯;2012年01期
9 陈丽娜;黄金才;张维明;;网络化战争中复杂网络拓扑结构模型研究[J];电光与控制;2008年06期
10 徐圣良;姜青山;单利建;;舰机协同防空作战信息网络的复杂性分析与实证[J];电光与控制;2011年08期
中国重要会议论文全文数据库 前6条
1 卢全国;陈定方;Raihan Rasool;魏国前;;区域性物流网络及其复杂性研究[A];可持续发展的中国交通——2005全国博士生学术论坛(交通运输工程学科)论文集(下册)[C];2005年
2 郭本华;蔡绍洪;;病毒传播的SIS-BD模型[A];2007'仪表,自动化及先进集成技术大会论文集(一)[C];2007年
3 许晴;祖正虎;郑涛;;1998~2004年间世界恐怖活动的无标度特性分析[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(上册)[C];2009年
4 朱桂妹;吴翔;周涛;汪秉宏;;网络局域特性对局域同步的影响[A];全国复杂系统研究论坛论文集(二)[C];2005年
5 陈宏斌;樊瑛;狄增如;方锦清;;二元随机网[A];第四届全国网络科学学术论坛暨研究生暑期学校论文集[C];2008年
6 李梦辉;狄增如;;一个基于集团增长的无标度网络演化模型[A];管理科学与系统科学研究新进展——第8届全国青年管理科学与系统科学学术会议论文集[C];2005年
中国博士学位论文全文数据库 前10条
1 于群;电力系统大停电的自组织临界特性研究[D];中国电力科学研究院;2010年
2 张海峰;复杂网络上个体的不同行为导致多样的整体行为[D];中国科学技术大学;2011年
3 吴庆初;复杂网络同步与传播动力学研究[D];上海大学;2011年
4 李伟;复杂网络特征结构的挖掘方法研究[D];南京理工大学;2010年
5 高洋;面向对象软件的结构特性及演化模型的研究[D];北京邮电大学;2011年
6 潘启东;煤矿灾害网络构建及特征属性研究[D];中国矿业大学(北京);2011年
7 瞿泽辉;复杂网络及其在信息领域中的应用[D];电子科技大学;2011年
8 史伟;基于复杂网络的拓扑与信息传输问题研究[D];天津大学;2010年
9 尹洪英;道路交通运输网络脆弱性评估模型研究[D];上海交通大学;2011年
10 张建刚;复杂网络同步理论在城市公交网络中的应用研究[D];兰州交通大学;2011年
中国硕士学位论文全文数据库 前10条
1 冯金金;基于复杂网络的软件最小测试路径生成研究[D];大连理工大学;2010年
2 马鸣卉;维基百科的网络结构及可信分析[D];电子科技大学;2010年
3 刘硕;复杂性科学的方法论的意义研究[D];昆明理工大学;2010年
4 杨琴;网络拓扑模型的演化机制及抗毁性研究[D];解放军信息工程大学;2009年
5 夏栗;基于复杂网络的林业应用系统功能结构模型研究[D];中南林业科技大学;2010年
6 刘蓉;代谢网络及路径(pathway)的研究和应用[D];中南林业科技大学;2008年
7 王学勇;复杂网络演化与软件平台研究[D];西安电子科技大学;2011年
8 杜艳;几类网络模型及路由算法研究[D];山东师范大学;2011年
9 李伟伟;基于局域加权有向网络的面向对象软件结构研究[D];山东师范大学;2011年
10 杨杲;基于复杂网络科技期刊引用分析的应用[D];湖北工业大学;2011年
【二级参考文献】
中国期刊全文数据库 前10条
1 何振亚,张毅锋,卢宏涛;细胞神经网络动态特性及其在保密通信中的应用[J];通信学报;1999年03期
2 张晓辉,沈柯;高周期混沌轨道的构造方法和应用[J];物理学报;1999年12期
3 王宏霞,虞厥邦;细胞神经网络平衡态的稳定性分析[J];物理学报;2001年12期
4 封国林,董文杰,贾晓静,曹鸿兴;海-气振荡子中的极限环解[J];物理学报;2002年06期
5 李俊峰,曹金祥,张传宝,宋法伦;混沌动力学方法在等离子体尾迹流场研究中的应用[J];物理学报;2002年07期
6 谭文,王耀南,刘祖润,周少武;非线性系统混沌运动的神经网络控制[J];物理学报;2002年11期
7 何阅,张培培,许田,姜玉梅,何大韧;一个科研合作网的双粒子图自适应演化模型[J];物理学报;2004年06期
8 李?,山秀明,任勇;具有幂率度分布的因特网平均最短路径长度估计[J];物理学报;2004年11期
9 伍法岳,杨展如;相变与临界现象(Ⅲ)——顶角模型[J];物理学进展;1981年04期
10 吴金闪,狄增如;从统计物理学看复杂网络研究[J];物理学进展;2004年01期
【相似文献】
中国期刊全文数据库 前10条
1 赵长海;基于Web的多媒体教学软件研究[J];内蒙古石油化工;2005年02期
2 蒋湘辉;;中创下法基础软件[J];每周电脑报;2002年30期
3 韩凌攀;汪苏;苗新刚;温阳;;骑座式相贯线焊接机器人控制系统的软件研究[J];机械工程师;2010年08期
4 钟绍春;信息技术与课程整合的资源及软件研究[J];电化教育研究;2005年03期
5 陈伟;;【编辑手记】[J];软件;1998年03期
6 王海涛;加速我国软件成果产业化[J];软件工程师;1994年03期
7 王文海;水样总α总β测量的质量控制软件研究[J];中华放射医学与防护杂志;2005年04期
8 ;CFan研究院[J];电脑爱好者;2007年07期
9 ;广州大学计算机教育软件研究所[J];广州大学学报(自然科学版);2002年06期
10 ;安全预警[J];电脑与电信;2006年Z1期
中国重要会议论文全文数据库 前10条
1 甄成刚;鲍慧;;操作员站通用仿真软件研究与实现[A];二○○一年中国系统仿真学会学术年会论文集[C];2001年
2 周献中;李檬;朱颖颖;占济舟;赵佳宝;;基于系统思想的软件可信性内涵与特征分析[A];经济全球化与系统工程——中国系统工程学会第16届学术年会论文集[C];2010年
3 周献中;李檬;占济舟;朱颖颖;赵佳宝;;研究软件可信性的新视角:失信因子[A];经济全球化与系统工程——中国系统工程学会第16届学术年会论文集[C];2010年
4 王睿;;基于ATML的自动测试系统软件研究[A];2011下一代自动测试系统学术研讨会论文集[C];2011年
5 杨光;陈波;陈映;;Tribon紧固件自动设计软件研究开发[A];2011年CAD/CAM学术交流会议论文集[C];2011年
6 芮震峰;王骁;唐冲;石爱国;杨宝璋;;船舶碰撞过失分析评判软件研究[A];海洋船舶避碰论文集[C];2005年
7 芮震峰;王骁;唐冲;石爱国;杨宝璋;;船舶碰撞过失分析评判软件研究[A];中国航海学会2005年度学术交流会优秀论文集[C];2005年
8 金寿松;蒋美仙;王亚良;;商品混凝土搅拌站管理信息系统的研究[A];全国第九届企业信息化与工业工程学术会议论文集[C];2005年
9 韩宝龙;黄波;丁卫霖;王英;王进;王艳玲;兰博;徐化林;毕世飞;张吉文;;数字化定量诊断乳腺肿瘤细胞形态学及软件制作的研究[A];第五届全国生物医学体视学学术会议、第八届全军军事病理学学术会议、第四届全军定量病理学学术会议论文汇编[C];2002年
10 王树理;夏柏如;彭爱明;左悦;;地下工程领域软件研究趋势[A];探矿工程(岩土钻掘工程)技术与可持续发展研讨会论文集[C];2003年
中国重要报纸全文数据库 前10条
1 杨芙清;党培养我踏上软件研究之路[N];光明日报;2001年
2 孙玉芳;下一代软件研究课题及技术展望[N];科技日报;2000年
3 记者 郭姜宁;藏文信息技术向普通用户延伸[N];科技日报;2001年
4 ;赛迪观市[N];中国计算机报;2003年
5 本报记者 张雪琳;做中国电信的技术支撑队伍[N];通信产业报;2003年
6 杨帆;苏州软件业牵手国际研究院[N];苏州日报;2006年
7 南京联创科技股份有限公司副总裁 黄锡伟;联创:企业要有开放心态[N];电脑商报;2008年
8 哲一;科大恒星:软件外包恒者事成[N];中国电子报;2008年
9 本报记者  雷中辉;红旗中文贰千主动出售:RedOffice傍上互联网[N];21世纪经济报道;2006年
10 王金法 王福华;“我是沃土上的一棵树苗”[N];中国石化报;2005年
中国博士学位论文全文数据库 前10条
1 赵倩;基于自配置的软件可信性增长模型及方法[D];哈尔滨工程大学;2010年
2 陶红伟;基于属性的软件可信性度量模型研究[D];华东师范大学;2011年
3 占济舟;失信因子对软件可信性的影响及其控制[D];南京大学;2011年
4 丁帅;软件可信性评估模型及其优化方法研究[D];合肥工业大学;2011年
5 吴新星;基于语言的软件可信性度量理论及其应用[D];华东师范大学;2011年
6 王建伟;网络上的相继故障模型研究[D];大连理工大学;2010年
7 汤涌;电力系统全过程动态(机电暂态与中长期动态过程)仿真技术与软件研究[D];中国电力科学研究院;2002年
8 覃志东;高可信软件可靠性和防危性测试与评价理论研究[D];电子科技大学;2005年
9 魏路平;基于三维协调的新一代电网能量管理系统研究[D];浙江大学;2008年
10 李纯莲;药物设计中分子对接优化设计的算法和软件研究[D];大连理工大学;2004年
中国硕士学位论文全文数据库 前10条
1 兰文辉;基于复杂网络的可信软件研究[D];大连理工大学;2010年
2 李春梅;散粒噪声分析方法及软件研究[D];西安电子科技大学;2009年
3 杨晓燕;钢管混凝土拱桥运营状况监测与报警系统软件研究[D];西南交通大学;2005年
4 陈永生;基于组件技术的开放式控制器软件研究[D];北京工业大学;2002年
5 王翔宇;基于缺陷分析与测试评审的软件可信性评价体系[D];天津大学;2010年
6 顾聪越;基于云模型的软件可信性评估模型[D];大连理工大学;2011年
7 邓恩宏;500kV变电站运行状态分析软件研究[D];重庆大学;2002年
8 张建明;扫描隧道显微镜运行及图像重建软件研究[D];重庆大学;2003年
9 邱志涛;软件可信性增长测试用例生成方法的研究[D];哈尔滨工程大学;2011年
10 邢作常;车床数控交流伺服系统软件研究[D];西北农林科技大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026