以软件可靠性增长测试推动软件可靠性工程的实施

针对航空机载武器系统嵌入式软件可靠性工程实施现状,提出以软件可靠性增长测试为基础。推动软件可靠性工程的实施的观点,并给出由软件可靠性增长测试推动软件可靠性工程实施的具体过程。     

软件可靠性工程模型的研究

软件可靠性是七十年代由软件工程与可靠性学科相结合产生的一个新分支，是一个很有发展前途的新领域。现在，可靠性学科的一些基本原理和方法已逐步渗透到软件生存期的设计、测试和维护等各个阶段。本文主要介绍了与分析／设计阶段有关的软件可靠性分配模型，用于对软件产品的可靠性作出定量预测和评估的软件可靠性预测模型；另外，本文还讨论了软件维护阶段对软件可靠性的影响。     

基于软件可靠性工程的测试模型

软件可靠性工程是软件工程的一个重要分支,主要建立在操作剖面、软件可靠性模型、概率论和软件测试等理论的基础之上。该文结合软件可靠性、软件可靠性工程和软件测试的相关理论,设计了可靠性测试模型,并在市政交通一卡通工程系统中进行了实际验证。     

星载软件可靠性工程研究与实践

为提高星载软件的可靠性,针对某星载软件的特点,讨论了开展软件可靠性工程的实施框架和过程,分别从软件可靠性设计、分析、度量和测试四个方面进行了总结和评述.重点论述了软件可靠性设计准则,软件故障模式及影响分析和软件故障树分析技术的特点,软件可靠性度量的选择方法,以及软件可靠性测试的评估规程和可靠性模型的选择方法,并给出了技术应用的结果,证明了这些方法的可行性和适用性.     

基于改进模拟退火算法的软件可靠性模型参数估计方法

为提升现有软件可靠性模型的拟合性能和求解精度,结合软件可靠性模型求解特征,提出一种改进的模拟退火算法。在此基础上,提出基于改进模拟退火算法的软件可靠性模型参数求解方法(简称为MSAE法),并将新方法应用于4组失效数据集。工程应用结果表明,与最大似然估计(MLE)法、和声搜索(HS)算法和蚁群(AC)算法相比,MSAE法可有效改善软件可靠性模型参数求解不收敛的情况,并且可以有效提升现有软件可靠性模型的拟合性能。     

软件可靠性工程框架和评估系统实现

给出了软件可靠性工程的实施框架,它规范了软件可靠性评估的过程.文章还提出一个软件可靠性评估系统的体系结构,并给出了实现所需要的一些关键技术.已经依此实现了一个软件可靠性评估系统CaSoR(Computer aid Software of Reliability),并已经被实际     

软件可靠性工程综述

软件可靠性工程是近年来随着软件开发规模不断扩大,为了降低开发风险、减少成本、保证软件质量而提出的。一直以来,对于软件可靠性的理解都相对片面,不能有效地指导工程实践。本文介绍了有关软件可靠性工程的一般概念,并对其中的工作过程、软件可靠性建模、软件可靠性设计以及软件测试等问题进行了探讨和研究。基本涵盖了近一段时间以来软件开发当中为了保证软件可靠性所需或可选的一些工作过程和方法。     

软件可靠性及可靠性多模型综合研究

软件可靠性验证阶段的可靠性增长模型的建立与选择是软件可靠性工程人员长期关注的焦点。首先对软件可靠性基本概念及影响因素和工程确认的几种软件可靠性增长模型进行阐述,探讨近年来工程人员对软件可靠性增长模型的改进方法研究进展,提出了基于模型聚类的混合模型方法,并对该方法进行了实验性仿真分析。     

星载软件可靠性模型应用研究及实践

为定量评估软件的可靠性指标,介绍了利用软件可靠性模型评估软件可靠性的过程和方法;针对某星载嵌入式软件的失效趋势,根据模型的选择原则和方法,以及模型的预测质量的对比,最终选择了指数模型作为可靠性评估模型。对该软件在轨运行情况进行了可靠性评估,开展了基于该软件可靠性测试数据的可靠性评估,评估结果给出了该软件的可靠性水平。     

基于Logistic测试覆盖率函数的软件可靠性建模研究

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

基于结构的软件可靠性建模研究进展

软件体系结构作为提高软件系统质量、支持复杂软件开发和复用的重要手段,已经成为软件工程的一个重要研究领域,软件结构的研究对软件可靠性度量也带来的新的问题。分析和总结近年来基于软件体系结构的可靠性建模方法,并对其今后若干研究方向进行了探讨。     

基于体系结构的软件可靠性评估综述

为深入了解基于体系结构的软件可靠性评估方法的发展情况,针对当前该方法的发展现状,对基于体系结构的软件可靠性评估的起源、发展、分类和典型模型进行阐述,重点介绍状态模型、路径模型、构建操作剖面模型及其它模型;根据各种模型的特点,分析现有模型中存在的问题,对软件可靠性模型今后的发展趋势进行展望。     

IEEE软件可靠性系列标准分析

对IEEE软件可靠性系列标准进行分析,总结了IEEE制定软件可靠性标准的经验,以软件可靠性发展趋势。同时,结合我国软件可靠性标准化工作现状,提出软件可靠性标准的制定及关标准修订的可借鉴之处。     

不完美排错软件可靠性增长模型效用量化研究

为了进一步提升现有非齐次泊松过程类软件可靠性增长模型的拟合和预测性能,首先从故障总数增长趋势角度对不完美排错模型进行深入研究,提出两个一般性不完美排错框架模型,分别考虑了总故障数量函数与累计检测故障函数间的线性关系与微分关系,并求得累计检测的故障数量与软件中总故障数量函数表达式;其次,在六组真实的失效数据集上对比了提出的两种一般性不完美排错模型和六种不完美排错模型拟合预测性能表现。实例验证结果表明,提出的一般性不完美排错框架模型在大多数失效数据集上都具有优秀的拟合和预测性能,证明了新建模型的有效性和实用性;通过对提出的模型与其他不完美排错模型在数据集上的性能的深入分析,为实际应用中不完美排错模型的选择提出了建议。     

基于未确知聚类的软件可靠性模型研究

软件可靠性是软件质量的重要指标之一。传统的软件可靠性模型通过一些精确、无歧义的假设,对软件的可靠性增长行为进行抽象和简化。将未确知理论与聚类方法结合起来应用于软件可靠性的研究中,摆脱了对软件故障过程的各种分布假设,改善了模型应用中的不一致问题。最后通过实例对新算法和传统算法进行了比较与分析。     

一种改进的基于架构的软件可靠性模型

基于架构的软件可靠性分析往往把构件的可靠性当作自身固有不变的属性,忽略了在不同的输入剖面下,因构件所处的交互环境不同造成的实际可靠性的变化。改进了一种基于架构的可靠性模型,引入转移目的构件剖面矩阵来建立系统操作剖面和构件可靠性的联系,并给出了改进后的可靠性合成算法。实例分析表明,该模型可以全面捕捉到在不同系统操作剖面下,因构件之间转移概率和构件可靠度这两个参数的变化对整体可靠性产生的影响,提高了系统设计阶段可靠性分析的精确性。     

工程软件之可靠性定量评估研究

在分析多种软件可靠性模型的基础上,结合工程软件的特点,提出一种工程软件适用的可靠性定量评估方法,并将其用于某大型工程软件的可靠性评估。应用表明,该方法简单,可行、对其它领域的软件可靠性评估同样具有参考价值。     

离散型软件可靠性验证测试方案研究*

目前,国内外相关研究大多集中于以MTBF/MTTF等时间相关指标作为可靠性参数的连续型软件,而对以成功率等非时间相关指标作为可靠性参数的离散型软件的可靠性验证测试研究则比较少见。因此,针对三种重要的离散型软件可靠性验证测试方案进行详细的分析与比较,并从标准层面上对这三种方案的实施方法与技术细节进行改进,从而为离散型软件可靠性验证测试的开展与实施提供必要和有效的指导。     

Selecting software reliability growth models and improving their predictive accuracy using historical projects data

During software development two important decisions organizations have to make are: how to allocate testing resources optimally and when the software is ready for release. SRGMs (software reliability growth models) provide empirical basis for evaluating and predicting reliability of software systems. When using SRGMs for the purpose of optimizing testing resource allocation, the model's ability to accurately predict the expected defect inflow profile is useful. For assessing release readiness, the asymptote accuracy is the most important attribute. Although more than hundred models for software reliability have been proposed and evaluated over time, there exists no clear guide on which models should be used for a given software development process or for a given industrial domain.Using defect inflow profiles from large software projects from Ericsson, Volvo Car Corporation and Saab, we evaluate commonly used SRGMs for their ability to provide empirical basis for making these decisions. We also demonstrate that using defect intensity growth rate from earlier projects increases the accuracy of the predictions. Our results show that Logistic and Gompertz models are the most accurate models; we further observe that classifying a given project based on its expected shape of defect inflow help to select the most appropriate model.     

故障检测率对软件可靠性影响实证分析

故障检测率是软件可靠性模型的主要参数之一,不同形式的故障检测率具有不同的作用。聚焦于故障检测率对软件可靠性的影响,提出基于信息熵与优劣距离决策算法的单可靠性模型单失效数据集多故障检测率与多可靠性增长模型多失效数据集多故障检测率2种实证分析方案,旨在全面地分析故障检测率的影响。经过实验分析,对于单一可靠性模型单一数据集,故障检测率对软件可靠性的影响主要与失效数据集相关,在不同数据集上不同故障检测率函数的性能差异较大;在多可靠性模型多数据集上,幂函数与S型故障检测率对应的软件可靠性模型的综合性能较好,指数型故障检测率对应的软件可靠性模型的综合性能较差。本文的研究对于软件可靠性建模中的模型参数选择、最优发布时间的确定等具有较强的指导作用。