软件可靠性概要

本文概述作者对软件可靠性的若干总体看法,具体技术问题不作深入讨论,甚至许多问题仅仅提及而不加展开,数以千计的有关文献也不加列举。本文试图阐述软件可靠性理论研究和工程实践的基本范畴,内容包括软件可靠性与软件工程的关系、软件可靠性的含义、软件可靠性的基本问题、国内外软件可靠性研究现状、当前软件可靠性面临的主要问题,以及当前我国软件可靠性领域应开展的工作。     

软件可靠性模型评价方法与应用(Ⅰ)

本文讨论进行计算机软件可靠性模型评价工作的必要性及其实现方法,提出了软件可靠性模型评价的四条标准,并由此引入了一种进行软件可靠性模型评价的方法。在本文的(Ⅱ)中,我们将使用本方法和两组具体的软件失效数据,具体地评价两种软件可靠性增长模型:S-型模型和W-NHPP模型的性能,并讨论方法使用中的一些问题。     

软件可靠性模型评价方法与应用(Ⅱ)

本文探讨进行软件可靠性模型评价工作的必要性及其实现方法。我们在本文的(Ⅰ)中提出了一组进行软件可靠性模型评价的标准和相应的评价方法,这里我们应用上述方法,结合两组实际的软件产品失效数据,具体地评价两种软件可靠性增长模型:W-NHPP模型(包括NHPP模型)和S-型模型的性能,并讨论评价实施过程中的一些问题。     

软件可靠性评估的误差分析

软件可靠性模型是评估软件可靠性的重要工具，由于受一些不为模型所控制的随机因素的制约，软件可靠性评估结果中往往含有大量的误差，给工程应用带来许多困难。在对现代计算机应用系统的故障特征、软件可靠性模型的机理及引起误差的因素进行深入分析的基础上，提出了一种误差分析法，并用之校正软件可靠性模型的评估值。     

软件可靠性模型在软件测试管理中的应用研究

本文应用软件可靠性模型技术研究软件测试资源管理的两个基本问题:测试资源的预测与分配问题和测试的最佳释放时间问题。应用文献[1]中得到的一般软件可靠性增长模型,我们讨论了软件测试资源的预估和分配的一般方法和具体计算公式,以及在几种软件释放标准下的最佳释放时间的确定方法。文中所提供的方法与公式对于搞好软件开发工作,合理地使用测试资源,保证软件的可靠性指标与预定功能的完成,降低软件产品的价格性能比有一定的实用价值。     

CIMS软件可靠性保证与估计

本文论述了保证ＣＩＭＳ软件可靠性的技术，阐述了估计ＣＩＭＳ软件可靠性的方法，并讨论了软件可靠性测试时应注意的问题。     

S-型软件可靠性模型的修正与性能评价

本文通过引入自由经验参数的方法对基本S-型软件可靠性增长模型进行修正,着重讨论了修正S-型(MS-型)模型和S-型模型、NHPP模型、W-NHPP模型的统一问题,导得了统一模型参数的最小均方误差估值计算公式,并提出了一种估值经验参数的方法。实例应用结果表明,通过对模型引入经验参数修正可以提高其参数估值的有效性和模型对实际软件失效数据的拟合性能和预测能力,不失为一种改善软件可靠性模型性能的有效途径。     

软件测试费用及资源优化模型研究

软件测试是保证软件可靠性的主要手段 ,软件测试费用则是软件可靠性工程费用的重要组成部分。为对其进行研究 ,首先对Musa的软件可靠性的增长日历时间模型进行了简化 ,建立了软件测试日历时间模型。在此基础上 ,提出了软件测试费用模型 ,并结合软件开发的实际经验 ,对测试资源进行了优化     

军用实时软件失效机理及可靠性提高途径初探

软件可靠性研究是一门正在发展的新兴学科 ,其实际应用也尚处于探索阶段。对军用实时软件的失效机理进行了初步分析 ,并就提高军用实时软件可靠性方面提出一些初步设想     

软件可靠性模型的变点估计及仿真研究

软件可靠性模型是研究软件失效数据的重要工具,对软件产品质量的度量和评估有重要的意义.为了解决单个模型不能准确描述软件失效情况以及难以对未来的软件失效做出合理预测的问题,将变点分析引入到软件可靠性模型的问题研究,建立了有变点的软件可靠性模型,给出了软件可靠性模型变点的最小二乘估计.数值仿真表明最小二乘法适用于软件可靠性模型的变点估计,其估计结果具有好的准确性和稳健性.     

适用于成组数据的Jelinski-Moranda模型研究

针对软件可靠性测试的成组测试数据，建立了适用于成组测试数据的软件可靠性Ｊｅｌｉｎｓｋｉ－Ｍｏｒａｎｄａ增长模型，并对其参数解特性进行了分析。通过分析得知，适用于成组测试数据的Ｊｅｌｉｎｓｋｉ－Ｍｏｒａｎｄａ模型的参数估计方程存在多个解，且只有在一定条件下才有合理解。最后给出了其参数解估计的有效数值算法。     

大型电子系统工程软件可靠性评估方法初探

本文探讨了大型电子系统工程的软件可靠性评估方法问题。从软件可靠性模型,可靠性实验数据的收集,以及可靠性数据估值的准确性,可靠性数据的检验等方面进行了研究。最后,提出了一般的评估步骤。     

软件可靠性J-M增长模型的特性分析

本文对软件可靠性Ｊ－Ｍ增长模型的参数解特性进行了分析。通过分析得知Ｊ－Ｍ模型的参数估计方程存在多个解，且只有在一定条件下才有合理解。本文最后还给出了参数解估计的有效数值算法。     

软件可靠性模型及其参数估值技术

软件产品的可靠性评估主要取决于软件可靠性模型及其参数估值技术。本文探讨了六种软件可靠性增长模型的内在关系,提出了一个统一的软件可靠性增长模型,并从数理统计角度介绍了两种可靠性模型参数估值方法:最大似然估值法和最小均方误差估值法。最后,通过实例说明了软件可靠性模型及其参数估值技术在软件产品的可靠性评估方面的具体应用。     

软件可靠性模型的两种参数估值方法、估值结果一致性分析

本文研究软件可靠性增长模型的两种参数估值方法(最大似然函数估值法和最小均方误差估值法)的参数估值结果的一致性问题。讨论了一致性分析的必要性,一致性评价的标准和评价的方法,并以W-NHPP模型和NHPP模型为例进行了实例分析。     

创建智能体系统的软件工程方法研究

研究作为数字世界中计算和应用软件系统构造单元的软件智能体构建与开发。提出由 (1)智能体理论模型 ;(2 )以之为概念框架的软件系统逻辑结构模型 ;(3)基于结构模型 ,采用统一建模语言UML实现的应用程序框架三部分组成的方法体系。这三个部分既具有内在机理联系又有过程时序约束 ,它们分别支持软件工程的分析、设计与实现各阶段。预期该方法体系的成功运用将有利于软件智能体系统开发的规范化和标准化 ,进而提高智能体系统开发效率并促进成果共享和软件重用     

软件可靠性与费用权衡

软件可靠性与费用的关系是辩证的 :一方面增加可靠性可以减少软件的维修费用 ,避免软件因可靠性低不能使用所造成的开发费用的浪费 ;另一方面增加软件可靠性 ,大都以增加软件开发费用为代价 ,而软件成本的提高又制约了软件的销售和推广。对软件可靠性分配和软件测试终止时间的确定进行了深入分析 ,通过这两条途径实现了软件可靠性和费用的权衡。在此基础上 ,给出了在软件工程中权衡软件可靠性与费用的其它方法。