收藏本站
《华东师范大学》 2011年
收藏 | 手机打开
二维码
手机客户端打开本文

基于属性的软件可信性度量模型研究

陶红伟  
【摘要】:随着软件规模越来越大,故障和漏洞在所难免,再加之软件开发和运行环境从封闭、静态环境到开放、动态环境转变所导致的很多不确定因素的存在,软件很多时候不以人们期望的方式工作,经常发生失效,直接或者间接给用户带来损失,致使人们越来越重视软件的可信性。所谓的软件可信性是指软件的行为和结果符合用户预期,并在受到干扰时仍能提供连续服务的能力。软件的行为及其产生的结果通常可以通过定义一组适当的软件属性来刻画,而软件在受干扰时仍能提供连续服务的能力也可以通过定义一组软件属性来描述,从而软件可信性可通过一组软件属性以及用户在这组软件属性上的预期共同来表示。软件可信性度量是软件可信性的量化表示,是软件可信基础研究的核心问题之一,这样软件可信性度量的问题就转化为描述软件可信性的属性选取和度量、用户预期的表达和依据对被选择属性的度量值和用户预期对两者符合性的量化问题。在本论文中主要围绕这三个问题利用静态分析技术和形式化方法中的函数方法从源代码的角度对软件可信性进行度量。主要贡献如下: (1)建立了影响软件可信性的属性模型,该模型由关键属性和非关键属性两部分组成。关键属性包括功能性、可维护性、可靠性、可生存性和可控性,它们是从与可信相关的定义中所涉及的属性中抽取得到,非关键属性是由用户根据需要选取。将程序表示为程序元素和程序单元的集合,并为每一种程序元素和程序单元构造了一个清单,该清单不但包含在程序是可信的情况下程序元素以及程序单元应该具有的性质和功能,而且还包含这些性质和功能与它们所影响到的属性之问的对应关系。我们依据这些清单,综合运用程序切片分析等多种静态分析技术从源代码角度构造了软件功能性、可维护性、可靠性、可生存性和可控性的度量模型,与此同时,同样依据这些清单从集合论角度建立了影响软件可信性的关键属性间的定量关系模型。 (2)给出了一种用户预期的表示方式,由属性集、属性权重集、阈值和属性间的补偿机制四部分组成。属性集与影响软件可信性的属性模型相对应;属性权重集表示对用户而言各属性的重要性;阈值是用户根据需要自己所确定,如果属性集中任一属性的属性值低于该阈值,就认为该软件不可信;属性间的补偿机制通过属性间的替代性来刻画,由三个级别构成,第一级别只要求属性间可以发生替代即可,第二级别不但要求属性间可以发生替代,而且还要求关键属性与非关键间的替代性要难于关键属性内部以及非关键属性内部的替代性,同时还要求可以调整关键属性与非关键属性之间的替代性;第三级别不但要求属性间可以发生替代,而且还要求可以调整属性间的替代性。 (3)给出了基于分层与权重的软件可信性度量模型的四个构造准则:单调性、凝聚性、灵敏性以及替代性,并根据这四个准则提出了五个软件可信性度量模型。第一个度量模型针对用户预期中补偿机制的第一级别建立;第二模型是对第一个模型从替代性角度进行的改进,但其并不完全满足上述的四个准则;第三个度量模型针对用户预期中补偿机制的第二级别建立;第四个和第五个度量模型针对用户预期中补偿机制的第三级别建立。对于一个给定的用户预期,如果用户在补偿机制中选择的是第一级别,则可以选择第一个模型来对软件可信性进行度量;如果选择了第二级别,则可以选择第三个模型来对软件可信性进行度量;如果选择了第三级别,则可以选择第四个或者五个模型来对软件可信性进行度量。 (4)给出了一种基于层次分析排序方法用来求各属性权重的组合方法,并给出了该组合方法和我们提出的可信度量模型的编程实现。
【学位授予单位】:

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 李英梅;邵晶波;丁雪梅;;软构件的可复用性度量模型研究[J];计算机与数字工程;2009年08期
2 李晓堂;;基于优化过程和度量模型的CMMI模型体系[J];工业技术经济;2008年12期
3 文俊浩;张杨;徐玲;徐传运;;一种基于过程改进的度量模型[J];计算机应用研究;2006年08期
4 王之元;胡庆丰;陈娟;;能耗并行加速比:高性能计算系统综合性能的有效度量[J];计算机工程与科学;2009年11期
5 张杨;房斌;徐传运;;用于软件选型的度量模型及系统实现[J];计算机工程与应用;2008年15期
6 李继才;;教学软件质量模型度量选择与权重实例[J];信息技术与标准化;2008年04期
7 焦锋;王丽平;侯建民;;基于依赖矩阵的构件软件复杂性的度量模型[J];计算机应用与软件;2009年05期
8 张智南;刘增良;屈兵超;陶源;郭春霞;;电磁环境复杂度度量模型研究[J];电子信息对抗技术;2009年05期
9 张杨;房斌;徐传运;;基于遗传神经网络的可信Web服务度量模型[J];计算机应用研究;2010年01期
10 朱璟;蔡敏;杜义;;模糊综合评判决策在软件质量评估中的应用[J];软件导刊;2010年11期
11 孙莉,万晓民;软件质量度量的量化管理模型及方法[J];盐城工学院学报(自然科学版);2005年02期
12 袁正刚;黄志军;朱继梅;;基于PCA的软件质量度量模型[J];舰船电子工程;2005年06期
13 黄璜;周欣;孙家骕;;层次型Java软件质量度量模型研究[J];计算机科学;2003年05期
14 张红延,黄涛,蒋明青;软件质量度量及其模型指标的研究[J];计算机应用研究;2004年10期
15 张凤景;任爱华;;一种目标与信息共同驱动的度量模型[J];计算机应用;2007年02期
16 计春雷;;软件产业中软件质量与成本的度量分析[J];生产力研究;2007年24期
17 晁云;陈强;田蕾;;空中航迹质量度量方法研究[J];信息安全与通信保密;2010年08期
18 丁炎炎,赵洋,蔡志旻,潘金贵;程序复杂度度量系统pgrmetrics的设计与实现[J];计算机应用研究;2004年01期
19 刘夏;软件质量度量与质量保证的研究[J];聊城师院学报(自然科学版);2004年02期
20 范莉莉;刘天时;;一种软件质量度量的权值分配及调整方法[J];福建电脑;2006年06期
中国重要会议论文全文数据库 前10条
1 李铭禄;陈安;;“城市公众恐慌”的度量模型及其应用研究[A];第十一届全国心理学学术会议论文摘要集[C];2007年
2 王少平;杨运琼;;区域可持续能力度量模型及应用[A];2005中国可持续发展论坛——中国可持续发展研究会2005年学术年会论文集(下册)[C];2005年
3 冯纪强;谢维信;徐晨;张海峰;;一种基于概率理论的种群多样性度量模型[A];第十四届全国信号处理学术年会(CCSP-2009)论文集[C];2009年
4 于磊;傅常顺;;基于度量的软件测试过程管理[A];第五届中国测试学术会议论文集[C];2008年
5 孙国庆;李舒扬;李晖;;TMIS工程软件开发过程中的质量控制和质量保证[A];铁道部信息技术中心成立30周年暨铁路运输管理信息系统(TMIS)工程全面竣工投产TMIS工程建设论文专辑(一)[C];2005年
6 赵亮;王建民;孙家广;;软件易测性度量综述[A];第四届中国测试学术会议论文集[C];2006年
7 杨月欣;;引言[A];食物营养素度量法研讨会会议资料[C];2010年
8 周孝华;黄辉;;基于模拟抽样的长期异常收益率度量方法的比较分析[A];2004年中国管理科学学术会议论文集[C];2004年
9 王云光;;医院信息系统软件质量评价[A];中华医学会第十次全国医学信息学术会议论文汇编[C];2004年
10 李建华;焦彦平;左建勋;苏俊杰;;基于过程的软件度量体系与实施方法研究[A];第十六届全国青年通信学术会议论文集(上)[C];2011年
中国重要报纸全文数据库 前3条
1 资深经济研究人员 熊锦秋;如果非要给泡沫下个定量指标……[N];上海证券报;2009年
2 王辉;建立信托投资公司风险管理指标体系[N];金融时报;2002年
3 本报记者 郑菲;软件研发促高性能计算资源利用效益提高[N];中国气象报;2011年
中国博士学位论文全文数据库 前10条
1 贺国生;商业银行利率风险度量模型与管理模式研究[D];西南财经大学;2005年
2 王占宏;遥感影像信息量及质量度量模型的研究[D];武汉大学;2004年
3 杨红;适应性软件体系结构评价方法研究[D];大连理工大学;2007年
4 陈晓;基于生态经济学模型的新疆可持续发展度量研究[D];新疆大学;2005年
5 马艳芳;软件的近似正确性及与环境交互度量模型研究[D];华东师范大学;2010年
6 胡俊;数据挖掘可视化模型及其应用研究[D];北京交通大学;2009年
7 王姝音;网构软件系统可信模型研究[D];哈尔滨工程大学;2013年
8 郭海凤;基于企业资源论的制造能力模型研究[D];哈尔滨工业大学;2009年
9 吴承文;面向数据库的语义查询技术研究[D];浙江大学;2007年
10 曾高荣;数字水印的鲁棒性评测建模和算法研究[D];北京交通大学;2010年
中国硕士学位论文全文数据库 前10条
1 金磊;软件柔点操控难度的度量模型研究[D];燕山大学;2010年
2 孔春华;工程纠纷中权力差异影响机理及度量模型研究[D];浙江大学;2011年
3 张义强;我国上市公司信用风险度量研究[D];暨南大学;2003年
4 万友林;我国股票市场泡沫研究[D];上海海事大学;2004年
5 胡明;企业并购过程中文化风险的分析与测度研究[D];中南大学;2005年
6 宋新星;软件柔点操控难度度量过程的研究[D];燕山大学;2013年
7 李晓娜;基于目标驱动的流程度量模型及工具的研究[D];西北大学;2010年
8 何红霞;商业银行信用风险的形成机制与度量方法研究[D];华侨大学;2004年
9 陈立;现代企业组织结构风险及评估模型研究[D];中南大学;2005年
10 王宏冀;我国商业银行的操作风险研究[D];湘潭大学;2006年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978