软件可靠性度量方法

分析软件故障暴露率与软件测试次数之间的关系,提出在保证可靠性测试结果客观准确的前提下,有效减少验证测试次数的方法。结合软件可靠性和体系结构相关理论,提出基于组件的软件失效率定量计算方法。研究并利用软件可靠性度量方法,提高了软件可靠性测试效率和可靠性评估准确性。     

实时多任务软件可靠性评价模型

根据实时多任务软件的一个重要特征－各个任务在系统中具有不同的运行时间比例和不同的故障强度,提出将任务作为可靠性评价的基本单元,由此建立起了对于实时多任务软件更为实用的可靠性评价模型。     

计算机控制系统中提高软件可靠性的措施

本介绍了计算机控制系统中几种实用的提高软件可靠性的措施。     

软件可靠性工程综述

软件可靠性工程是近年来随着软件开发规模不断扩大,为了降低开发风险、减少成本、保证软件质量而提出的。一直以来,对于软件可靠性的理解都相对片面,不能有效地指导工程实践。本文介绍了有关软件可靠性工程的一般概念,并对其中的工作过程、软件可靠性建模、软件可靠性设计以及软件测试等问题进行了探讨和研究。基本涵盖了近一段时间以来软件开发当中为了保证软件可靠性所需或可选的一些工作过程和方法。     

软件可靠性探讨

本文作者将７０年代以来所出现的主要理论模型进行分类阐述，并通过实验对ＮＨＰＰ模型进行了验证。     

基于组件的软件可靠性模型

首先对不同的软件体系结构描述语言（ADL）进行分析，找出体系结构的共性，用抽象代数和一代阶逻辑理论对组件，连接器和软件体系结构的属性和动态行为进行讨论和描述，探讨不同连接形式下的软件体系结构，给出基于组件的软件可靠性模型，在此模型基础上，对基于组件的软件系统的可靠性计算模型进行研究，提出一种半Markov模型，并在理论上证明该模型的可用性，最后通过CORBA应用系统说明该可靠性模型在系统设计和可靠性计算方面的应用。     

软件可靠性与费用模型的研究

本文对软件可靠性和软件费用模型的确定进行了深入分析,在此基础上,给出了在软件工程中权衡软件可靠性与费用的方法。     

软件可靠性测试方法探析

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

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

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

软件可靠性增长G-O模型的改进

在传统的软件可靠性增长G-O模型中,故障检测率和初始的故障总数是影响软件可靠性的2个重要因素.为了提高软件可靠性评估的可信性,考虑到在软件纠错的过程中可能会引入新的错误,把模型中潜在的故障总数和故障检测率看作随时间变化的函数,提出了改进的G-O模型,给出了解析方法,并将改进前后的G-O模型进行了对比,通过实例进行了验证...     

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

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

一种软件可靠性评估模型及其Petri网描述

通过提出k-可靠模型,对现有软件可靠性评估方法所依据的模型进行重构,并根据Petri网及软件可靠性的相关理论,对构成软件系统的各个组件进行可靠性评估,从而实现对软件系统的可靠性评估,并介绍一种自底向上的可靠性计算过程。该方法能对软件系统的进行分解和综合计算,达到对整个软件系统可靠性评估的目的。     

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

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

面向全生命周期的装备软件可靠性管理模型

针对装备软件的全生命周期,提出一种软件可靠性管理模型。详细讨论在不同阶段军方的管理活动及所需要的管理方法。这些方法涵盖了装备软件研制过程中的主要可靠性管理活动,同时对支持这些活动所必须的预计、评估模型给出参考建议。所提出的管理模型为军方实施装备软件的可靠性管理提供了有益参考。     

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

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

软件可靠性数据收集的方法和技术

软件可靠性数据是进行软件可靠性分析和估测的基础，在整个软件可行性研究中占着重要的地位。本文在汇总分析软件可靠数据的基础上，对其进行了合理的分类，从而提出一个套收集软件可靠性数据的系统化方法，并探讨了实现自动化收集软件可靠性数据的基本技术。     

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

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

通过模型比较构造软件演化的过程模型

为了得到软件系统的演化过程模型,引入了工作模型的概念用以描述软件的工作过程。通过建立起软件演化前后的工作模型并对其进行比较,可以得到由旧的工作模型向新的工作模型转化需要执行的各种活动,这样的活动通过在软件的代码、数据和文档三个层面的映射便具有了实际意义,以此为基础所构造的演化活动图能够最终转换为Petri网形式的演化过程模型。