基于静态分析方法的软件可靠性模型研究

随着网络通讯与计算机应用的不断发展,软件可靠性问题日益受到关注。针对更新COTS或开源组建,提供了一种定量评估软件可靠性的方法模型。该模型结合了静态分析源代码方法,对执行路径进行有限测试,并建立贝叶斯信任网络,构建一个综合的软件可靠性度量模型。最后使用STREW[1]工具对3个开源程序进行实验验证,得到了实验结果,证明模型有效。     

考虑故障检测与修正的软件可靠性增长模型

针对现有NHPP类软件可靠性增长模型基本假设中故障检测和不完美修正过程考虑不完善的现状,提出一种非齐次泊松过程软件可靠性增长模型．该模型既考虑故障本身特性,故障检测率是随时间递减的函数,又考虑了排错过程引入新错误的概率,故障总数函数是随时间变化的;同时,还考虑了不完全排错的情况,引入了一种与故障检测率具有相同变化趋势的故障排除率函数．利用一组标准化的失效数据集进行仿真验证,实验结果表明该模型具有更好的拟合效果和预测能力．     

利用冗余技术提高软件容错能力

针对于软件的容错问题，提出了利用冗余技术解决容错问题的思想和方案，对于软件开发具有实际意义。     

软件系统序贯验后加权检验模型

本文用Bayes动态模型检验软件可靠性．模型失效间隔时间长度服从weibull分布；利用主观信息和客观信息逐步修正先验分布．利用Gibb方法计算后验样本，利用序贯验后加权检验系统的稳定性和失效率．最后在系统稳定的条件下，给出失效率的序贯验后加权的结尾检验的两类错误上界．     

基于复杂因子的软件可靠性指标分配方法研究

给出了软件可靠性指标分配的系统模型．基于复杂因子的分配方法，在保证系统可靠性的前提下，给出了求解各子系统软件可靠度的工程实现方法．结合实际系统，对获得的各子系统软件可靠度进行了实例验证．该方法可直接用于军事或非军事系统的软件可靠性指标分配。     

计算机软件可靠性数学模型的进化

随着科学技术的进步,计算机软件越来越复杂,出错概率也越来越大,软件可靠性工程已成为一个发展迅猛的技术领域.采用Halstead数学模型,将软件复杂性与软件错误数融为一体;并对该模型作了改进.给出了软件可靠性预计表达式,提出了能表达出软件开发者技术水平、开发工具先进程度、软件重要度的更为精确的数学公式,为软件可靠性分配及预估工作提供了一个有力工具.最后,给出了实际应用的数值例子.     

软件测试技术及其支持工具介绍

针对软件测试的概念、方法、基本过程和软件测试自动化的基本理论，详细说明了软件测试及其自动化中需要注意的问题和解决方法，以及如何正确地选择和有效地运用各种测试方法、技术和工具，提高软件的质量和可靠性，以期愈来愈多的人认识到软件测试的重要性．最后介绍了Parasoft公司3个很有特色的软件测试支持工具．     

软件可靠性多模型综合评估

软件可靠性工程领域一直存在模型很难应用于实际的问题，不同的软件可靠性模型对同一个软件工程项目的估计差别极大，为此，探讨了软件可靠性估计的稳健方法，研究了多模型的贝叶斯自动混合与选择的理论，其重点是要探讨贝叶斯先验表达及多模型的混合机制，以解决上述难题。     

一种用于循环程序形式化验证的划分归纳方法

为了提高软件的可靠性,人们一直在形式化验证和软件测试两个方面进行不懈的努力.本文利用划分测试中的自动分割替代技术,针对循环程序的输入域,提出了一种划分算法,并在此算法的结果上建立一种划分归纳方法,它能简化循环程序的形式化验证过程.     

软件可靠性指标分配的故障树分析法

首先对目前已有的各种分配与方法的特点进行了探讨，介绍了如何采用故障树技术求得导致系统失效的功能模块的最小割集。首先提出将故障树技术运用到可靠性的分配中，创建了可靠性分配的故障树快速分配模型并具体分析了软件可靠性指标分配中的应用。最后，分析了这种技术的不足，并对该方法可能的改进进行了一些探讨。