软件可靠性测试及其实践

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

基于故障树分析的软件安全性测试研究

针对软件安全性测试的本质特征在于快速降低由于软件失效而导致系统事故的风险, 结合基于Baye-sian统计理论的测试方法, 建立一套构建安全性测试剖面, 并由此产生测试用例的测试方法。该方法运用故障树分析技术, 对各模块发生故障对系统安全性的影响进行分析, 找出影响较大的关键性模块, 然后利用分析结果构建安全性测试剖面。最后给出了测试停止的标准。通过对例子的分析可知, 本方法在快速降低软件事故风险方面比现有软件测试方法更有效。     

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

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

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

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

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

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

软件可靠性评估研究

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

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

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

软件可靠性与安全性的区别分析及其证明

可靠性和安全性是软件质量中的重要属性[1,2].虽然文献[3-7],都从不同的角度给出了二者之间的区别和联系,但对这两者之间关系的认识是不一致的.在实践中,如何区分二者的关系还停留在一般性的描述上,没有统一的认识.本文从它们的基本概念着手,重新对二者的基本概念进行抽象描述,进行本质探析后给出二者之间的区别和联系,并对得出的结论给予了证明.     

软件可靠性研究与进展

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

软件可靠性研究与进展

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

浅析工程应用软件的可靠性测试技术实施

本文通过对软件可靠性模型的分析探讨，对工程应用软件的样本测试提出了检验性测试和验证性测试的思路。根据该思路的测试步骤，论述了测试中案例的选取和运行轨道，以及与测试相关的测试策略和评判标准，并借助实际工程应用软件样本，对测试结果进行了综合评定。     

软件缺陷及其对软件可靠性的影响分析

软件缺陷是软件失效的源头,是影响软件可靠性的重要因素。简述了几种典型的软件缺陷分类方法,结合C++语言,提出了面向程序代码的软件缺陷分类法。采用程序变异方法模拟各类软件缺陷,通过实验,归纳并总结了不同类型的软件缺陷对软件可靠性的影响。     

近期软件测试工具分析

软件测试工具是软件开发工具中非常重要的一个部分，国外的软件工具开发人员对此已做了大量的工作。本文在此择其若干进行介绍、分析，谨提供给国内的软件工具开发人员参考。     

基于使用模型的软件可靠性加速测试

给出了一种使用分层抽样和重要抽样方法并基于Markov链使用模型的软件可靠性加速测试的方法,在根据统计测试结果得到软件可靠性无偏估计的前提下,可以有效提高安全攸关软件的测试效率,部分解决了安全攸关软件统计测试时间和费用开销过大的问题.实例仿真结果表明,该方法可以有效地提高软件可靠性关键操作的测试效率.     

面向多用户软件系统的可靠性分配的故障树分析法

本文首先对目前已有的各种分配技术与方法的特点进行了探讨,介绍了如何采用故障树技术求得导致系统失效的功能模块的最小割集,首次提出运用故障树技术进行各模块可靠性的划分和确定,并提出了一种新的算法来快速、有效地确定各模块的重要度,结合考虑软件的总体开发费用,创建了一个新的基于软件实用性的可靠性分配模型并详细讨论了其具体运用,最后本文对该方法可能的改进进行了一些探讨。     

软件可靠性模型应用中的不一致性与软件可靠性专家系统

关于软件系统故障行为的统计假设,是软件可靠性模型的理论基础 。由此产生应用中的不一致性,使用户对这些估测结果迷惑不解,“谁的结果最可信”？我们以“故障数据是软件可靠性分析的基础”为原则,采用人工智能技术,建立软件可靠性专家系统（SRES：Software Reliability Expert System),以解决软件可靠性模型应用中的不一致性难题。最后,报告该系统的使用及与国外一些软件可靠性量测工具的比较。     

软件产品可靠性评估的WD模型及其性能分析

本文从软件产品的失效规律入手提出了其可靠性评估的WD模型及其参数估值方法.从NTDS软件出错数据统计为例的分析结果看,WD模型的参数估值性能优于J-M模型和NHPP模型.最后还提出了一种参数估值准确性的判定准则.     

近期软件测试方法分析

软件测试是提高软件可靠性的有效手段,同时也是贯穿于整个软件生存期的活动,不同的软件生存阶段有不同的测试内容及方法。本文按照软件的开发顺序对近几年国际新发展的软件生存期各阶段的测试活动和测试方法进行分析和介绍中,旨在为国内的软件人员开阔视野,提供有益的信息。     

UML技术在软件可靠性测试中的应用

软件操作剖面的建立是进行软件可靠性测试的基础.介绍了使用UML技术建立软件操作剖面的方法,并结合具体应用实例说明了使用该技术构建软件操作剖面的过程.     

软件测试管理的研究与应用

随着计算机的广泛应用和计算机科学技术的不断发展，计算机系统的组成也相应发生了许多变化，计算机软件的主导作用愈加明显。软件工程的进一步发展，给软件测试及测试管理带来很大帮助。本文简要介绍了软件测试管理的概念、计划、活动、功能、周期、工作量模型及其应用。