基于改进的双指数模型的软件可靠性预测研究

研究软件可靠性模型是实现软件可靠性定量分析的前提。为克服传统演绎建模的局限性,采用指数平滑方法进行软件可靠性建模,分别建立了单指数平滑模型、双指数平滑模型。在分析单、双指数平滑模型的基础上,引入动态平滑系数,对双指数平滑模型进行了改进,并运用实际统计数据验证了其预测效果,结果表明模型具有较高的准确性和实时性。     

测试有效性对软件可靠性验证测试量的影响

针对传统软件可靠性验证测试方法均不考虑软件测试性可能会对验证测试用例数量产生影响的现状,提出一种引入测试有效性对软件可靠性验证测试最小量进行改进的方法.分析了软件测试性的定义及其对软件可靠性测试集合的影响,提出软件测试有效性的概念.比较了考虑测试有效性前后软件可靠性验证测试集合在数量上的差异,证明经典统计方法和无先验知识的Bayesian统计推断方法确定的均为假定测试有效性为零情况下的保守估计.提出结合测试有效性的验证测试量的量化表示模型和验证测试方案的改进方法,基于统计故障注入的原理,提出测试有效性的定量评估方法,最后通过示例给出定量评估过程和方法.      

软件可靠性验证测试最小测试量的必要条件

将统计学中样本容量的确定方法引入软件可靠性验证测试中,提出了软件可靠性验证测试最小测试量的必要条件的概念.推荐最小测试量的参考值,使其在满足第一类风险的情况下,第二类风险也不超过某一定值.分析了最小测试量的影响因素,对现有的软件可靠性验证测试方案进行了修正,给出在最小测试量指导下的软件可靠性验证测试流程,弥补了现有方法的判定结论并非在任何情况下都可信的不足.     

软件可靠性之定量评估方法研究

基于对多种软件可靠性模型的分析,并结合工程软件之特点,提出一种工程软件适用的可靠性定量评估方法,并将其应用于某航天工程软件的可靠性评估。实践表明,本方法简单、可行,对其它领域的软件可靠性评估同样具有参考价值。     

空管自动化系统软件可靠性建模分析及评估

由于计算机和信息处理技术在民航、航空航天领域的广泛应用,越来越复杂的软件系统已经大量存在于这些领域的科技工作和实际应用中。如何客观准确地评价这些软件产品的质量,尤其是软件可靠性,就显得非常重要。为了保证我国空中交通管制工作的安全进行,作为指挥枢纽的空管中心必须提供可靠的服务,不能有任何中断与故障发生,这就要求空管自动化系统必须具有绝对高的可靠性。     

军用软件可靠性策略研究

在分析影响军用软件可靠性因素的基础上，借鉴能力成熟度模型(CMM)过程规范思想，提出了一套完整的军用软件可靠性解决策略，包括软件可靠性组织过程、软件可靠性管理过程、软件可靠性工程过程和软件可靠性支持过程，并概要描述了各个过程所涉及的技术和实现方法。     

软件可靠性研究综述

论述了软件可靠性的重要性,着重介绍了软件可靠性的指标、软件可靠性模型和提高软件可靠性的方法,给出了一些软件可靠性方面权威站点的网址,探讨了值得研究的几个问题.     

航天软件需求可靠性与安全性分析验证技术及工程应用研究

软件需求可靠性与安全性分析验证可有效识别功能层次的需求遗漏、设计缺陷及相关的危险等,是提升软件可靠性与安全性的有效手段。GJB 900A等标准中已要求开展该项分析工作,但与NASA相比,目前工程应用推广尚待加强。本文在调研分析已有方法的基础上,总结实际工程经验,提出了一套操作性强的航天软件需求可靠性与安全性分析验证技术,可为该技术的工程推广提供借鉴。     

一种基于AADL的IMA系统配置信息的正确性检测方法

综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素。本文针对满足ARINC653规范的IMA系统重配置信息的正确性检测方法,展开了基于架构分析和设计语言(AADL)模型转换与分析的研究。给出了一系列从ARINC653系统配置信息到AADL模型元素的映射规则,包括模块、分区、进程、健康监控、通信等核心概念,并设计了一个模型转换的方法,然后采用一个第三方的工具对所得到的AADL模型展开配置信息正确性的语义验证。最后本文还给出了一个实例分析。     

软件可靠性探讨

航空机载设备无论是在产品研制过程中还是在产品维修的设计制造过程中,软件的可靠性都变得越来越重要。本文系统阐述了软件开发过程（研制和维修）中的一般可靠性活动,并提出了一些提高软件可靠性的途径。