基于一致性修正下层次分析法的软件可信评估方法

来源 :西南大学 | 被引量 : 0次 | 上传用户:duyyy12345
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着信息技术的快速发展,软件已经渗透到各个领域和行业,承载着领域拓展,复杂问题解决的关键作用。然而,规模日趋庞大的软件不可避免的面临着各种缺陷和漏洞,软件失效,崩溃或被攻击的事件时有发生,软件可信问题日益凸显。在此背景下,“高可信”软件开发问题成为国内外学者共同关注的研究热点。其中,软件可信性评估作为保障和提高软件可信性的有力支撑,成为软件可信性保障的重要技术之一。软件可信性评估旨在根据用户需求对其所关注的软件质量属性集合做出量化的评价,以保证软件运行始终符合用户的期望。此过程需要识别和选取被评估软件系统的关键可信特征以构建可信评估模型;并从软件生产过程中收集可信证据以支持对构建的模型进行可信度量。然而,当前的软件可信评估模型及可信度量方法尚存缺陷,其问题归纳如下:(1)评估模型大多由质量模型直接转化而来,可信属性来源单一,且对相关属性是否适用于软件可信评估未加辨析,导致其可信评估模型解释性差、适用性不强;尤其无法面向汽车等特定领域的行业标准进行扩展,难以支持这类具有典型可信评估需求的行业进行应用推广;且其评估过程未考虑可信属性在软件开发不同阶段的关注点差异;(2)各可信属性的权重分配方法存在主观评分的随意性,其可信度量过程高度依赖决策者的人为评估准确性;并常因大规模权重给定时人为评估引入的偏差,导致可信属性的权重判别出现一致性问题。(3)可信度量的整体过程中,从各底层指标的测量到逐层向上的数据融合,全过程缺乏可用且高效的工具支持,人工计算过程十分低效且极易出错。针对上述问题,本文在总结分析传统质量模型和度量方法基础上,开展软件产品可信评估研究,尤其针对于车载软件这一典型的高可信攸关系统,研发了可信评估模型、方法框架以及原型工具。本文主要贡献及研究成果如下:(1)研究提出了软件产品可信评估层次模型iTrust Eval。首先,基于不同学术组织对于软件可信定义的关联及演化,探讨了基于传统质量模型进行软件评估方式的可行性。其次,对经典质量模型关注属性以及当前可信领域相关工作所关注的可信属性进行统计分析,以此构建通用可信属性清单,保障本文模型适用性。同时,提供i Trust Eval模型使用与扩展建议,并以汽车领域为例,考虑产品开发全生命周期不同阶段的可信属性区别,开发了面向车载软件系统的可信评估模型。(2)研究改进了可信度量过程中指标权重分配这一关键问题。描述了当前可信度量过程中权重分配的基本方法以及面临问题,并提出采用模糊理论对层次分析法(Analytic Hierarchy Process,AHP)这一主观权重分配算法进行改进的权重分配方法,基于模糊层次分析法(Fuzzy Analytic Hierarchy Process,FAHP)设计并开发了AHP-FAHP组合算法,有效均衡决策主观性与准确性。同时针对由于决策者输入数值的不一致性导致的AHP算法结果失效问题,提出基于多目标优化的矩阵一致性修正方法(Multi-Objective optimization-Pairwise Comparison Matrix correction,MO-PCM)。(3)研究开发了支持软件可信评估的原型工具。本文设计并开发了i Trust Eval评估模型及其相关算法所对应的可信评估原型系统。并以此为工具,针对于车控软件这一典型的汽车系统组成部件进行可信评估案例分析,在证明本文可信评估框架有效性的同时,详细说明原型系统的使用流程,以提高可信评估效率。
其他文献
<正>当前,我国农村土地的细碎化已经不适应农业机械化、规模化和集约化经营的需要。2014年,在有关部门支持下,安徽省怀远的农户自发将自家零碎承包地进行整合,形成一户一块大田的耕种格局,在收割、耕种、灌溉等环节所费成本和工时大幅减少,基本实现了全机械化操作,保守估计每年每亩节省成本50元以上,亩均增收100元以
期刊
党的十八大以来,党和国家高度重视教材工作,将教材作为国家事权,对构建高质量职业教育教材体系提出了新的要求。在深化现代职业教育体系建设背景下,教材既是教育教学改革的重要载体,也是教改成果的阶段性呈现。在全面分析高质量职业教育教材体系建设逻辑起点的基础上,确定职业教育教材建设的基本思路,即以重点领域专业课程改革和优质教材建设项目为抓手,以校企共同开发、彰显类型特色的产教融合优质教材为引领,推动教材质量
期刊
期刊
<正> 凡由两种或多种单体构成链节的高聚物称为共聚物,而合成此类聚合物的过程叫做共聚反应。按聚合反应机制可分为自由基型和离子型两种。根据生成的共聚物链结构序列的不同,则可分为无规共聚、交替共聚、嵌段共聚和接枝共聚。本世纪初发现了共聚现象。早期主要研究了异戊二烯和丁二烯,丁二烯与苯乙烯和丙烯腈,以及一系列烯类和双烯类单体的共聚反应,并且得到了一些有价
期刊
为解决农村饮水安全问题,以优质水源为依托,德州市以水质安全为前提,打破城乡供水二元分割的供水模式,于2013年底建成城乡供水一体化工程体系。为持续提高农村供水服务保障能力,建立完善水质检测体系和供水服务体系,取得了显著成效。
期刊
<正>随着数字技术的发展,艺术与科技的不断融合,沉浸式艺术在展览中的运用和呈现越来越普遍。自2015年余德耀美术馆推出“雨屋”展览后,沉浸式艺术开始在国内得到关注,也吸引了大批的观众。2017年,日本新媒体艺术团体TeamLab的展览在北京、深圳、上海等地相继展出,其利用光影打造的亦真亦幻的互动场景,使观众在欣赏和体验的过程中获得沉浸式体验。由此,关于沉浸式艺术的研究也随之兴起,
期刊
报纸
<正>唐代诗人在诗中使用数字极为广泛,有些诗因运用数字出色,被广泛流传。如张祜的《宫词》:"故国三千里,深宫二十年,一声何满子,双泪落君前。"全诗仅二十字,数字竟占一半,正是这一半的数字,使其成为名诗。唐代诗人骆宾王善于使用数字对,如"山河千里国,城阙九重门","秦地重关一百二,汉家离宫三十六"……诗歌节奏鲜明,时人称之为数博士。数字本是枯燥的,但诗人运用得巧妙,加减乘除,无所不用,因语境不同,竟
期刊
地方政府融资平台不仅为推动我国地方实体经济和特色社会主义建设筹集了必需的财政资金,有效推进了我国新型城镇化的建设进程,而且在实施应对当前国际金融市场危机的冲击和刺激我国经济增速回升的政策过程中也发挥了积极的促进作用。但是,近年来随着我国各级地方政府融资平台经营规模的急剧扩张,各种潜在金融风险逐渐开始暴露出来,且由于地方政府融资平台与地方政府之间千丝万缕的联系,导致平台公司在运营管理上缺乏市场化和独
学位
本研究选取机械领域发明专利实质审查阶段的三个实务案例,探讨了发明创造性判断过程中最接近现有技术的改进动机对结合本领域公知常识的影响和对其他对比文件结合启示的影响,以及其他对比文件具有相反教导时结合启示的考量。对发明专利实质审查程序中,创造性的“三步法”的应用具有一定的参考意义。
期刊