软件可靠性新模型研究(英文)

在讨论当前使用的软件可靠性模型存在的主要缺陷的基础上,提出了一个新的软件可靠性模型.当今应用模型中的可靠性假设条件并不考虑软件本身的复杂性、软件测试的有效性以及软件应用环境的完全性等要素,因此在评估软件可靠性时往往产生不精确的结果.为此将尽可能多的与被测软件可靠性评估有关的因素,结合到软件可靠性模型中去,使得对被测软件的可靠性模型更切合实际,因此使它更为精确.以一个实际的软件测试实验及对该软件进行的可靠性评估为实例,说明所提出观点和方法的合理性和可行性.     

基于UML的软件可靠性建模

标准的UML方法对软件质量部分如何建模是缺乏的,由此本文研究了针对软件可靠性建模和评估的UML剖面,它是基于标准UML元模型的扩展,能对系统中影响软件可靠性的因素建模;同时研究了此模型应用于传统的可靠性评估技术中的一些结论;此模型有助于贯穿软件生命期的软件可靠性工程,以提高待开发软件的可靠性指标.     

软件可靠性评估中的组件独立性研究

对一个典型的软件系统而言,人们普遍认为通过组件的可靠性来计算系统的整体可靠性是不可行的,这是由于软件系统与硬件系统不同,它通常违背可靠性计算所要求的组件独立性原则.针对组件和基于组件的软件可靠性评估问题,给出了一种改进后的Markov模型.经CPS转换后,软件系统的可靠性可用Markov模型进行准确计算.     

关于软件评估的可靠性模型假设

对软件评估的可靠性模型假设进行了彻底详细的分析。揭示了软件评估的可靠性模型假设在软件可靠性模型中的重要性。最后讨论了软件可靠性模型假设在实际中的局限性     

基于NHPP模型的联锁软件可靠性评估

基于软件可靠性工程思想,深入分析了NHPP软件可靠性建模的原理,并利用NHPP模型对处于开发后期阶段的铁路信号计算机联锁软件进行可靠性评估.通过建模评估,得出了联锁软件可靠性水平的定量分析结果,为计算机联锁系统开发的管理和决策提供了科学依据.     

用线性组合模型分析软件可靠性数据

针对单一模型分析软件可靠性数据存在的不足,对软件可靠性数据的收集进行规范,并提出线性组合模型,解决了软件可靠性数据和可靠性模型的适用性问题,提高了软件可靠性模型评估和预测的精确度,其中DLC模型是目前线性组合模型中的最佳线性组合模型.     

基于体系结构的软件可靠性测评研究

针对传统高可靠性软件测评方法存在的问题,在分析基于体系结构测评重要性的基础上提出了基于软件体系结构的可靠性测评方法.将软件可靠性增长测试和软件可靠性验证测试有机统一起来,从模块级对可靠性进行控制,并提供可靠性先验信息.该方法有利于实现软件可靠性快速增长,有效减少测试用例量.     

数据驱动的SOA应用可靠性动态评估

面向服务的体系结构(SOA)具有动态性与协同性,这使得传统的软件可靠性评估方法并不适于评估SOA应用的可靠性。该文提出了一种可靠性动态评估方法,其核心是由在线监测到的数据所驱动的服务组合可靠性模型。该模型通过自底向上的3个层次来分离目标系统的动态变化,即:服务可靠性的度量模型、服务池容错模型和基于Markov链的服务组合使用模型。经初步实例验证,该方法能够有效适应针对SOA应用进行全生命周期可靠性动态评估的需要。     

基于模块化的软件可靠性模型

通过对J-M模型的分析,结合软件可靠性、软件可靠性工程和软件测试以及概率论的相关理论,设计了基于软件模块化的软件可靠性测试模型,同时给出了软件维修时间的估计模型,最后讨论了参数对模型的影响.     

一种基于模糊综合评判的软件可靠性模型选择方法

软件可靠性模型是可靠性工程的一个重要方面，如何缺乏可靠性数据的情况下，选择合适的软件可靠性模型是对软件可靠性进行量化分析的关键，在对影响软件可靠性模型的因素进行分析的基础上，采用模糊数学的理论，提出了一种基于模糊综合评判的软件可靠性模型选择方法。