检索结果-内蒙古大学图书馆

计算机研究与发展 2011年第2期48卷 232-240页

作者：李海峰李秋英陆民燕北京航空航天大学可靠性与系统工程学院北京100191

软件测试覆盖率是测试充分性和测试效率的有效度量指标,其与软件可靠性以及缺陷覆盖情况之间有着一定的相关关系,并且结合测试覆盖率信息的软件可靠性模型的评估和预计效果将会得到有效改进.在实际测试过程中,由于软件结构特征及学习因... 详细信息

软件测试覆盖率是测试充分性和测试效率的有效度量指标,其与软件可靠性以及缺陷覆盖情况之间有着一定的相关关系,并且结合测试覆盖率信息的软件可靠性模型的评估和预计效果将会得到有效改进.在实际测试过程中,由于软件结构特征及学习因素的综合影响,测试覆盖率可能会呈现出一种先增后减的趋势,Logistic函数恰好非常适合描述这类S形变化趋势,且结构简单,具有较好的灵活性与适应性.因此,针对基于Logistic函数的测试覆盖率函数以及软件可靠性建模等问题展开研究.首先提出基于Logistic函数的测试覆盖率函数;在该函数的基础上,提出基于Logistic测试覆盖函数的缺陷预计模型;然后,将NHPP可靠性模型的建模过程与Logistic测试覆盖函数相结合,提出一种新的考虑测试覆盖率的软件可靠性增长模型.实例验证结果表明:与若干已有的同类研究成果相比,提出的基于Logistic函数的测试覆盖率函数、缺陷预计模型以及软件可靠性增长模型有效地提高了函数或模型对数据的拟和精度,且具有较好的适用性.

关键词：测试覆盖率软件可靠性建模 Logistic函数缺陷预计模型软件可靠性增长模型

来源：评论

学校读者我要写书评

暂无评论

基于AADL的嵌入式软件可靠性建模与评估

基于AADL的嵌入式软件可靠性建模与评估

引用

作者：高志伟西安电子科技大学

学位级别：硕士

随着嵌入式软件的规模不断增大,复杂度迅速增加,嵌入式软件可靠性模型的建立越来越困难,模型不能很好地反映构件间的依赖关系。如何尽早建立软件可靠性模型,降低建模的复杂度,使模型反映出故障在构件之间的传播关系,是软件可靠性研究工... 详细信息

随着嵌入式软件的规模不断增大,复杂度迅速增加,嵌入式软件可靠性模型的建立越来越困难,模型不能很好地反映构件间的依赖关系。如何尽早建立软件可靠性模型,降低建模的复杂度,使模型反映出故障在构件之间的传播关系,是软件可靠性研究工作中的一个重要问题。AADL(Arichitecture Analysis and Design Language)作为一种针对嵌入式软件的体系结构建模语言,其概念框架为解决上述问题提供了途径。本文在对软件可靠性理论和AADL进行深入分析和研究的基础上,提出了基于AADL的嵌入式软件可靠性建模方法。文中首先以AADL结构模型为基础,通过AADL流信息确定构件间的故障传播路径,刻画构件发生故障后对其他构件的影响,同时使用流终点构件确定系统的失效,刻画不同构件对系统可靠性的影响,之后采用AADL错误模型机制建立可靠性模型的形式化描述。在此基础上,通过将AADL可靠性模型转换为广义随机Petri网可靠性模型,实现了软件可靠性的自动化定量评估。最后,采用本文设计并开发的AADL可靠性评估器对一个典型实例进行可靠性评估与分析,验证本文提出的可靠性建模与评估方法的可行性。

关键词：嵌入式软件 AADL 软件可靠性建模广义随机 Petri网

来源：评论

学校读者我要写书评

暂无评论

基因表达式编程在软件可靠性建模中的应用

引用

计算机科学与探索 2011年第6期5卷 534-546页

作者：李海峰陆民燕曾敏黄百乔北京航空航天大学可靠性与系统工程学院北京100191

基因表达式编程是一种基于遗传算法和遗传编程的新型机器学习技术,其具有更为优秀的数据挖掘能力,已被成功应用于函数发现领域。提出一种基于基因表达式编程的非参软件可靠性建模方法,该方法将基因表达式编程算法中的若干关键步骤(如初... 详细信息

基因表达式编程是一种基于遗传算法和遗传编程的新型机器学习技术,其具有更为优秀的数据挖掘能力,已被成功应用于函数发现领域。提出一种基于基因表达式编程的非参软件可靠性建模方法,该方法将基因表达式编程算法中的若干关键步骤(如初始种群函数集、适应度函数、终止条件等)与软件可靠性建模的若干重要特征相融合,在失效数据集上进行训练,从而获得基于基因表达式编程算法的非参软件可靠性模型。在若干组真实失效数据集上,将所提出的模型与若干典型的基于人工神经网络以及遗传编程的非参软件可靠性模型进行对比实例研究。实例结果表明,基因表达式编程算法的非参软件可靠性模型具有更为显著的模型拟合与预计性能。

关键词：软件可靠性建模基因表达式编程(GEP) 非参数化软件可靠性模型机器学习

来源：评论

学校读者我要写书评

暂无评论

考虑测试工作量与覆盖率的软件可靠性模型

引用

软件学报 2013年第4期24卷 749-760页

作者：李海峰王栓奇刘畅郑军李震中国航空综合技术研究所质量工程中心北京100028 北京航空航天大学可靠性与系统工程学院北京100191 江苏科技大学电子信息学院江苏镇江212003

为了进一步提升现有非齐次泊松过程类软件可靠性增长模型的拟合与预计精度,首先,提出一个同时考虑测试工作量与测试覆盖率的NHPP类软件可靠性建模框架.在此基础上,将变形S型测试工作量函数(IS-TEF)以及Logistic测试覆盖率函数(LO-TCF)... 详细信息

为了进一步提升现有非齐次泊松过程类软件可靠性增长模型的拟合与预计精度,首先,提出一个同时考虑测试工作量与测试覆盖率的NHPP类软件可靠性建模框架.在此基础上,将变形S型测试工作量函数(IS-TEF)以及Logistic测试覆盖率函数(LO-TCF)带入该建模框架,建立了一个新的软件可靠性增长模型,即IS-LO-SRGM.同时,还对利用该框架进行建模过程中的两个重要问题进行了描述与分析,即如何确定具体的TEF和TCF以及模型参数估计.然后,在两组真实的失效数据集上,利用该建模框架建立了最为合适的增长模型,即IS-LO-SRGM,并将该模型与8种经典NHPP模型进行对比.实例验证结果表明,所提出的IS-LO-SRGM模型具有最为优秀的拟合与预计性能,从而证明新建模框架的有效性和实用性.最后,对不完美排错情况进行了初步的讨论与建模分析.

关键词：软件可靠性建模测试覆盖率测试工作量非齐次泊松过程

来源：评论

学校读者我要写书评

暂无评论

非齐次泊松过程类软件可靠性增长模型

引用

同济大学学报（自然科学版） 2004年第8期32卷 1071-1074页

作者：刘宏伟杨孝宗曲峰赵金华哈尔滨工业大学计算机科学与技术学院黑龙江哈尔滨150001

现有的基于故障覆盖率的软件可靠性增长模型多是只考虑了累计故障覆盖率 ,没有描述每个测试用例能够获得的故障覆盖率 .为了使软件可靠性增长模型能更好地刻画软件的测试过程 ,建立了两个基于故障覆盖率的非齐次泊松过程类软件可靠性增... 详细信息

现有的基于故障覆盖率的软件可靠性增长模型多是只考虑了累计故障覆盖率 ,没有描述每个测试用例能够获得的故障覆盖率 .为了使软件可靠性增长模型能更好地刻画软件的测试过程 ,建立了两个基于故障覆盖率的非齐次泊松过程类软件可靠性增长模型 .第一个模型假设每个测试用例有相同的故障检测能力 ,能获得相同的故障覆盖率 ;第二个模型考虑了越晚检测到的故障其被检测到的概率越低的特点 ,模型假设每个测试用例的故障检测能力与其出现的次序相关 .利用一组公开发表的软件失效数据对这两个模型进行了验证 ,结果表明这两个模型在这组失效数据上均能得到较好的拟合效果 .

关键词：软件可靠性增长模型故障覆盖率非齐次泊松过程软件可靠性建模

来源：评论

学校读者我要写书评

暂无评论

考虑不完美排错的Logistic测试覆盖率软件可靠性模型

引用

计算机研究与发展 2010年第S1期47卷 216-223页

作者：李海峰王学成李秋英陆民燕曾敏北京航空航天大学可靠性与系统工程学院北京100191

软件可靠性增长模型(SRGMs)是软件可靠性定量评估的重要手段.测试覆盖率与不完美排错则是两种可有效改进软件可靠性增长模型评估性能的重要因素.将两种不完美排错假设与Logistic测试覆盖率函数分别引入NHPP类软件可靠性建模过程,提出两... 详细信息

软件可靠性增长模型(SRGMs)是软件可靠性定量评估的重要手段.测试覆盖率与不完美排错则是两种可有效改进软件可靠性增长模型评估性能的重要因素.将两种不完美排错假设与Logistic测试覆盖率函数分别引入NHPP类软件可靠性建模过程,提出两种考虑不完美排错的Logistic测试覆盖率软件可靠性模型(即ILTCS1与ILTCS2),并将这两种新模型与14种现有软件可靠性模型(包括经典模型、测试覆盖率模型以及不完美排错模型)分别应用于3组真实失效数据集.实例验证结果表明:1)ILTCS2模型在3组失效数据集上的评估结果均为最好(MSE值最小),且显著好于多数对比模型.这表明ILTCS2模型具有优秀的评估性能及适用性;2)选择合适的"完美排错"假设或"测试覆盖率"函数对模型评估性能的改进确实有重要影响.

关键词：测试覆盖率不完美排错软件可靠性建模 Logistic模型软件可靠性增长模型

来源：评论

学校读者我要写书评

暂无评论

基于影响因素与灰聚类的软件可靠性评价方法

引用

计算机工程 2018年第7期44卷 47-53页

作者：崔红军封亮王勇中国电子科技集团公司第三十二研究所上海201808

在软件开发与测试过程中存在的各种不确定因素,对软件可靠性有直接或间接的影响。在软件可靠性建模过程中考虑影响因素,可解决传统模型假设理想化、适用性较差等问题,实现对软件可靠性的综合评价。为此,对软件可靠性影响因素进行分析,... 详细信息

在软件开发与测试过程中存在的各种不确定因素,对软件可靠性有直接或间接的影响。在软件可靠性建模过程中考虑影响因素,可解决传统模型假设理想化、适用性较差等问题,实现对软件可靠性的综合评价。为此,对软件可靠性影响因素进行分析,总结出30种重要影响因素。在此基础上,提出一种基于影响因素和灰聚类的软件可靠性评价方法,借助灰聚类系统理论对影响因素进行灰关联分析与灰聚类计算,在各个研制阶段实现对软件可靠性的有效评价。研究结果表明,该方法可准确评估软件可靠性水平,直观反映可靠性增长趋势与薄弱环节。

关键词：软件可靠性建模综合评价影响因素灰聚类

来源：评论

学校读者我要写书评

暂无评论

复杂软件可靠性评估代数方法及其实证研究

复杂软件可靠性评估代数方法及其实证研究

引用

作者：张捷合肥工业大学

学位级别：博士

软件可靠性建模与评估是软件工程领域的一个重要研究方向。随着计算机软件进入人类活动的各个领域,对软件质量的要求越来越高,而软件可靠性作为代表软件运行安全性与稳定性的最重要指标,在衡量软件开发质量、保证软件系统可依赖性方面... 详细信息

软件可靠性建模与评估是软件工程领域的一个重要研究方向。随着计算机软件进入人类活动的各个领域,对软件质量的要求越来越高,而软件可靠性作为代表软件运行安全性与稳定性的最重要指标,在衡量软件开发质量、保证软件系统可依赖性方面发挥着重要作用,尤其针对应用于交通、电力、航天、国防等领域的一类安全关键软件而言。通过引入代数理论相关新的方法,围绕在软件开发前期如何有效开展可靠性建模与评估问题,论文主要解决了复杂软件的可靠性结构描述与计算困难,并进一步提出适用于软件结构演化过程的可靠性分析方法。同时论文在传统软件可靠性增长模型的改进以及可靠性结构化模型的实证方面也作了深入探讨。论文主要工作如下:(1)阐述了软件可靠性评估的研究背景与研究意义,明确了软件可靠性模型与软件可靠性评估之间的关系,对两类主要模型——软件可靠性增长模型与软件可靠性结构化模型分别从建模思想、主要模型及适用范围等方面进行论述,总结了目前软件可靠性建模方法存在的不足,指出需要进一步解决的问题。(2)针对软件开发后期可靠性预测问题,研究了结合测试工作量与故障检测率对非齐次Poission过程类可靠性模型的改进。首先详细论述了非齐次Poission过程类可靠性模型在引入测试工作量后的基本假设与数学表达,解释测试工作量的建模含义并列举了测试工作量函数的主要形式。其次讨论故障检测率对模型改进的作用,并引入可拟合不同测试阶段的故障检测率函数。在此基础上,构建了兼顾测试工作量与故障检测率两种要素的可靠性数学模型,用以对软件可靠性增长模型作出改进。实验表明,改进模型在预测精度、拟合优度等关键性能指标上整体优于其它代表性可靠性增长模型。(3)针对软件开发前期可靠性估计问题,研究了代数方法在结构化可靠性建模以及计算中的作用。首先通过引入代数工具将软件基本结构风格特征抽象为代数范式形式,并对每种代数范式附加可靠性计算准则,使得范式成为可匹配的一般性模式。然后对复杂软件结构建立由表达式组成的代数模型,表达式可由各基本范式组合、嵌套形成,用以表达软件局部及整体结构的复杂性。在此基础上提出代数模型的解析算法,算法将对诸表达式自动逐层识别并匹配各类型范式,从而完成复杂软件整体可靠性的求解。代数方法相较于其它可靠性结构化建模方法,更好地解决了对复杂软件结构的建模描述问题,并进一步形成一般性的可靠性计算方法。实验表明代数方法的可靠性评估结果是有效的,并在软件开发前期可靠性实时、自动计算方面展现出良好的适用性。(4)针对软件演化过程中的可靠性分析与评估问题,研究了基于代数方法的演化过程描述以及演化行为可靠性实时评估。首先讨论了软件演化问题的实质及其对可靠性的影响,阐明简单增量式演化与结构演化两类问题。然后通过对演化原子操作的定义,将软件演化过程描述为原子操作序列,并基于代数方法跟踪评估、分析演化序列中的每一步操作对整体可靠性的影响,形成面向软件演化的可靠性评估流程。通过实际算例验证,流程可有效分析演化关键环节及整体趋势,适用于反馈和约束演化方案设计以达到提高软件产品质量的目的。(5)针对在实际软件项目开发中可靠性结构化模型因缺少建模参数而不易应用的问题,研究了基于多项式回归和基于循环神经网络的模块可靠性数值估计方法。结合使用代数方法以及上述模块可靠性估计值,完成了对开源项目数个版本的整体可靠性评估。实证研究旨在解决如何有效实施可靠性建模与评估,根据实验阶段性结果与最终结果,并与使用测试失效数据的几种可靠性增长模型作对比验证,说明了从结构分析角度使用代数方法评估实际项目可靠性是可行的。

关键词：软件可靠性建模软件可靠性评估代数方法软件演化测试工作量故障检测率软件度量多项式回归循环神经网络

来源：评论

学校读者我要写书评

暂无评论

计算机选举系统上层软件可靠性的研究与评测

计算机选举系统上层软件可靠性的研究与评测

引用

作者：陈微中国科学院成都计算机应用研究所

学位级别：硕士

由于计算机选举系统上层软件应用环境的特殊性,因而有着严格的可靠性要求.该篇论文的主要目的就是对该软件的可靠性作出评测.论文分为三大部分:第一部分是对软件可靠性研究与应用的背景的简要介绍;第二部分是论文的重点,在这一部分中详... 详细信息

由于计算机选举系统上层软件应用环境的特殊性,因而有着严格的可靠性要求.该篇论文的主要目的就是对该软件的可靠性作出评测.论文分为三大部分:第一部分是对软件可靠性研究与应用的背景的简要介绍;第二部分是论文的重点,在这一部分中详细阐述了采用三种非齐次泊松过程(NHPP)系列的可靠性模型对选举软件的可靠性进行评测的过程.第三部分则对这三种模型的预测效果进行了比较.论文在结尾部分讨论了可靠性评测软件的开发思路,并对全文作了总结.

关键词：软件可靠性软件可靠性建模 NHPP模型软件可靠性工程

来源：评论

学校读者我要写书评

暂无评论

空管自动化系统软件可靠性评估方法的研究

空管自动化系统软件可靠性评估方法的研究

引用

作者：林琳中国民航大学

学位级别：硕士

本文主要研究空管自动化系统软件可靠性评估方法，采用软件可靠性建模技术、模糊数学、灰色系统理论三种方法对空管自动化系统软件可靠性进行了评估。\n 本文首先概述了国内外软件可靠性研究的发展状况，介绍了本课题的背景和研究意... 详细信息

本文主要研究空管自动化系统软件可靠性评估方法，采用软件可靠性建模技术、模糊数学、灰色系统理论三种方法对空管自动化系统软件可靠性进行了评估。\n 本文首先概述了国内外软件可靠性研究的发展状况，介绍了本课题的背景和研究意义；其次阐述了有关软件可靠性和软件可靠性模型的一些基本概念：随后，介绍了一些软件可靠性评估方法的理论知识；收集整理失效数据，采用软件可靠性建模技术建立可靠性模型，并对空管自动化系统软件的可靠性进行了评估；分析了影响空管自动化系统软件可靠性的因素，使用层次分析法结合物元分析法确定了因素的权重，提出并运用模糊综合评价模型对其可靠性进行评估；最后提出并采用多层次灰色综合评价模型对空管自动化系统软件可靠性进行了评估。研究表明，这三种评估方法的结果基本一致，在实际的工作中得到验证。

关键词：软件可靠性评估空管自动化软件可靠性建模模糊综合评价多层次灰色综合评价

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：