基于层次结构Markov链的软件可靠性建模方法

在当前主流的基于体系结构的软件可靠性建模方法中,基于Markov链的状态模型是一种广泛应用的可靠性模型。现有基于状态的可靠性模型适用于构件转移满足Markov过程的软件,当程序中同时存在确定性转移和非确定性转移时,特别是存在多个构件对某构件的调用时,现有的办法不能得出精确的结果,甚至可能会引入不存在路径。为解决这一问题,文章基于UML模型和Markov模型,提出一种层次结构方法,用组合结点替代构件间的调用关系,建立层次结构的Markov链模型。最后通过一个实例对新方法的性能进行了验证。      

从马尔可夫链角度探索软件测试方法

为了缩短软件测试周期,把马尔可夫链模型运用于软件可靠性测试中,提出进行软件可靠性测试的基本方法.在测试过程中使用了新的评判准则分析测试结果,通过实例证明了该评判准则的实用性和有效性.     

面向客体多机系统的软件可靠性模型

面向客体多机系统的软件可靠性与软件的运行剖面密切相关。文中运用矩阵分析理论,推导了面向客体多机系统的软件可靠性的Markov模型,给出了计算方法。讨论了软件系统的组成模块对软件系统总体可靠性的影响及可靠性分配问题,并给出了实例对其进行说明。     

基于阶次小波包与Markov链模型的转子早期故障诊断

针对转子启动过程中振动信号表现为非平稳、非高斯特征及传统诊断方法精度不高的现状,将阶次小波包和Markov链模型引入转子的早期故障诊断中,提出了一种新的自适应故障诊断模型。首先利用阶次跟踪算法对瞬态振动信号重采样,得到等角度分布诊断信号;其次采用小波包对该信号分解——重构,提取其在各频带的能量特征向量,通过Markov链模型对其进行预测;最后通过故障实例验证,结果表明:将阶次小波包变换和Markov链模型相结合进行故障诊断是可行而有效的。     

Markov模型的软件可靠性测试充分性问题的研究

在分析现有Markov模型的软件可靠性的充分性判别的基础上,定义了严格转移概率的概念,提出了基于严格转移概率的测试充分性判别方法。将Markov模型转化为严格Markov模型,在每个边或者状态的差异计算时引入严格转移概率,对可达相异转移集中所有可达相异转移k的转移概率进行原转移概率对应计算后进行求和再平均运算,得到的结果作为每个边或者状态的差异值。实验表明严格测试充分性判别方法比非严格Markov模型方法更稳定、有效。     

软件可靠性加速测试与评估方法

为提高软件可靠性测试效率,提出了一种基于混合测试的软件可靠性加速测试方法,将针对性测试方法与软件可靠性测试方法相结合,并给出了相应的混合加速测试过程.利用次序统计量理论构建了基于混合测试过程的软件可靠性评估模型.以一个仿飞机外挂物管理系统为对象进行了实例应用,给出了具体测试过程并进行软件可靠性评估,结果表明该加速测试方法克服了软件可靠性测试中普遍存在的饱和效应问题,可以有效地加快测试过程,同时提出的软件可靠性评估模型表现了较好的拟合效果并能够给出较为准确的软件可靠性评估预计结果.     

基于非齐次泊松过程的软件可靠性增长模型

非齐次泊松过程软件可靠性增长模型是评测软机可靠性的重要工具,影响软件可靠性的2个重要参数是软件中初始的故障数和故障检测率.通过对软件错误分布进行定义,建立了非齐次泊松过程软件可靠性模型,并对不同参数下的模型进行了分析和比较.讨论了非齐次泊松过程模型的使用条件,对模型初始的故障数和故障检测率参数进行了推导,并给出了评估方法.     

嵌入式系统软件可靠性模型的研究

针对嵌入式系统中软件和硬件密切相关,都会导致软件故障这一问题,提出了一种考虑硬件相关的软件可靠性模型,并利用MATLAB软件对真实的项目数据进行仿真实验,结果表明：新模型随着测试的进行对实际数据的拟合性能比传统模型好。该模型提供了更准确的软件可靠性估计,能够帮助人们在嵌入式软件早期测试阶段制定出更好的的测试策略。     

一种基于可靠性的软件构架描述视图

提出一种针对软件可靠性估算的描述软件构架的方法——构件状态转移概率视图．该方法可以描述出使用基于构架的软件可靠性模型估算构架可靠性所需要的大量信息．在估算构架可靠性的过程中使用该方法可以大大简化工作量，而又可保持原有精度．     

软件可靠性模型分析

软件可靠性模型直接决定着软件可靠性测试的结果,文章论述了软件可靠性模型的评价准则和选取原则.对经典的软件可靠性模型(J-M模型,GM模型)进行分析,并且指出了软件可靠性模型的局限性.对软件可靠性模型的发展前景进行了展望.     

基于变点方法的软件可靠性分析

简述软件危机及其引发的软件可靠性问题,讨论软件可靠性的变点分析理论,结合Schneidewind模型提出软件可靠性变点分析的极大似然方法,并将其应用于一个实际的软件失效数据集,采用积分变换的U-图准则进行检验,结果证明了该软件可靠性变点分析方法的有效性和统计意义.     

结合维护策略和失效相关性的软件可靠性建模

针对当前软件可靠性模型（SRM）领域失效相关性研究中存在的问题，提出了一个结合维护策略和失效相关性的SRM，该方法根据维护策略的特点和两次运行之间的6种状态转换，采用了包含成功运行、失败运行和版本更新3类点的马尔可夫更新过程，在离散时间上和连续时间上分别建立了SRM。在此基础上，将分层思想引入模型：在每层上对相互依赖的软件运行建模，在层与层之间对维护策略建模。最后应用上述模型得到了失效间隔时间分布函数、可靠度等重要的可靠性指标。经过模型比较与分析，验证了该模型与其他SRM的内在关联，是一个更具柔韧性的SRM框架。     

基于组件系统的可靠性分析

在已有层次型组件系统可靠性模型的基础上，分析了层次内各组件之间的相关性，给出了适用性强且符合层次型软件的可靠性评估模型，并将其推广到评估组件系统可靠性的一般模型. 使用该模型能够在开发过程中对软件可靠性进行预测，并给出了对IPv6协议软件子集可靠性预测.     

组合导航软件可靠性的评估

在大规模导航软件系统中，软件评估的主要任务就是要精确地估测程序模块中存在的缺陷数。介绍了组合导航软件的评估方法和步骤，着重介绍了JM模型和G－O模型，并提出了神经网络评估软件可靠性的具体方法。对组合导航软件的特点及测试方法进行了讨论。根据软件模块测试报告，分别用JM模型、G－O模型和神经网络对软件模块的缺陷数进行预测，并给出了组合导航软件3种模型的评估质量的比较。结果表明：神经网络方法优于传统模型方法。     

组合导航软件可靠性的评估

在大规模导航软件系统中,软件评估的主要任务就是要精确地估测程序模块中存在的缺陷数.介绍了组合导航软件的评估方法和步骤,着重介绍了 JM 模型和 G-O 模型,并提出了神经网络评估软件可靠性的具体方法.对组合导航软件的特点及测试方法进行了讨论.根据软件模块测试报告,分别用 JM 模型、G-O 模型和神经网络对软件模块的缺陷数进行预测,并给出了组合导航软件3种模型的评估质量的比较.结果表明:神经网络方法优于传统模型方法.     

Analysis on testing and operational reliability of software

Software reliability was estimated based on NHPP software reliability growth models. Testing reliability and operational reliability may be essentially different. On the basis of analyzing similarities and differences of the testing phase and the operational phase, using the concept of operational reliability and the testing reliability, different forms of the comparison between the operational failure ratio and the predicted testing failure ratio were conducted, and the mathematical discussion and analysis were performed in detail. Finally, software optimal release was studied using software failure data. The results show that two kinds of conclusions can be derived by applying this method, one conclusion is to continue testing to meet the required reliability level of users, and the other is that testing stops when the required operational reliability is met, thus the testing cost can be reduced.     

面向评估的软件可靠性与费用模型的研究

一个软件系统开发过程中,影响开发费用的因素很多,可靠性因素无疑是非常重要的。对可靠性和费用之间的深入研究有助于在保证软件可靠性的前提下,控制成本,优化资源配置。本文通过理论分析和实验验证,研究了可靠性和费用的关系,建立了面向评估的软件可靠性费用模型EORC。实验结果表明该模型是合理的,且简单实用。     

一种基于构件失效传播的软件可靠性建模方法

在当前主流的基于软件体系结构可靠性建模方法中,路径法是一种相对简单实用的建模分析方法。现有软件体系结构可靠性建模方法大多基于构件失效行为相互独立的假设,当构件产生的失效对其它构件可能产生影响时,现有的建模方法无法准确表达系统的失效行为。为解决这一问题,基于路径法,使用构件转移图描述典型的软件体系结构,引入构件失效传播概率矩阵来定义构件失效传播行为,并对现有针对典型体系结构的可靠性模型进行了扩展。最后通过两个实例验证了新模型比现有模型更能获得准确的评估结果。