软件可靠性及其测试分析

系统分析了软件的可靠性以及目前软件可靠性测试的完整流程,重点介绍了软件可靠性评估的方法和步骤。随着信息技术的发展,软件产品在社会生活的各个领域应用越来越广泛,其质量好坏所产生的潜在影响也越来越大。     

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

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

软件可靠性测试中最小测试量的确定方法

分析了软件可靠性测试中确定最小测试量的重要意义,阐述了基于操作剖面的软件可靠性测试数据生成方法和软件可靠性测试数据统计特征原理下的确定最小测试量的理论依据和具体方法,提出了该理论指导下的测试数据生成流程,通过实例给出了方法的具体应用过程.     

电子政务软件可靠性评测方法初探

电子政务已经成为政府工作自动化和智能化的重要手段。近年来,中国电子政务软件市场获得了前所未有的发展机遇。随着电子政务软件的飞速发展,软件可靠性成为了建设电子政务的重要指标。软件可靠性测试是保证软件可靠性的有效方法。目前,国内对于电子政务的可靠性研究才刚刚起步,其可靠性测试一般都交给第三方机构。分析当前电子政务软件的可靠性测试特点,基于Musa和Nelson两种可靠性模型提出了一种电子政务软件的可靠性评测方法,从可靠性的评估测试和验证测试两方面具体分析阐述了方法的流程,并使用工具实现。最后用具体案例对方法进行了分析说明。     

软件可靠性测试方法研究

在软件的可靠性测试中,测试结果会受到测试用例的影响.为了得到最佳的结果,就需要公平选择测试用例,建立测试用例集,进行软件的可靠性测试.利用软件的运行剖面和软件失效数据进行软件可靠性评估是较可行的方法.     

军用软件可靠性测试管理中模型的应用

软件可靠性测试是软件开发过程中的一个重要环节,将软件可靠性增长模型应用到软件可靠性的测试过程中,可以为测试的进行提供有价值的管理决策依据。军用软件可靠性的测试及管理是控制军用软件质量的重要方法。该文给出了一种军用软件测试管理模型,在此基础上进一步讨论了Musa模型在测试管理中的应用,最后对实例进行了分析。     

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

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

软件可靠性测试加速方法分析

阐述了软件可靠性测试及其加速方法,并对现有的加速方法进行深入分析和总结,将现有方法分为基于改变剖面概率的方法、基于灰盒分析的方法和基于多种测试信息的方法3类并进行比较。在此基础上,分别从提高输入强度、化简软件结构和输入以及提高置信水平3个方面进行了可靠性测试加速方法机理分析,得出基于改变剖面概率的方法只能起到部分加速作用,而其它两类方法可以起到整体加速作用,最后讨论了软件可靠性测试加速方法未来有前景的研究方向。     

软件可靠性测试及其实践

软件可靠性测试是软件可靠性工程的一项重要工作内容,是满足软件可靠性要求、评价软件可靠性水平及验证软件产品是否达到可靠性要求的重要途径。本文探讨、研究了软件可靠性测试的基本概念,软件可靠性测试过程以及软件可靠性测试中的主要问题,还介绍了一个实际软件的可靠性测试工作。     

基于可靠性增长模型的软件可靠性增长测试充分性准则

结合软件可靠性增长模型,扩充了基于可信度度量的软件可靠性增长测试充分性问题度量准则,提出了关于可靠性增长测试充分性问题新的度量准则：可靠性测试只有同时满足可靠性增量指标要求、可信度要求和每单位测试资源发现的故障数要求方可终止。然后,以一个真实数据集为例,应用所提出度量准则求出了测试应该停止的时间。实验证明,这样的度量准则,使得终止条件更加严格,可靠性测试更加充分,为可靠性测试充分性问题的解决提供了新的思路。     

连续执行软件可靠性验证测试方法

针对基于经典统计假设检验的固定期测试方法测试持续期太长,难以满足现代连续执行软件可靠性验证测试的需要,提出了一种基于经验贝叶斯统计推断的连续执行软件可靠性验证测试方法。该方法通过可靠性增长测试阶段的测试记录获得软件失效强度的先验分布,从而得到所需要的验证测试持续期,并结合检证测试过程中的具体情况,提出了先验动态整合的方法。实验表明,该方法在不降低验证测试结果可信性的条件下,能有效地减少可靠性验证测试的持续期。     

系统软件可靠性验证测试方法研究

文章提出了一种系统软件的可靠性验证试验测试方法,介绍了软件可靠性度量指标、试验参数的选取原则,详细阐述了系统软件的可靠性验证测试方案的制定方法,同时还给出了系统软件无失效考核交付测试方案的制定方法。     

国产基础软件可靠性分析及验证

国产基础软件通过常规测试后仍存在诸多质量或可靠性问题,为此,针对国产基础软件的特性及现有可靠性测试技术的不适应之处,结合Musa剖面模型和Markov链模型设计出一种带标记的Markov链运行剖面建模技术来构建操作系统的运行剖面,研究并给出相应的可靠性测试用例生成方法,最后选取典型操作系统进行了分析验证,证明了研究成果的有效性.     

软件可靠性综合模型的分析和研究

软件可靠性是系统可信性的重要属性之一.首先讨论了传统软件可靠性模型的主要弱点,接着提出了一种新的软件可靠性估算模型.当前,传统的软件可靠性度量模型中并未涉及大多数软件的复杂性及测试用例的有效性,从而使得在评估软件可靠性时不够精确,甚至是错误的.因此,提出了一些改进软件可靠性度量的方法.这些方法的主要思想是将影响软件复杂性的因素和测试用例的有效性并入软件可靠性模型中,以便使得该模型能更精确地反映实际情况.最后,大量的实验结果也表明了该模型的合理性及有用性.     

软件可靠性讨论

本文主要讨论软件可靠性模型及其理论的某些缺陷,并扼要地介绍了一些常用的软件可靠性技术,给出了提高软件可靠性的若干实用方法或措施。     

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

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

经典软件可靠性模型分析

文论述和比较了三个经典的软件可靠性模型——J-M模型、G-O模型和Musa模型在软件系统方面的应用。介绍了这三个经典软件可靠性模型的理论基础,包括相关公式、假设前提和优缺点,同时,说明了三个模型在车载嵌入式软件系统中的应用比对。     

面向通信协议故障的分布式软件可靠性测试技术研究

分析了分布式软件系统中的典型通信协议故障,研究了基于API Hook的分布式软件可靠性测试方法,提出了基于通信协议故障注入的应用软件可靠性测试方法,并设计、实现了工具原型,为基于故障注入的分布式软件可靠性测试提供了技术手段.     

软件可靠性及其评估

介绍了软件可靠性问题的来源,阐述了软件可靠性的定义、软件的失效机理、及软件可靠性与硬件可靠性间的差异,并提出了基于模糊数算术运算的软件可靠性估计方法。     

软件可靠性建模的探讨

本文运用美国科学家M.Trachtenberg的软件可靠性建模的综合理论就如何建造软件可靠性模型(平均错误数、错误密度和工作负荷)进行探讨,举例分析线性可靠性模型、几何可靠性摸型、Rayleigh可靠性模型的共性和差别,论证软件失效率为软件平均错误“数量”、视在错误密度和工作负荷的乘积,文中所进行的研究对于今后进行软件可靠性预测和度量,研究工程实用的模型以及参数估计有一定的参考价值。