关于软件可靠性Halstead模型的改进

1970年以来，近百个软件可靠性模型被建立起来，大部分模型是基于测试数据来建立的，用一定测试时间或数据范围内错误发生的概率来度量软件可靠性，希望用一种概率统计表达式来揭示错误发生的规律。很少有模型将可靠性度量与可靠性因素一开发者，开发工具，软件复杂度联系起来，Halstead模型是唯一将软件复杂性与软件错误数联系起来的模型，但是没有考虑其它两个可靠性因素，文章将这些因素考虑进来以后对Halstead模型进行了一定改进，得出一个面向用户的软件可靠性模型。     

软件可靠性技术

介绍软件可靠性的基本概念,成软件故障的原因,重点论述了提高软件可靠性的技术途径和管理措施,对软件故障数据收集,可靠性模型的选择进行探讨。     

软件可靠性及其应用(Ⅰ)

本文编录了软件可靠性的定义和一些典型的数学模型。文章提出了自己的观点,如软件的可靠性取决于对软件的定义分析和设计;而调试、测试、证明、评审是可靠性增长的重要阶段;软件会产生随机故障,可用统计的办法来处理;初步提出软件—硬件故障的分离方法以及在工程应用中如何提出对软件的可靠性要求。     

无人机飞控软件测试技术研究

无人机飞控软件是典型的实时嵌入式软件系统,其可靠性、安全性测试与评估是军用软件保障工作与无人机 技术发展中的重点与难点。针对飞控软件的特点,介绍基于覆盖与故障注入的测试方法,分析其测试与可靠性评估中的关键 技术,并简要介绍应用于测试数据分析过程的软件可靠性建模工具MEADEP的构成与建模方法。     

网管软件可靠性评估方法

针对网管软件的可靠性,研究了软件可靠性评估方法,确定待评估软件的可靠性3要素,进行可靠性测试,收集可靠性数据,在此基础上确定软件失效判据,根据失效判据选择可靠性模型,运用收集的可靠性数据进行可靠性评估。根据可靠性评估结果与要求的软件可靠性指标进行对比,如果不满足要求则进一步测试完善软件,并通过实例说明网管软件可靠性评估过程。     

可靠性测试评估技术研究

从可靠性的定义和特征出发，介绍了一种可靠性测试评估方法，利用设计的软件对系统故障信息进行统计，并根据统计的故障数据进行相关计算，得到可靠性指标，以此来评估系统的可靠性。     

软件可靠性分析与设计

介绍了可靠性在应用软件中的设计依据和测试技术,从可靠性定义所包含的四要素入手,分别通过瀑布模型、螺旋模型、智能模型的模拟分析影响软件可靠性的因素,对软件的生存期模型、冗余设计和软件可靠性估算技术进行了较详细的论述,提出了改进软件可靠性的方法,增强了工程项目的可靠性。     

基于J—M模型的应用研究

软件可靠性是基于执行时间或自然时间的度量,很少文献讨论软件可靠性测试与测试过程的关系,特别是测试效率与测试用例的定量关系。文章在基于J—M模型应用方法的基础上,考虑到可靠性测试过程产生的数据与可靠性度量的关系,提出对J—M模型进行补充假设,使得J—M模型的应用方法适应于测试过程,建立软件可靠性与测试用例的定量关系,从而实现对软件可靠性度量以及对测试效率的评价。     

软件定义网络系统的可靠性研究

可靠性是评价软件定义网络(SDN)系统的一项关键指标,为了提高SDN系统的整体可靠性,针对系统的软件可靠性进行研究,提出一种基于量子群优化算法的SDN系统软件可靠性评估模型。首先对SDN系统的软件可靠性研究现状进行分析,并建立相应的数学模型,然后采用量子粒子群算法对数学模型进行求解,并通过具体数据对软件可靠性评估模型的性能进行仿真测试。结果表明,量子粒子群算法可以对SDN系统的软件可靠性进行准确评估,很好地描述了SDN系统的软件可靠性变化趋势,而且求解结果要优于其他模型,实际应用价值更高。     

软件测试与软件可靠性评估方法研究初探

主要从软件测试的生命周期、测试方法和流程、软件可靠性评估的定义、软件的缺陷和失效、软件的可靠性测试过程等5个方面对软件测试与可靠性评估方法进行探讨,并着重就测试前的检查、设计测试用例、测试实施、可靠性数据收集、编写测试报告等方面详述了完整的软件可靠性测试过程.     

基于贝叶斯理论的软件可靠性评估方法研究

本文以贝叶斯统计理论为依据,建立了基于输入域的测试过程的形式化描述,在此基础上确定了测试分布的总体信息;按照贝叶斯理论,要对软件可靠性进行估计,需要定义软件可靠性的先验分布,该先验分布可以利用贝叶斯假设或共辘原理进行定义.分析发现,在软件顺序测试过程中,采用这两种策略所得到的先验分布是一致的,这从另一种角度印证了先验分布选取的正确性.根据贝叶斯定理,利用先验分布和总体分布,可以得到待估计变量的后验分布,然后根据测试数据可以对可靠性进行估计.     

外挂管理系统安全可靠性评估

为了评估外挂管理系统（SMS）工作的安全可靠性，提出了建立SMS的测试环境和对SMS安全可靠性进行测试的方法，并运用NHPP模型对测试数据进行拟合，用工作可靠度和残留故障数对SMS的安全可靠性进行了评估。     

软件可靠性分析与设计

介绍了可靠性在应用软件中的设计依据和测试技术，对软件的生存期模型、冗余设计和软件可靠性估算技术进行了较详细的论述。     

软件可靠性方法研究的现状与发展

从软硬件对比的角度总结了软件可靠性的基本概念和方法，重点论述了提高软件可靠性的管理策略和技术措施，并对软件可靠性数据收集，可靠性模型选择和深入统计分析等问题作了探讨。     

考虑测试覆盖率和故障排除效率的软件可靠性增长模型

软件测试覆盖率直观地描述了软件测试的程度,现有的基于测试覆盖率的软件可靠性增长模型绝大多数都没有考虑故障的排除效率.论文把软件测试覆盖率和故障排除效率引入到软件可靠性评估过程中,建立了一个既考虑测试覆盖率,又考虑故障排除效率的非齐次泊松过程类软件可靠性增长模型,在一组失效数据上的实验分析表明:对这组失效数据,论文提出的模型比其他一些非齐次泊松过程类模型的拟合效果更好.     

软件可靠性及维修性评估工具（SRMET2.0）

软件可靠性及维修性评估工具（ＳＲＭＥＴ２．０）是由航天软件评测中心于１９９８年研制开发的。ＳＲＭＥＴ２．０包含了七个软件可靠性评估模型和四个软件维修性评估模型，不仅可处理完全的可靠性数据，也可处理不完全的可靠性数据。     

计算机串口与单片机通讯测试系统的实现

对串口和单片机的测试原理和测试需求进行了分析，并以此为基础介绍了基于串口和单片机MCS—51测试通讯系统硬件组成；提出了基于FP文件库的测试软件结构模型，开发了一个通用软件框架，较好地解决了传统测试软件可靠性低、维护困难的问题，缩短了软件开发的周期；开发了测试多数据类型库，使用ODBC技术实现了测试数据的共享；开发了通讯测试系统，提高了测试的效率。     

软件可靠性测试技术方法探讨

本文从可靠性概念、要求、可靠性测试的特点、目的、环境构成及存在的问题进行分析，认为可以从几方面强化落实以保证软件可靠性测试的顺利进行。     

小功率行波管可靠性数字仿真的研究

基于对实际器件的测试数据,采用模糊数学和最可能故障法建立整个器件的可靠性模型.引入可靠性分布密度函数,将实际测试得到的离散数据拟合成随时间变化的连续函数,不仅可得到小功率行波管测试性能的评估,而且还可以对其可靠性进行预测;进一步研究,还可以给出预测的准确度概率.本文主要讨论小功率行波管可靠度评估模型的建立、数据处理与精度分析等,并对预测与准确度的概率给予简要的介绍.     

使用UML技术建立软件的操作剖面

软件操作剖面的建立是进行软件可靠性测试的基础。对使用UML技术建立软件操作剖面的方法进行了介绍，并结合应用实例，说明了使用UML技术可以更加深刻地构造出反映软件实际情况的构造操作剖面。