收藏本站
《哈尔滨工程大学》 2010年
收藏 | 手机打开
二维码
手机客户端打开本文

基于自配置的软件可信性增长模型及方法

赵倩  
【摘要】:随着计算机的不断发展和应用范围的不断扩大,应用在其上的软件系统也由于运行环境和自身特点变的越来越不可信,而人们对软件系统的依赖程度却越来越高,因此形成了用户对软件高可信需求与软件可信性得不到保障之间的矛盾。受到传统软件体系结构的限制,当前软件不能主动感知运行环境及自身行为状态,更多地依赖于人工配置,对环境的适应能力明显不足,难以满足人们对软件高可信性的要求。人们希望所使用的软件是一种灵活的,具有自我配置能力的软件,同时能明确了解自己所使用软件是否可信,可信程度是多少等问题。目前,利用自律计算(Autonomic Computing,AC)来解决“以技术管理技术”已经成为未来的发展趋势。在此背景下,本文借鉴自律计算中自配置(Self-configuration)思想,通过在软件系统中添加部分自律属性使软件具有感知自身和周围的环境的能力,实时动态地调整软件配置,智能地适应环境变化并能指导未来的自主决策,从而提高软件可信性。 本文首先从软件架构这一宏观角度出发,结合自律计算中自配置思想,提出基于自配置的软件可信性增长模型,为后续工作奠定基础;为了对平衡信息处理能力和系统性能之间的矛盾,提出面向软件可信性分析的信息感知方法,为可信性度量和演化分析提供数据支持;从软件动作拟合的观点出发对软件可信性进行度量,为软件可信性是否增长或增长程度提供有力的支撑;最后以软件可信性的保持和增长为最终目标,进行软件可信演化和分析的研究。本文从体系架构、信息感知、可信性度量到可信性演化分析,构建了一条保障软件可信增长的有效途径,以满足用户对软件高可信性的需求。主要研究内容如下: 首先,针对现有软件可信性较低与用户对软件可信性期望较高之间的矛盾,提出基于自配置的软件可信性增长模型。考虑到软件运行环境和自身结构的复杂性,结合自配置思想,将软件进行自律化处理,使软件具有部分自我管理能力。在此基础上设计软件自配置策略,以软件可信性为导向,对软件进行自配置动作。通过仿真实验证明了本方法理论上的合理性,通过实测实验说明将模型运用到实际环境中,软件可信性将有较高的提升。 其次,对于具有自配置能力的软件来说,需要获取运行期的大量数据才能保证对外界环境和自身状态的感知,从而确保自配置行为的正确性。在数据收集后,哪些可以用来为可信性度量和演化分析提供高效且低代价的数据基础成为信息感知的研究重点。针对后续章节的研究内容,通过建立软件系统信息感知框架约束软件中信息采集过程,提出一种面向软件可信性分析的信息感知方法,对软件系统中自律单元(Autonomic Element,AE)收集信息过程进行建模,然后在不降低AE收集信息质量的情况下尽量减少收集信息所带来的代价,保证软件系统的高效运行。实验结果表明,在软件运行过程中添加面向软件可信性分析的信息感知方法,在保持一定运行代价基础上,能有效提高AE信息收集的性能。 再次,传统软件可信性度量方法偏重于可信属性研究,因此带来的软件可信性属性多维、定义不统一等缺点,针对此问题,提出基于Pi演算的软件可信性度量方法。从软件行为学角度出发,将软件行为分解成为串联或并联的动作集合。根据软件设计之初对软件的要求定义软件可信行为,并将其组合成为软件可信行为路径,构建软件可信行为路径图。通过度量软件可信行为与软件实际运行行为的拟合度来度量软件的可信性。通过单个动作实验证明本方法的有效性;通过实测实验证明,在同等情况下与通过属性反映软件可信程度的传统度量方法相比,本方法更加实时、有效。 最后,由于软件发生自配置后,软件自身必然会发生演化,如果对演化不进行控制,轻则不能保证用户对软件的高可信性需求,重则甚至会导致软件崩溃。针对这种问题,提出一种考虑历史数据的软件演化方法,将软件可信性作为约束软件演化的因素,保证软件演化后仍能满足用户对软件高可信属性的需求;同时建立考虑历史数据的软件演化分析方法,通过可视化手段记录软件演化过程并分析软件在演化过程中存在的问题。实验结果表明,考虑历史数据的软件演化方法能有效地保持和增长软件可信性,使软件可信性达到有条件的非降,能够为软件自配置和演化提供有效的指导。
【学位授予单位】:

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 汤永新;刘增良;;软件可信性度量模型研究进展[J];计算机工程与应用;2010年27期
2 闵应骅;容错计算二十五年[J];计算机学报;1995年12期
3 杨洁;杨育;王小磊;;面向可信软件的风险管理模型研究[J];计算机应用研究;2008年10期
4 赵玲;软件可靠性与维修性[J];电子产品可靠性与环境试验;1997年02期
5 郑志明;马世龙;李未;韦卫;姜鑫;张占利;郭炳晖;;软件可信性动力学特征及其演化复杂性[J];中国科学(F辑:信息科学);2009年09期
6 杨启善;IEC/TC56简介[J];电子标准化与质量;1999年06期
7 杨善林;丁帅;付超;;考虑信息源相关的软件可信性评估模型[J];中国管理科学;2009年06期
8 熊伟;王娟丽;蔡铭;;基于QFD技术的软件可信性评估研究[J];计算机应用研究;2010年08期
9 余涛;丁帅;;面向软件可信优化的关键因素分析[J];价值工程;2011年14期
10 高铭;郭树行;;软件构件的可信性需求建模研究[J];河套大学学报;2009年02期
11 丁学雷;王怀民;王元元;卢刚;;面向验证的软件可信证据与可信评估[J];计算机科学与探索;2010年01期
12 程平;刘伟;;基于结构分解的软件可信性变化传播模式研究[J];科技管理研究;2010年05期
13 程平;刘伟;陈艳;;基于矩阵变换的软件可信性演化波及效应[J];系统工程理论与实践;2010年05期
14 赵倩;王慧强;冯光升;赵靖;;基于Pi演算的软件可信性度量方法[J];吉林大学学报(工学版);2011年06期
15 郑志明;马世龙;李未;姜鑫;韦卫;马丽丽;唐绍婷;;软件可信复杂性及其动力学统计分析方法[J];中国科学(F辑:信息科学);2009年10期
16 洪宏;黄志球;沈国华;钱巨;刘春勇;;支持软件可信评估的框架及其应用研究[J];计算机科学与探索;2011年02期
17 卢刚;王怀民;毛晓光;;基于认知的软件可信评估证据模型[J];南京大学学报(自然科学版);2010年04期
18 刘克;单志广;王戟;何积丰;张兆田;秦玉文;;“可信软件基础研究”重大研究计划综述[J];中国科学基金;2008年03期
19 张瞩熹;李仁杰;王怀民;;一个面向方面的可信软件开发平台TSCE[J];计算机应用研究;2009年05期
20 ;计算力学的可信性问题及其量化模型研究(项目编号10872146)[J];天津工程师范学院学报;2009年01期
中国重要会议论文全文数据库 前10条
1 周献中;李檬;朱颖颖;占济舟;赵佳宝;;基于系统思想的软件可信性内涵与特征分析[A];经济全球化与系统工程——中国系统工程学会第16届学术年会论文集[C];2010年
2 周献中;李檬;占济舟;朱颖颖;赵佳宝;;研究软件可信性的新视角:失信因子[A];经济全球化与系统工程——中国系统工程学会第16届学术年会论文集[C];2010年
3 田鹤;赵海;赵佳丽;蔡巍;刘铮;;基于复杂网络的大规模软件分析平台的设计与实现[A];第八届沈阳科学学术年会论文集[C];2011年
4 张悦今;张玲玲;刘莹;石勇;;软件可信性属性及其度量研究[A];第四届(2009)中国管理学年会——管理科学与工程分会场论文集[C];2009年
5 楼俊钢;江建慧;靳昂;;可信性属性权重分配的模糊层次分析方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
6 邵泽才;丁丁;刘磊;黄宇红;;自组织移动通信网络研究概述[A];2008年中国通信学会无线及移动通信委员会学术年会论文集[C];2008年
7 朱艳云;杜雪涛;何继伟;王丽英;;WIFI-MESH网络规划中的关键问题分析[A];中国通信学会信息通信网络技术委员会2009年年会论文集(上册)[C];2009年
8 丁丁;;基于认知的可重配置无线系统[A];2008年中国通信学会无线及移动通信委员会学术年会论文集[C];2008年
9 赵会群;李东林;;基于TTCN-3的TLS安全软件测试工具的设计与实现[A];全国第21届计算机技术与应用学术会议(CACIS·2010)暨全国第2届安全关键技术与应用学术会议论文集[C];2010年
10 黄旭宁;;自动售检票系统设备性能检测方法探讨[A];2010城市轨道交通关键技术论坛论文集[C];2010年
中国重要报纸全文数据库 前10条
1 东东;交易机会来自配置需求[N];上海证券报;2008年
2 中科院计算所 罗杰文;主体技术 为自治计算铺路[N];计算机世界;2007年
3 本报记者 言川;当“天梭工程”遭遇“On Demand”[N];中国电子报;2003年
4 中国软件评测中心;5类软件测试工具[N];中国计算机报;2005年
5 冉隆科;Mesh以致用[N];网络世界;2003年
6 本报记者 侯闯;从商业的角度管理IT[N];计算机世界;2003年
7 中南林学院法学院 傅晓华;民间资本企盼“国民待遇”[N];中国高新技术产业导报;2003年
8 ;自主计算下的数据库 让人省心[N];中国计算机报;2003年
9 爱立信(中国)有限公司无线产品部 关向凯;双模无线网络的设计[N];计算机世界;2002年
10 ;EMC Centera网络存储系统[N];计算机世界;2005年
中国博士学位论文全文数据库 前10条
1 赵倩;基于自配置的软件可信性增长模型及方法[D];哈尔滨工程大学;2010年
2 陶红伟;基于属性的软件可信性度量模型研究[D];华东师范大学;2011年
3 占济舟;失信因子对软件可信性的影响及其控制[D];南京大学;2011年
4 丁帅;软件可信性评估模型及其优化方法研究[D];合肥工业大学;2011年
5 吴新星;基于语言的软件可信性度量理论及其应用[D];华东师范大学;2011年
6 覃志东;高可信软件可靠性和防危性测试与评价理论研究[D];电子科技大学;2005年
7 阚红星;可信软件自动测试成本与风险研究[D];合肥工业大学;2008年
8 满君丰;开放网络环境下软件行为监测与分析研究[D];中南大学;2010年
9 杨年华;模型驱动架构中的可信嵌入式软件建模与分析[D];华东理工大学;2011年
10 徐鹏;混合无线网络中无线资源管理关键技术研究[D];西南交通大学;2011年
中国硕士学位论文全文数据库 前10条
1 顾聪越;基于云模型的软件可信性评估模型[D];大连理工大学;2011年
2 王翔宇;基于缺陷分析与测试评审的软件可信性评价体系[D];天津大学;2010年
3 邱志涛;软件可信性增长测试用例生成方法的研究[D];哈尔滨工程大学;2011年
4 文家朝;基于多样化对象所有权的软件可信性质研究[D];南京理工大学;2012年
5 韩葆;基于模型检验的软件可信性分析模型[D];北京工业大学;2012年
6 韩金娥;基于化简行为轨迹的软件可信性评价模型[D];河北大学;2011年
7 黄茗云;贝叶斯网络在软件可信性评估指标体系中的应用[D];山东轻工业学院;2009年
8 丁哲;迭代闭序列模式挖掘算法及其在软件可信性分析中的应用研究[D];兰州大学;2012年
9 杨静;软件可信性评估工具的研究与实现[D];西北大学;2009年
10 兰文辉;基于复杂网络的可信软件研究[D];大连理工大学;2010年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978