自动化空中交通管制系统软件可靠性评估研究

文章提出了评估自动化空中交通管制系统(AATCS)软件可靠性的一种新方法—基于PCR的软件可靠性评估。经操作员和软件支持业务人员(SSF)现场测试,对发现、过滤的软件故障进行确认,生成S2级的软件系统问题变更报告(PCR)。采用CROW-AMSSA(NHPP)模型进行系统的可靠性增长计算,通过极大似然估计法确定模型的参数,经过计算得到AATCS的S2级失效强度和可靠性预测趋势。     

基于随机Petri网的软件可靠性分析方法

软件可靠性模型对于软件可靠性估测起着核心作用.目前提出的模型大多数都不能很好的适应复杂多变的应用环境的要求.针对构件化软件提出了一种基于随机Petri网的软件可靠性分析方法,它符合尽可能在软件开发的上游阶段对软件进行可靠性评估的思想.使用该方法建立起的模型可以很好的描述软件系统的动态变化过程,尽可能多的考虑了影响软件可靠性的因素,有利于降低软件可靠性描述与分析的复杂度,并可以得到软件系统处于各个状态的瞬时及稳态概率.     

软件可靠性的模糊综合评估模型

文章通过对软件可靠性因素的定义和分析,提出了软件可靠性的综合评估指标体系。在计算软件可靠性因素对软件可靠性影响程度的基础上,实现了软件可靠性的定性评估。该模型改变了通常把软件视为“黑箱”来进行可靠性评估的方法,并起到了对传统模型估计结果的检验和修正的作用。     

星载软件可靠性模型应用研究及实践

为定量评估软件的可靠性指标,介绍了利用软件可靠性模型评估软件可靠性的过程和方法;针对某星载嵌入式软件的失效趋势,根据模型的选择原则和方法,以及模型的预测质量的对比,最终选择了指数模型作为可靠性评估模型。对该软件在轨运行情况进行了可靠性评估,开展了基于该软件可靠性测试数据的可靠性评估,评估结果给出了该软件的可靠性水平。     

基于构件影响因子的软件可靠性评估方法

为提高构件式软件系统可靠性评估的准确性,使软件系统的优化效率得到提高,提出一种基于构件影响因子的软件可靠性评估方法.基于构件式软件系统具有的复杂网络特性,使用引入构件转移概率的加权PageRank算法评估构件的影响因子,将构件的影响因子引入到离散时间马尔科夫链的可靠性评估模型中,评估软件系统的可靠性.实验结果表明,该方...     

基于软件架构的可靠性分配算法

研究软件可靠性分配中的软件开发成本最小化问题.将软件系统的成本最小化问题表达为一类带约束条件的组合优化问题,并且提出了基于架构的软件可靠性与开发成本评估及分配思想,建立了基于软件架构的可靠性-成本模型,提出了基于该模型的可靠性最优分配算法.该算法可以求解在给定可靠性目标前提下的可靠性分配问题,使得软件系统预期开发成本最小.     

基于贝叶斯的软件可靠性评估研究

以贝叶斯公式为基础,根据软件正确性的先验概率密度函数以及正确通过软件测试案例的数量分布服从二项分布的数学特征,求得软件正确性概率的后验分布,并提出一种改进的软件可靠性评估方法,从而解决了软件测试可靠性评估过程复杂且计算量较大的问题。在Matlab平台上对软件系统(中文学习平台)的测试可靠性进行评估,实验结果表明,该方法具有较高的实用性。     

火炮火控系统软件可靠性定量评估方法研究

火炮火控系统软件的可靠性直接决定着火炮战技性能的发挥．软件可靠性模型是定量评估软件可靠性的技术基础。通过对软件可靠性概念和软件可靠性模型的分析研究。提出了综合使用Nelson模型和硬一软件复合系统结构模型的可靠性定量评估方法．该方法可以综合两种模型的优点,实现对火炮火控系统软件可靠性的有效评估。     

基于体系结构的软件可靠性指标分配方法研究

为提高软件可靠性分配的合理性和工程实用性,对现有的各种软件可靠性分配技术与方法进行深入分析和总结,提出了基于体系结构的软件可靠性指标分配方法.该方法利用离散马尔科夫链状态模型(DTMC)表示软件系统可靠性与各构件可靠性之间的关系,从而建立了考虑体系结构的软件可靠性分配模型;利用灵敏度分析各构件对系统可靠性指标的影响程度.实验结果表明了该方法较传统分配方法更有效.     

嵌入式实时控制系统软件可靠性建模与应用

嵌入式实时控制系统(ERCS)广泛应用于各种控制系统中,其软件不同于普通软件,除满足实时性要求外,可靠性也是相当重要的。首先对嵌入式实时控制系统软件进行形式化抽象定义,然后对不可再分的软件模块进行可靠性建模,并应用Copula函数对软件系统进行建模,最后应用建立的模型,对具体的系统进行了软件可靠性计算。通过实例计算可知,用Copula函数建立的嵌入式实时控制系统软件可靠性模型,考虑了软件各个模块的相依性,进而得到嵌入式实时控制系统软件模块相依的可靠度较各模块独立时有所提高。     

高可靠软件的可靠性评估技术

研究了高可靠软件的可靠性评估技术,给出了失效数据稀少情况下的软件可靠性模型.假设高可靠软件的可靠性测试过程中发生失效是独立同分布的稀有事件,从理论上分析了极值统计理论用于软件可靠性评估的可行性,建立了软件可靠性极值统计模型,讨论了模型的参数估计方法和假设检验方法.     

一种基于工作流的软件可靠性评估方法

随着工作流系统在企业运营中担负越来越重要的角色,工作流可靠性研究的重要性也日渐增加。文中提出了一套完整的工作流系统可靠性评估方法,帮助企业检验工作流系统的可靠性。首先,文中对工作流系统的体系结构进行分析,其中重点分析了工作流系统的流程及活动模式,提出一个以流程为基础的工作流可靠性评估方法。文中采用基于马尔可夫链的流程可靠性算法,将活动中的可靠性数据整合,计算流程的可靠性数据。在此基础上,基于Additive模型,根据流程的使用率将多流程的可靠性信息进行整合,最后求出工作流系统的可靠性数据。根据该方法,设计并实现了工作流系统可靠性评估软件,并通过在。 NET工作流平台上的实验,验证了该方法的可靠性预测效果是令人满意的。     

Stochastic software safety/reliability measurement and its application

Safety and reliability have become important software quality characteristics in the development of safety-critical software systems. However, there are so far no quantitative methods for assessing a safety-critical software system in terms of the safety/reliability characteristics. The metrics of software safety is defined as the probability that conditions that can lead to hazards do not occur. In this paper, we propose two stochastic models for software safety/reliability assessment: the data-domain dependent safety assessment model and the availability-related safety assessment model. These models focus on describing the time- or execution-dependent behavior of the software faults which can lead to unsafe states when they cause software failures. The application of one of these models to optimal software release problems is also discussed. Finally, numerical examples are illustrated for quantitative software safety assessment and optimal software release policies. This revised version was published online in June 2006 with corrections to the Cover Date.     

软件可靠性测试的理论分析

目前软件可靠性测试没有真正开展起来,即使重要的军用软件也没有进行软件可靠性测试。软件可靠性模型的不一致性以及软件可靠性测试时间长、费用高、资源消耗大是造成这种局面的两个主要问题。而这两个问题很大程度是由传统基于随机系统假设的软件可靠性理论导致的。因此,在该理论下对可靠性测试方法及可靠性模型的修补与改善工作很难从根本上解决问题。只有从软件可靠性理论本身入手,提出新的研究思路,才有可能摆脱目前软件可靠性测试的困境。首先介绍了软件可靠性测试的现状,然后重点对现有可靠性理论进行了分析和总结,在此基础上,提出了软件可靠性测试研究的一些新思路。     

软件可靠度的模糊故障树评定方法

软件可靠性的定量评价是软件可靠性工程的关键问题之一,采用故障树方法对软件进行定性和定量分析,提出了两类情况下对影响软件可靠性的主次因素划分及其模糊权重的计算方法。在此基础上,建立多级模糊评价模型,提出了增广和聚合算法,并给出了软件可靠度算式。选择某型航空装备软件进行了测试实例分析,实验结果表明了该方法评价结构的合理性与评价算法的有效性,适用于软件质量及开发过程控制的工程实践。     

软件安全性残留风险分级评估的实例分析

评估软件安全性常用的方法有风险评估和基于可靠性模型的评估。基于上述二种方法提出了残留风险分级评估方法。该方法用失效强度和失效严重度来刻画软件的风险,较好地解决了由于测试数据按失效严重度分类后数据少而难以应用可靠性模型的问题,并用实例说明了新方法的可行性。     

AIR application for reliability analysis considering debugging process and network traffic in mobile clouds

Mobile clouds are used by many people via a network service to share the computing resources, because of the unification management of data and low cost. In case of the mobile device, the network access devices are frequently used by many software installed via the installer software. Considering the effect of the debugging process on mobile software in the development of a method of reliability assessment for the mobile clouds, it is necessary to grasp the situation of installer software, the network traffic, the installed software, etc.In this paper, we develop an integrated method of reliability assessment considering the software failure and network traffic based on a hazard rate model and neural network for the mobile clouds. In particular, we develop the AIR application for reliability analysis based on the proposed method. Then, we show the performance examples of the developed AIR application to analyze the method of software reliability assessment for the mobile clouds.     

舰船装备软件构件可靠性评估方法

为了解决对当前大型舰船装备软件构件可靠性评估不够直观详细,构件的性能参数缺乏足够的测试数据。针对以上问题进行研究,提出针对舰船装备软件构件的可靠性评估方法、分析和综合评价的工具。本文提出了一种针对舰船装备软件构件可靠性评估方法,接着对其评估过程进行介绍。最后,在开发出的可靠性评估工具上对方法进行验证,它可以实现软件可靠性早期预计以及可靠性分析的自动化实施。该软件可以极为方便的帮助软件可靠性工程师实现舰船装备软件构件可靠性早期预计分析工作,具有重要的工程意义。     

Markov控制转换多模块软件可靠性测评方法

针对软件多模块化发展的趋势以及当前软件可靠性测评把软件当成一个整块进行处理的缺点,本文提供了一种Markov控制转换多模块软件的可靠性测评方法.方法的主要思想包括建立基于软件体系结构的可靠性模型,并依据该模型把系统级的可靠性指标优化分配到模块级,实现在模块级对整个软件系统可靠性的监控,并在系统级的测评中进行确认.文中针对系统级测评缺少失效数据的情况,重点阐述了如何基于最大熵原理求解系统可靠性参数分布函数,以实现对系统可靠性指标的验证.