基于组件的软件可信性度量模型设计与实现

来源 :华东师范大学 | 被引量 : 0次 | 上传用户:fancysoul
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件可信性是软件工程一个重要研究领域,而软件可信性度量是可信软件一个研究热点,其目的是对软件可信性进行量化评估,保障软件产品的质量。起初的软件可信度量大多是将软件作为整体,通过研究影响软件可信性的属性量化评估整个软件可信度。随着软件技术的不断发展,软件规模越来越大,基于组件的软件开发技术已成为软件开发的主流技术。本文着重关注组件的可信性量化模型,将组件分为关键组件和非关键组件,在此基础上建立一种基于组件的软件可信性度量模型,推动可信软件工程的发展。本文主要围绕以下三方面进行展开:首先,构建组件可信量化评估体系,并在此基础上,建立基于组件的软件可信性度量模型。通过研究组件的特性,构建组件可信量化评估指标体系,在此基础上设计基于属性的组件可信性度量模型,据此计算出组件可信量化指标;然后在计算出组件可信性的基础上,设计了基于组件的软件可信性度量模型,结合软件可信分级模型表,计算出软件的可信值并划分软件的可信等级。其次,设计面向组件的软件可信性分配方法。首先建立软件可信性分配方法,通过给定软件需要达到的最低可信度,分配给每个组件可信值;然后建立组件可信性分配方法,通过给定组件需要达到的最低可信值,计算出每个属性、规范、度量元的可信度量值。最后,开发基于组件的软件可信性度量模型工具。该工具功能包括可信证据设定模块、可信性评估模块和评估结果输出模块,实现可信证据的输入、组件可信度计算、软件可信度计算等功能。该工具将理论与实践相结合,完成基于组件的软件可信性度量模型与工具实现的全过程,丰富了软件可信性的基础研究理论体系,为可信软件工程应用提供方法和技术支撑。
其他文献
随着改革开放带来的经济发展,我国城市化建设步伐不断加快,国家在社会建设中对土地的需求日益旺盛,集体土地被国家征收不可避免。集体土地征收中失地农民权利现状如何?法律规定与执行是否一致或者冲突?我国相关法律制度存在哪些需要完善之处?文章以贵州省黄平县农民土地征收执行现状和失地农民权利保护现状为例进行探索。全文除绪论外共分四个部分。第一部分主要是基本理论概述,为论文立论提供理论支撑。一是对集体土地征收涉
一、利用手持技术探究二氧化碳的温室效应关于二氧化碳的温室效应,在初中化学教材鲁教版第六单元第三节和人教版七年级初中生物第五章第二节中都有涉及,但是两版教材都是直接给出科学界存在的观点,化学教材也只给了"美国夏威夷冒纳罗亚山顶空气中二氧化碳含量随时间的变化曲线",均没有给出
期刊
近年来,车辆保有量的增多导致公有车位资源愈加紧张。相反,私有停车场存在大量空闲车位,这导致了资源的巨大浪费。针对此问题,智能停车方案应运而生。然而,智能停车方案带来停车便利的同时也引入了新的安全性问题,例如:隐私泄露和公平性。现有的智能停车方案都是基于中心化设计,其中心服务器易受单点攻击,导致用户数据的丢失。而具有去中心化,不可篡改,可公开验证等特性的区块链系统为智能停车场景赋予了新的能力。不幸的
近年来随着机器学习的发展越来越迅速,卷积神经网络在计算机视觉尤其是图像语义分割任务中的应用也越来越广泛。训练高精度的分割网络需要大量的标记数据,但实际应用中数据集的像素级标签难以获取。针对训练中缺少标记数据的情况,分割网络只能通过无监督学习实现微弱的精度提升。为了减少获取真值标签的开销并提高无监督语义分割的准确率,研究人员开始关注迁移学习及域适应策略。迁移学习利用公共大型数据集或其他易于获取真值的
多路径效应降低了伪距和载波相位观测的精度,严重影响了复杂环境下GNSS精密单点定位(Precise Point Positioning,PPP)的收敛性能。近年来,基于时空重复性的多路径改正方法由于其在复杂度及实时性等方面的突出优点,成为学界和业界的研究热点。与传统的时间重复性方法相比,空间重复性方法具有算法简单、易于实施等优势。作为典型的空间重复性改正方法,多路径半天球图(Multipath H
高送转方案曾经是我国A股市场上市公司热衷采用的利润分配方式。上市公司能够通过高送转方案快速扩大股本、增加股票的流动性。然而,高送转概念却被恶意炒作,成为内部人进行利益输送的方式,不少“低股价、低业绩、高股本”的企业跟风实施高送转方案,损害中小投资者利益,引起监管部门的重视。2018年,沪深交易所发布高送转新指引,明确了不同板块高送转的定义,且对高送转企业作出进一步要求。这一举措令不少上市公司想借助
命名实体识别是指在文本中识别出包含特定意义的命名实体。在互联网时代,以微博为代表的社交媒体中每时每刻都在产生着大量的文本数据,对这些文本进行命名实体识别可以获得相当大的应用价值。目前,针对中文微博文本的命名实体识别仍面临着一些困难:1.微博文本存在着用词不规范、口语化严重等问题,对这些不规范文本的识别准确度仍然很低。2.与英文相比,中文单词之间缺乏明显的边界信息,因此中文命名实体识别通常使用基于字
粒径小于5 mm的塑料称为微塑料(MPs)。它们在大气、水、土壤中累积,污染环境,危害生物和人体健康。目前关于降解MPs的研究集中在生物法和光催化法。生物法对环境污染小,但是它依赖微生物的种类,反应条件严格。光催化法的成本低,但是反应过程中氧化剂的损失会限制反应速率。三维电化学反应器(3DER)是在二维电化学的基础上,填充材料而构成。由于其氧化能力高,能源利用率高,能耗低等优点,三维电化学技术被广
英雄烈士为中华民族伟大事业和民族独立解放作出重大贡献,理应受后代敬仰。但是,近年来,社会上出现了很多贬损抹黑英雄烈士形象,歪曲、否定他们英雄事迹和精神的行为,不仅侵害了英雄烈士的名誉、荣誉等人格利益,更损害了其人格利益中融入的社会公共利益。针对这些行为,我国在制定《民法总则》时增加了第185条规定,并颁布了《英雄烈士保护法》,以弥补对英雄烈士人格利益保护的不足,对尊崇英烈,弘扬英烈精神和社会主义核
贫困是全世界范围内的命题,消除贫困是全世界各国政府都在为之努力的一件事。中国作为世界上最大的发展中国家,存在着贫困人口基数大、分布范围广、贫困程度不一等现状,我国也是全世界脱贫减贫工作最大的推动者,经过几十年不懈的努力和积极的探索,走出了一条有中国特色的脱贫减贫道路。本文以C县省派驻村“第一书记”工作为研究对象,通过访谈和走访的方式了解他们在开展“抓党建促脱贫”工作中取得的成绩和开展作中遇到的问题