【摘 要】
:
在信息技术的带动下,软件在社会发展中占有越来越重要的作用。软件的质量问题,特别是可靠性属性等得到足够的重视。软件可靠性模型从数学角度对故障出现过程建模,有效地评估了软件可靠性。软件可靠性模型通常由两个影响因素构成:描述全部故障的故障总数和描述测试环境变化的故障检测率。目前研究主要集中于提出不同形式的影响因素,而从影响因素角度分析其对软件可靠性模型的影响的研究较为匮乏。针对以上问题,本文在统一的软件
【基金项目】
:
山东省自然科学基金项目——《考虑复杂测试环境影响的大型软件不完美排错可靠性模型构建与扰动因素评测研究》; 山东省威海市科研创新基金项目——《面向复杂不完美排错环境的软件可靠性影响因素评测与决策机制研究》;
论文部分内容阅读
在信息技术的带动下,软件在社会发展中占有越来越重要的作用。软件的质量问题,特别是可靠性属性等得到足够的重视。软件可靠性模型从数学角度对故障出现过程建模,有效地评估了软件可靠性。软件可靠性模型通常由两个影响因素构成:描述全部故障的故障总数和描述测试环境变化的故障检测率。目前研究主要集中于提出不同形式的影响因素,而从影响因素角度分析其对软件可靠性模型的影响的研究较为匮乏。针对以上问题,本文在统一的软件可靠性框架模型下,重点分析不同影响因素对于软件可靠性模型的影响。此外,本文;还在故障总数视角下提出两种性能良好的不完美排错模型。首先,针对无法直接验证故障总数性能的问题,本文对故障总数进行深入研究和系统述评。提出了统一的软件可靠性框架模型,分别考虑了直接设定总故障数量与累计检测故障函数的线性形式与微分形式,求得累积检测的故障数量与软件中总故障数量。并在真实失效数据集上分析不同故障总数对应的框架模型的拟合预测性能,分析故障总数、失效数据集与软件可靠性三者的关系。结果表明,故障总数与失效数据集对可靠性模型具有明显影响。其次,针对软件测试环境的复杂性,本文对故障检测率进行系统性地分类论述。提出了两种实证分析方案:单可靠性模型单数据集多故障检测率与多模型多数据集多故障检测率,分别用于验证单一测试环境和综合测试环境下的故障检测率对软件可靠性的影响。应用基于信息熵的优劣距离决策算法分析故障检测率的功效影响。经实验分析,故障检测率对软件可靠性影响与失效数据集相关,幂函数与S型故障检测率对应的软件可靠性模型的综合性能较好。再次,针对没有一种不完美排错模型在众多失效数据集上表现良好的问题,本文对不完美排错软件可靠性模型进行详细探讨。基于故障总数与累计检测故障数的线性形式和故障总数增长率与累计检测故障数增长率的微分形式的假设,提出两个一般性不完美排错框架模型。四个失效数据集的验证结果表明,相较于其他经典不完美排错模型,本文所提出模型具有优秀的拟合与预测性能,证明了新建模框架的有效性和实用性。最后,基于系统性的深入研究,设计并实现了软件可靠性模型影响因素评测系统,系统包括软件可靠性模型估计、影响因素计算、影响因素推荐等功能。本系统帮助可靠性研究人员提升研究效率,对软件可靠性建模具有参考意义。
其他文献
先天性心脏病是最常见的胎儿出生缺陷疾病,对其胎儿期筛查可以早发现早治疗,减少并发症和降低死亡率。超声是筛查胎儿先天性心脏病最主要的医学影像手段,具有无辐射、可同时评估结构和血流情况等优势。近年来,随着人工智能技术的发展,基于深度学习进行胎儿心脏病筛查,可以学习优秀医生的诊疗经验,为先心病筛查提供辅助诊断,同时还可以缓解医疗资源分布不均衡等问题。本文研究基于深度学习的胎儿心脏病辅助诊断,主要包括胎儿
学习能力是核心素养发展的关键要素。本文从学习能力视角,厘定教学关键问题,制订评价指标体系,从作业的内容、形式、实施过程等方面探究作业优化设计:阶梯式作业,在任务进阶中培养积极的学习情感;听读型作业,在循环复现中培养良好的学习习惯;实践类作业,在问题解决中有效运用学习策略。
阵地进攻是篮球比赛的主体,阵地进攻的成功率反映了球队的进攻实力和战术素养。其中无球掩护配合是篮球比赛中重要的配合之一,是当今篮球发展趋势下必不可少的进攻手段。CUBA作为中国大学生篮球水平最高的赛事,许多球队存在阵地进攻成功率低、进攻出手不合理的问题;许多大学生球员对无球掩护配合的功能认知不清晰、使用不到位。因此本文希望通过研究探究大学生男子篮球比赛中无球掩护配合给阵地进攻带来的影响,帮助大学生球
随着互联网的日益普及,互联网已经成为广大人民获取新闻咨讯的主要途径。同时,社交媒体平台在使用上具有很大的便携性,使得任何一个使用互联网设备的用户在阅读资讯内容的同时,可以随意发表自己对事件的观点和感受,这造成了一个信息爆炸的局面,在社交媒体平台上每一分钟都有大量的信息发布,而且信息的传播速度极快,很快会被大量转发。在海量的信息中,包含大量的不实信息,这些不实信息带来的影响经常是负面的,给社会秩序和
视频理解任务的重要组成部分之一——视频时序动作检测,旨在预测动作的起止时间区间以及预测动作的类别,已经发展成一个十分有前景的学术研究和产业应用方向。虽然视频时序动作检测任务在视频推荐搜索以及智能监控等领域已经取得了不错的表现,但是在实际应用的过程中仍然存在不少问题以及可以提升的空间。本文重点关注弱监督时序动作检测以及融合语句查询的时序动作定位这两个相关任务,对于弱监督时序动作检测任务,不管是基于注
口译是特殊的语言处理活动。其即时性的特点在同声传译方面表现得尤为突出。口译员在紧迫的时间压力下,必须理解源语信息,短暂存储这些信息,同时生成相应的目的语。除了必要的语言技能,口译员必须有良好的信息存储能力。而工作记忆正是负责信息的存储和加工,所以工作记忆对口译的顺利进行起着至关重要的作用。虽然已有大量研究探索了工作记忆能力和口译质量的相互关系,但研究结论存在差异,而且大部分研究仅停留在理论分析层面
本研究运用文献资料法、问卷调查法、访谈法等研究方法,对上海市普陀区校园足球“一条龙”人才培养体系的学校布局、校园足球文化积淀、学业与竞训、人才输送衔接、硬件与师资情况一系列相关因素进行调研,梳理出现阶段上海市普陀区校园足球“一条龙”人才培养体系在发展建设过程中存在的一系列问题,并总结问题症结所在,并进一步对未来如何完善普陀区校园足球“一条龙”人才培养体系,从而为该区更好地推广普及校园足球,培养精英
亲社会行为是一切对他人有益并有助于社会和谐的行为,体育教学中比赛情境能为其构建支持性环境,但在实际教学中由于缺乏持续的阶段性评价,无法提供形成积极社交行为的条件。形成性评价作为引导学生有效调控、提供持续反馈的评价,能够在触发亲社会行为动机方面发挥重要作用。目的:探索比赛情境教学中形成性评价对女大学生亲社会行为的影响,为亲社会行为在体育教学中的培育以及形成性评价在体育课程中的应用提供一定的参考。方法
随着科学技术的不断发展,现代工业制造技术的精进,产品设计和生产自动化程度的不断提高,复杂曲面被越来越多地应用到诸如航空工业、汽车工业、建筑设计和精密零件等的生产制造中。尽管目前复杂曲面的造型和加工制造软件已经非常强大,但它们多数被掌握在西方国家手中,而且能否构造符合工业需求的复杂曲面并将其完美制造出来仍是值得挑战的难题。因此本文对复杂曲面生产中的造型与侧铣加工两个流程进行研究,旨在构造形状优良的曲
随着工业控制网络与公共网络高度互联,工控协议在设计、实现之初对安全问题考虑不充分的缺陷,已严重威胁到工业控制网络的正常运作。模糊测试作为一种高效的漏洞挖掘方法,成为了近年来在工控协议安全领域的新兴研究方向,然而现有相关研究主要聚焦于模糊测试中的某个阶段,对工控协议的漏洞挖掘效率提升有限。因此,本文从整体角度出发,针对私有工控协议漏洞挖掘难度大、缺乏工控协议的统一描述、测试用例响应率低等问题,提出相