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

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

基于失效树分析的网络安全风险评估方法研究

本文提出了一种基于失效树分析法的网络安全风险状态评估方法,该方法通过对硬件、软件、环境及人为因素等的可靠性评估技术,计算出失效概率、顶事件和最小割集的重要度等,最后针对整个网络活动的体系结构、指导策略、人员状况等,对风险做出抉择。     

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

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

软件安全性评估方法综述

软件安全性评估的目的是评价软件是否达到系统规范所要求的安全性。该文对国内外关于软件安全性评估的方法进行了分析,将其分为风险矩阵评估、模糊评估和基于可靠性模型的评估等类别,并对上述几种方法做了相应的比较。     

电子元器件加速退化寿命评估方法研究

基于退化轨迹的评估方法是退化型产品进行可靠性评估的主要方法,适合于对具有退化失效机理的高可靠长寿命产品进行可靠性评估;基于退化轨迹的可靠性评估方法首先选取合适的退化轨迹模型,利用退化数据对退化轨迹进行模型拟合得到模型参数,然后根据退化轨迹外推得到伪失效寿命,最后基于伪失效寿命利用最小二乘法进行统计分析确定产品的失效分布,并通过假设检验的方法选择拟合度最优的分布;本文以大功率开关的加速退化试验数据为例进行了分析和说明.     

基于监控日志的航班查询系统可靠性评估方法

针对运行阶段的系统软件可靠性评估理论和评估方法的研究缺失,提出一种基于系统监控日志的软件可靠性评估方法。以中国航信的航班查询系统为可靠性评估研究对象,首先解析该系统的监控日志,提出基于监控日志的失效数据提取方法。其次,基于航班查询系统的特点和可靠性数据的分析结果,构建了航班查询系统可靠性模型。最后,实验验证了该可靠性模型是可行的,并利用此模型评估了航班查询系统的可靠性,形成了系统软件可靠性评估过程方法。     

基于测试覆盖的嵌入式软件可靠性评估

为了提高软件可靠性的评估和预测精度,提出了一个基于测试覆盖的非齐次泊松过程类软件可靠性增长模型,通过将测试覆盖率信息考虑到软件可靠性模型中去,使模型能够更准确地描述软件的测试过程,并能避免由于测试的不充分性而导致的可靠性评估偏离软件的真实情况.提出了结合变点思想的基于测试覆盖的软件可靠性评估方法,该方法解决了工程实践中经常出现的测试过程中剖面发生变化而导致失效数据不服从同一分布的实际问题.最后,通过实例分析,验证了该方法的准确性和有效性.     

基于振动传感器性能退化数据的可靠性评估

在基于失效数据可靠性评估和性能可靠性评估方法的基础上,提出了基于性能退化量分布的可靠性评估方法,以对具有退化失效机理的振动传感器进行可靠性评估。基于性能退化量分布的可靠性评估方法,首先,计算不同测量时刻产品性能退化量的统计特征,对其进行曲线拟合得到统计特征随时间变化的函数,即性能退化量分布参数,然后,利用可靠性与性能退化量分布的关系评估产品的可靠性,最后,运用基于性能退化量分布的可靠性评估方法对振动传感器进行了可靠性评估。     

基于执行时间模型的航天飞控软件可靠性测试

航天飞行控制软件是一种具有高可靠性要求的软件系统,但是目前对航天飞控软件的可靠性还没有进行定量的度量和管理.尝试将软件可靠性的定量模型应用于航天飞控软件系统的测试过程.介绍了基本执行时间可靠性模型,提出了基于历史失效数据拟合的模型校准方法,讨论了基于基本执行时间可靠性模型的软件可靠性增长测试和可靠性检定测试.     

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

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

软件可靠性模型应用中的不一致性与软件可靠性专家系统

关于软件系统故障行为的统计假设,是软件可靠性模型的理论基础 。由此产生应用中的不一致性,使用户对这些估测结果迷惑不解,“谁的结果最可信”？我们以“故障数据是软件可靠性分析的基础”为原则,采用人工智能技术,建立软件可靠性专家系统（SRES：Software Reliability Expert System),以解决软件可靠性模型应用中的不一致性难题。最后,报告该系统的使用及与国外一些软件可靠性量测工具的比较。     

软件缺陷及其对软件可靠性的影响分析

软件缺陷是软件失效的源头,是影响软件可靠性的重要因素。简述了几种典型的软件缺陷分类方法,结合C++语言,提出了面向程序代码的软件缺陷分类法。采用程序变异方法模拟各类软件缺陷,通过实验,归纳并总结了不同类型的软件缺陷对软件可靠性的影响。     

软件可靠性专家系统(SRES)中经验模型的奇异性问题与参数估计方法

本文作者以“一切让数据说明问题”为原则,采用人工智能技术,开发出软件可靠性专家系统ＳＲＥＳ（ＳｏｆｔｗａｒｅＲｅｌｉｂｉｌｉｔｙＥｘｐｅｒｔＳｙｓｔｅｍ）根据统一的标准,通过统一组软件可靠性模型ＳＲＭ（ＳｏｆｔｗａｒｅＲｅｌｉａｂｉｌｉｔｙＭｏｄｅｌｓ）的拟合结果,经过推理,得出一个“最适”模型,推荐给用户,作为估测该软件系统的一个“标准模型”同时为软件开发方和使用方所接受,以解决软件可靠性模型应     

基于聚类的软件失效数据预处理

应用失效数据进行软件可靠性参数的评估与预测是软件可靠性工程的主要内容之一。利用分层聚类算法对失效数据中的扰动和异常数据点进行隔离,并将以故障密度为相似性度量进行聚类处理后的失效数据集进行SRGM建模与软件可靠性参数估计,以较好的曲线拟合度提高SRGM参数估计与可靠性预测的精确性和抗干扰性,从而得到良好的软件可靠性分析与预测结果。     

软件产品可靠性评估的WD模型及其性能分析

本文从软件产品的失效规律入手提出了其可靠性评估的WD模型及其参数估值方法.从NTDS软件出错数据统计为例的分析结果看,WD模型的参数估值性能优于J-M模型和NHPP模型.最后还提出了一种参数估值准确性的判定准则.     

基于时间的软件恢复策略的建模与分析

针对软件在连续运行过程中普遍发生的老化现象,提出了一种嵌套的基于时间的软件恢复策略,对恢复过程的Petri网模型分析求解,并最终得到了最优恢复时间间隔序列和最优应用级恢复次数。该策略同时考虑应用级和系统级的恢复,从而进一步减少了恢复时间,降低了恢复成本和周期性应用级恢复策略预测失败的风险,提高了系统的可靠性。对于更复杂的系统,策略还可进一步嵌套进程级的恢复,从而具有一定的可扩展性。     

软件可靠性测试方法研究

在软件的可靠性测试中,测试结果会受到测试用例的影响.为了得到最佳的结果,就需要公平选择测试用例,建立测试用例集,进行软件的可靠性测试.利用软件的运行剖面和软件失效数据进行软件可靠性评估是较可行的方法.     

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.     

二次拟合：一种提高软件可靠性模型精度的新方法

针对软件可靠性模型精度不高的问题,提出了"一次建模 + 二次拟合"的方法,通过误差补偿机制来提高模型精度,并将该方法应用于航天软件失效数据集.实践结果表明,提出的方法对于提高软件可靠性模型精度是有效的.     

Gompertz software reliability model: Estimation algorithm and empirical validation

Gompertz curve has been used to estimate the number of residual faults in testing phases of software development, especially by Japanese software development companies. Since the Gompertz curve is a deterministic function, the curve cannot be applied to estimating software reliability which is the probability that software system does not fail in a prefixed time period. In this article, we propose a stochastic model called the Gompertz software reliability model based on non-homogeneous Poisson processes. The proposed model can be derived from the statistical theory of extreme-value, and has a similar asymptotic property to the deterministic Gompertz curve. Also, we develop an EM algorithm to determine the model parameters effectively. In numerical examples with software failure data observed in real software development projects, we evaluate performance of the Gompertz software reliability model in terms of reliability assessment and failure prediction.