软件可信性评估模型的研究

被引量 : 2次 | 上传用户:linmu22952
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件系统的应用在各行业的不断深入,使得软件可信性在学术界受到了高度关注,形成了围绕“软件可信性”问题的研究热点。软件可信性评估是软件可信研究中的一个基本问题,在软件可信性保障活动中占据了极其重要的地位。对于软件可信性的评估,前人做了不懈的努力,提出了多种评估模型。总结起来,这些模型主要集中于软件可信评估算法模型的研究,具有以下不足:对于评估过程中所涉及到的各种概念,没有给出明确的定义与说明;受软件形态的限制,所提出的评估模型仅限于领域内的软件评估。这使得评估模型之间的复用性较差,应用的范围也比较窄。针对以上提出的问题,本论文从软件可信性评估的流程入手,对可信评估的各个方面进行抽象,提出了一种通用的软件可信性评估框架为解决方案。本文从社会学角度出发,并结合关于可信计算的研究,对软件可信性概念的一般性含义进行了阐述与说明,为评估模型的提出奠定了理论依据。通过对软件可信属性的研究,验证了通过“可信属性建模”的方式进行软件可信性评估的可行性,并对软件可信性的度量,从软件使用者的角度进行了等级划分与定义。文章中给出了可信性评估模型的通用性框架,探讨了基于可信属性建模模型进行软件可信性评估的具体实施过程,详细说明了评估的各个过程,并进行了建模元素的抽取与评估元素的XML语言规则的建立。针对证据数据标度的不同给软件可信性评估带来的影响,该模型将可信证据与可信属性通过指标进行连接,消除了差异性。利用AHP方法与改进后证据理论的结合以及模糊综合评判方法,本文提出了一种可行的软件可信性评估方法,通过对实际软件的评估分析,阐述了该评估方法的具体实施过程,并对所得结果进行了分析。
其他文献
工业无线传感器网络协调器是整个网络的主控制器,负责网络的建立、成员身份管理、链路状态信息管理以及分组转发等任务。目前国内存在的工业无线传感器网络应用中,往往是借助
电子商务的快速发展创造了巨大的经济效益,同时也给实体流通经济带来了深刻的商业变革。电子商务供应链缩短了供应商与零售商(电商网站)的渠道,其参与方可通过信息系统实现电
随着信息科学技术的飞速发展,办公自动化系统在技术和应用上都得到了更高层次的发展,人们逐渐意识到合理运用办公管理系统可以使日常办公工作更加方便、快捷和高效。虽然国内
<正>"两、三位数除以整十数笔算除法"是北师大版教材四年级上册第五单元的教学内容。其最直接的基础是二年级下册"表内除法"的竖式计算、"有余数除法"和三年级上册"两、三位
期刊
3GPP长期演进(LTE)具有更低的传输时延、更高的传输速率、优化网络架构、降低运营费用等众多优点,作为最具影响力的宽带移动通信标准之一获得了较快发展。无线资源管理是LTE
<正>所谓"锚定效应"(Anchoring effect)是指当人们需要对某个事件做定量估测时,会将某些特定数值作为起始值,起始值像锚一样制约着估测值。在做决策的时候,会不自觉地给予最
在工业化晶体硅太阳能电池工艺中,丝网印刷技术一直都是研究的重点。丝网印刷分为电极工艺和烧结工艺。电极工艺主要作用是电极的印刷,而烧结工艺则侧重于金属与半导体之间的
在当代艺术的创作背景下,当下的艺术色彩斑斓,当今社会对物质、金钱形成一种极端的畸形的信仰。有一群人不喧嚣,在自我冥想中表达,跟中国当下的艺术家不同,现代人中这一批人
目的:探讨热敏灸治疗大龄儿童弱视的疗效。方法:近3年来门诊就诊且诊断为弱视的患儿,年龄8-14岁,经验光配镜后随机分为治疗组51例(67眼)和对照组45例(55眼)。对照组用红光闪
随着新课程改革的推行,中学历史教学中的各种新理念和新方法层出不穷,使“以生为本”的核心理念在教学中得到了更多体现。这其中“神入”历史教学方法在近几年异军突起,为众