成组缺陷纠正的通用指数类软件可靠性模型

指数类软件可靠性模型是应用广泛的一类软件可靠性预测模型,其基本假设之一是缺陷一经发现立即纠正。该假设过于苛刻,与实际情况不符,影响了模型的应用和预测准确性。针对通用指数类软件可靠性模型,提出了成组缺陷纠正的指数类软件可靠性模型。同时以指数类模型中的J-M模型为例,利用实际工程数据对成组缺陷纠正的J-M模型进行了验证。     

基于率的软件可靠性过程仿真

基于率的软件可靠性过程仿真将软件开发过程看作是由率函数控制的随机过程,是传统软件可靠性解析模型的自然扩展,可以在软件开发的早期阶段中预测软件的可靠性。通过构造不同的率函数,可以实现对不同特征的过程仿真。本文阐述了基于率的软件可靠性仿真的数学基础,提出了基于C语言的仿真实现方法,包括单事件仿真和多事件仿真。本文还应用Softrel对竞争性设计和结对编程两种工程方法对软件产品可靠性的影响进行了仿真分析。     

Component-based software reliability analysis incorporating imperfect debugging and change-point

Against the deficiencies of component-based software （CBS） reliability modeling and analysis,for instance,importing too many assumptions,paying less attention to debugging process without considering imperfect debugging and change-point （CP） problems adequately,an approach of CBS reliability process analysis is proposed which incorporates the imperfect debugging and CP.First,perfect/imperfect debugging and CP are reviewed.Based on the queuing theory,a multi-queue multichannel and infinite server queuing model （MMISQM） is presented to sketch the integration test process of CBS.Meanwhile,considering the effects of imperfect debugging and CP,expressions for fault detection and correction are derived based on MMISQM.Numerical results demonstrate that the proposed model can sketch the integration test process of CBS with preferable performance which outperforms other models.     

基于改进G-O费用模型的软件最优发布研究

本文研究了基于G-O软件可靠性模型的最优软件发布时间问题,提出了结合风险价值VaR约束的软件测试费用优化模型,给出了在一定置信水平下VaR计算的解析式,通过MonteCarlo仿真实验,计算出软件最优发布时间,分析了仿真结果和参系数的灵敏度,并与经典G-O模型进行比较,结果显示VaR约束模型更加有效地估计了软件发布后多次软件失效的极端风险。     

考虑节点失效恢复能力的网格服务可靠性建模与分析

针对需要较长执行时间和占用较多计算机资源的"大任务",其节点可靠性随着时间的增加而呈指数衰减的问题,给出了一种考虑节点失效恢复能力的网格服务可靠性模型.在星型网格系统的网格服务可靠性分析中引入了节点失效恢复机制,并考虑了节点软件可靠性对网格服务可靠性的影响,同时采用子任务并行处理和子任务冗余方法提高服务的可靠性.仿真结果验证了引入节点失效恢复机制对提高网格服务可靠性的积极影响,为解决"大任务"可靠性偏低的问题提供了一种有效的解决方法.     

一种基于构件的软件系统可靠性模型

分析了现有构件软件系统的可靠性模型和特点,在此研究基础上,抽象出一种依赖于操作剖面,以及构件使用上下文的构件可靠性的计算方式.利用对系统功能路径分割,提出一种基于操作剖面的路径分析法,计算构件软件系统可靠性模型.最后用一个物流信息系统实例对该可靠性模型进行验证,说明其有效性.     

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

在传统的软件可靠性增长G-O模型中,故障检测率被视为常数,或被视为增函数,或被视为减函数.考虑到测试人员的学习过程和剩余错误数的不断减少,故障检测率应该是一个随时间先增后减的函数,于是提出改进的G-O模型.利用公开发表的两组失效数据对改进模型进行了测试,并与已有模型进行了较,实验结果表明改进G-O模型的拟合能力和预测能力都很好.     

软件可靠性GO模型的有效分析

针对GO模型的参数解结构进行了理论分析,利用参数解存在的条件,得到了结构比较优越的性质,构造了高效的参数估计算法,并结合典型实例编程求解,得到了实验结果。     

带减函数的连续型软件可靠性验证方案

针对连续型安全关键软件可靠性验证测试（SRDT）所需测试时间较长的问题,在现有的基于贝叶斯理论的SRDT方案的基础上,提出结合先验信息的基于减函数法的连续型软件可靠性验证测试方案（CBSDF）：首先选取连续型软件可靠性参数（如失效率）的典型减函数作为失效率的先验分布密度函数(先验分布);然后根据增长测试阶段后期的失效时间数据（先验信息）计算出先验分布超参数的估计值,进而给出相应的后验分布密度函数,在此基础上得到CBSDF的具体形式;最后,将两组真实失效数据集作为先验信息的来源,将CBSDF与已有的无先验信息（CBS1）与有先验信息（CBS2）的贝叶斯验证方案进行实例对比研究,计算结果表明：在SRDT方案参数相同时,相对于CBS1与CBS2,本论文提出的CBSDF可以更为显著地降低所需的验证测试时间,且更适用于高可靠的安全关键连续型软件。     

浅谈利用软件编程和接口技术,提高系统可靠性的应用

介绍系统开发中,通过对系统需求分析、功能实现分析、系统测试、现场运行阶和系统维护的阶段的方法,提高软件开发的可靠性。通过计算接口技术的应用,提高应用系统的可靠性