软件可靠性研究与进展

综述了软件可靠性研究的主要内容 ,包括软件可靠性设计、测试与管理 -软件可靠性数据收集以及硬软件系统可靠性等方面的发展现状 ,提出了软件可靠性研究有待于进一步探讨的主要问题     

软件可靠性测试方法探析

在软件可靠性测试中,测试结果会受测试用例的影响。为得到最佳的测试结果,文中提出了基于运行剖面的公平选择测试用例的原则,在此基础上,建立测试用例集,进行软件可靠性测试,目的是对软件的可靠性进行验证。文章最后给出了利用软件的运行剖面和软件失效数据进行软件可靠性评估的方法。     

软件可靠性测试充分性研究

在阐述了软件测试充分性的定义和软件测试充分性准则的定义、分类和作用的基础上，形式化分析了软件正确性测试充分性和软件可靠性测试充分性的目的和实质，重点研究了软件可靠性测试的充分性，将软件可靠性测试充分性准则分为软件可靠性增长测试充分性准则和软件可靠性验证测试充分性准则，给出将测试充分性准则用于可靠性测试流程的模型。     

软件可靠性测试及其测试环境

阐述了软件测试,特别是软件可靠性测试的概念,论述了软件运行剖面和测试用例的生成方法。文中给出了一个已经开发成功的嵌入式软件仿真测试环境,包括该测试环境的体系结构与基本功能。     

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

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

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

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

软件可靠性稳定增长与安全性测试的故障树分析法

随着信息技术的发展,计算机应用日益广泛,软件可靠性和软件安全性越来越受到重视。本文提出软件可靠性稳定增长测试与软件安全性测定的概念,并利用故障树分析技术,详细讨论了它们在操作获取高的软件可靠性与安全性工作中的作用,描述了故障树分析方法的分析过程,最后本文分析了它的优缺点,并对该方法的可能的改进及补充进行了一些探讨。     

软件可靠性加速测试方法研究

文章介绍和分析了国内外有关软件可靠性加速测试的概念和特点,对国内外安全关键软件的可靠性加速测试方法和基于灰盒的软件可靠性加速测试方法的研究成果和进展进行了分析、总结和论述,探讨了软件可靠性加速测试中存在的问题和难点并对其发展前景进行了展望。     

软件可靠性测试及评估平台的设计与实现

设计并实现了软件可靠性测试与评估平台,支持软件可靠性测试用例自动生成,便于可靠性数据收集以及软件可靠性评估和预测,解决了软件可靠性测试难以有效开展的问题。通过与SMERFS预测结果对比,表明本平台对软件可靠性测试与评价具有较强的实用性。     

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

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

软件测试中可靠性模型的设计与研究

软件测试是保证软件质量和提高软件可靠性的关键所在,而软件可靠性是衡量软件质量的重要指标之一,二者有着非常紧密的联系。软件可靠性模型既是软件可靠性进行定量分析的基础和保障,也是软件可靠性进行预测的核心和关键,对保证软件质量起到了非常重要的作用。文中结合软件测试与软件可靠性及其模型的相关理论,通过对Seeding模型的分析与改进,提出了一种适用于软件测试的可靠性模型。实验结果表明,使用文中提出的软件可靠性模型能较好地满足软件对可靠性评估的要求,较好地应用在软件测试中。     

软件可靠性评估研究

软件错误引起的后果差别很大，有的几乎可以忽略不计，有的可能是灾难性的。目前，软件可靠性模型很少考虑到这一点，我们在实际工作中发现量化这一差别是很有必要的。为了增加人们对错误重要性差别的意识，讨论了在考虑错误级别时，如何应用Jelinski-Moranda模型和Goel-Okumoto,Nelson模型以及Nelson和Bron-Lipow模型。这些讨论和研究说明软件可靠性不仅决定于软件中的错误数，而且决定于软件中的错误级别。     

面向服务的软件可靠性探讨

面向服务的体系结构(SOA)具有动态与协同的本质特点,这给软件可靠性研究与实践提出了新的挑战,从而产生了面向服务的软件可靠性(SOSR)这一新的研究领域.本文首先对SOSR的发展背景和研究现状进行了综述;然后从可靠性建模和可靠性评估两个方面归纳出SOSR当前所面临的主要问题;最后,以传统基于体系结构的软件可靠性模型为基础,探讨了由单个服务、服务池和服务组舍三个层次迭加而成的SOSR建模与评估框架,以及服务可靠性建模方法、服务池容错机制和服务在线监测等关键技术.     

软件可靠性评估研究

软件错误引起的后果差别很大,有的几乎可以忽略不计,有的可能是灾难性的.目前,软件可靠性模型很少考虑到这一点,我们在实际工作中发现量化这一差别是很有必要的.为了增加人们对错误重要性差别的意识,讨论了在考虑错误级别时,如何应用Jelinski-Moranda模型和Goel-Okumoto,Nelson模型以及Nelson和Bron-Lipow模型.这些讨论和研究说明软件可靠性不仅决定于软件中的错误数,而且决定于软件中的错误级别.     

关于软件发布后的改进型软件可靠性预计模型

针对2004年Pankaj Jalote和Brendan Murphy提出的P-B模型假设过于苛刻、适用范围较窄,文中提出了一种新的基于软件发布后的可靠性模型。该模型不仅考虑了原P-B模型中用户对可靠性产生的影响,而且还考虑了通过版本升级和打补丁修正软件本身错误对软件可靠性产生的影响,同时将这种影响反映到模型的衰减因子中,进而对原始模型的衰减因子进行修正,并通过最小二乘法对新模型参数进行估计。最后通过仿真实验证明了,改进后的新模型比原始模型的预测精度更高,更符合实际失效数目的变化。     

基于NHPP类软件可靠性通用模型研究与应用

对现有NHPP类软件可靠性模型进行分析总结,指明了已有NHPP类软件可靠性模型存在的不足及缺陷。综合考虑缺陷探测率、软件运行覆盖率、排除错误时的错误引入率等软件故障数的影响因素,提出了一种通用的NHPP类软件可靠性模型,最后对通用模型中的泛函数取特殊值后,求得期望故障数及软件可靠度,并对其进行分析,证明了所提模型的有效性。     

软件可靠性预测技术研究

首先分析多种软件可靠性预测模型,指出其不足;充分考虑了模块内复杂度和模块间关系以及改错能力对可靠度的影响后,提出一种正交体系结构下基于Markoff链的软件可靠性定量分析方法。该方法考虑了复杂度、开发能力、修改能力和使用频率对软件可靠性的影响,使用时对数据的要求不严格,易满足,可用于软件开发中后期。