基于软件老化的软件可信性度量模型设计与工具实现

来源 :华东师范大学 | 被引量 : 0次 | 上传用户:lhaho
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
伴随软件的高速发展,各种软件事故层出不穷,这些事故导致的灾难性后果让人们意识到软件可信性的重要性,对可信性进行度量作为质量保证的重要手段不可或缺。传统可信性度量大多通过研究影响软件可信性的属性来量化评估软件整体的可信性,而可信属性相关度量考虑的因素大多偏向静态,往往会忽略软件在运行一段时间后产生的变化,无法反映出不同运行时刻软件可信度的变化情况。本文着重关注软件老化对软件可信性的影响,研究运行时间与软件可信度之间的关系,从提取失信证据的角度出发,设计一种与运行时间相关的软件可信度量模型,让软件可信度随运行时间发生变化。本文主要在以下三个方面进行了研究:首先,本文通过研究软件老化相关bug提取失信证据,然后为失信证据划分风险等级和对应的风险值,并以此为基础设计基于软件老化的失信证据度量元模型,通过对度量元分类并结合熵的概念,研究不同类型度量元对软件可信性的量化影响。其次,本文设计一种针对软件老化的软件可信性度量方法,研究导致软件老化的不同原因对软件可信性的影响,以“度量元-软件老化原因类别-软件”分层设计了基于软件老化的软件可信性度量模型,采用Brassard优先次序全面分析法确定各类别度量元的权重。最后,本文开发了基于软件老化的软件可信度量评估工具。该工具功能分为基本信息管理和可信度量评估两部分,实现了项目管理、失信证据处理、可信度计算、权重计算等功能,可以有效反映软件可信度随运行时间的变化情况。该工具将理论与实践结合,完成了基于软件老化的软件可信性度量模型及工具实现的全过程,丰富了软件可信性的基础研究理论体系。本文创新性地从失信角度构造度量元模型,量化分析可信性在软件老化的影响下随运行时间的变化情况,构建了一套完整的可信度量体系,包括可信性量化分析、度量模型构建和评估工具实现。在理论创新的同时,具有很强的实际应用价值,有助于提高需要长时间运行软件的可信性。
其他文献
从真实情境下的口语交际,发展儿童的语言智能;在游戏活动中练口语,发展儿童的身体运动智能;唱歌练口语,发展儿童的音乐智能;合作学习,完成口语交际任务,发展儿童的人际交往智能四个方
综述了荆州长江公路大桥31号主塔水下砼、大体积砼、高标号高泵程砼等各部位不同强度砼配合比设计的基本要求,介绍了砼原材料选择、配合比设计与施工技术,并对砼质量进行了评
给出了一个更为简单高效的两阶段去除图象椒盐噪声的方法。第一阶段:应用自适应中值滤波方法来检测图像中的噪声点;第二阶段:应用全局的BB方法来求解一个极小化问题。通过对第二
(河北省秦皇岛市抚宁县台营镇麻姑营中学,河北 秦皇岛)    [摘 要]:在新课程标准下,加强对初中生数学学习基本方法中的“读、听、思、写、记”的指导是十分重要的,可以提高学生学习兴趣,增强学生的自主学习能力。  [关键词]:初中 数学 学法指导    随着新一轮课程改革的深入,教师改变了长期以来数学教学偏重于对教的研究,改变了钻研教材多、研究教法多,而对学生是如何学的、学的活动是如何安排的往往很
投篮的效率不仅取决于熟练的技术与战术,良好的心理状态也非常重要,针对投篮过程各阶段的心理分析,给予科学的心理训练是不可缺少的。
以玉米淀粉为原料,先用a-耐高温淀粉酶处理,制备多孔玉米淀粉,然后以环氧氯丙烷(ECH)为交联剂,合成具有多孔结构的颗粒态交联淀粉絮凝剂,并对交联工艺进行了初步优化。制备多孔交联
在新课程改革的今天,对学生的素质教育越来越重要。在这种情况下,对学生的写作能力也有了更高的要求。本文针对高中英语教学中的写作技巧进行了阐述。
多元智能理论认为多元情境化教学策略是激发学生学习兴趣的有效办法。本文介绍了多元情境化教学策略:(1)多元导入——激趣激思;(2)运用节奏韵律开发音乐潜能——寓教于“乐”;(3)合作
20世纪80年代化学家Shechtman首次在快速冷却的铝锰合金中发现了准晶体,20年后科学家又在自然界中发现了软准晶体。此后,许多材料相继进入了软准晶系列,包括液晶、聚合物、纳
锅炉系统的氧腐蚀,是锅炉在用和停用期间的常见问题。工业锅炉和电站锅炉由于设备参数的不同,对锅炉给水的含氧量的要求也不一样。通过文章作者实际工作,分析各种除氧方式,找