基于云模型的软件可信性评估模型

论文摘要

随着信息化时代的来临,软件应用领域不断扩展,已经深入到社会生活的各个层面。然而伴随其应用的广泛与深入,软件的复杂程度越来越高。复杂庞大的软件系统如何向用户提供可信的服务,成为现代软件工程领域研究的重要课题。可信软件所研究的主要问题之一是软件可信性度量,而量化度量问题更是其中一大难点。本文正是针对软件可信性的量化度量问题,提出了基于云模型的软件可信性评估模型。基于云模型的软件可信性评估模型是以云模型理论作为可信评估的理论基础,其中还运用了软件体系结构的研究方法,将软件系统分解为构件及连接件,采用自底而上的方法对软件系统的可信性进行评估。为了使评估模型有的放矢,本文以REST表述性状态转移超媒体分布式架构系统作为应用背景,从实际应用的角度出发,对可信性评估模型的有效性进行了验证。与此同时,本文使用马尔科夫模型对REST风格系统做出可信性评估,与基于云模型的评估模型进行对比试验,从另外的角度验证本文提出的评估模型的正确性,并且对比出其在评估过程中的全面性和灵活性。本文提出的评估模型可分为四个层面,首先是对可信基本参数的获取,通过设计好的测试程序实现,并将其作为最底层的输入。接下来生成用于评估软件系统服务级可信性的云模型,主要使用逆向云生成算法,算法的输入参数为测试程序获取的可信基本参数。第三个层面是合成评估软件系统构件级以及系统级可信性的云模型,主要使用信任云合成算法,算法的输入参数为组成构件服务的评估云模型。最后,提出了云模型的应用,级在可信构件选取和软件系统可信性分析中应用。

论文目录

• 摘要
• Abstract
• 1 绪论
• 1.1 研究背景
• 1.2 国内外发展现状
• 1.2.1 软件可信性发展现状
• 1.2.2 云模型理论发展现状
• 1.3 本文研究内容及成果
• 1.4 本文组织结构
• 2 相关技术介绍
• 2.1 软件可信性
• 2.1.1 软件可信性
• 2.1.2 软件可信性度量
• 2.2 云模型介绍
• 2.2.1 云模型的概念
• 2.2.2 云模型理论与其他理论的对比
• 2.3 REST架构风格介绍
• 2.3.1 REST概念介绍
• 2.4 马尔科夫模型介绍
• 3 软件可信性评估模型设计
• 3.1 资源构件与连接件
• 3.2 可信性评价参数设定
• E→T参数设定'>3.2.1 S^E→T参数设定
• E→Rt参数设定'>3.2.2 S^E→Rt参数设定
• E→Ro参数设定'>3.2.3 S^E→Ro参数设定
• E→D参数设定'>3.2.4 S^E→D参数设定
• 3.3 参数获取模型设计
• 3.4 可信性评估模型设计
• 3.4.1 信任云
• 3.4.2 评价体系建立和计算
• 3.4.3 REST系统整体评估
• 3.5 可信性评估模型建立
• 4 实验结果与分析
• 4.1 实验场景
• 4.1.1 规划数据集
• 4.1.2 资源设计
• 4.2 实验设计与结果分析
• 4.2.1 生成服务信任云
• 4.2.2 生成构件自身信任云
• 4.2.3 生成构件交互信任云
• 4.2.4 资源构件评估
• 4.2.5 基于REST的网上考试系统的综合信任云生成过程
• 4.2.6 马尔科夫模型对比实验
• 结论
• 参考文献
• 攻读硕士学位期间发表学术论文情况
• 致谢