星载软件可靠性工程研究与实践

为提高星载软件的可靠性,针对某星载软件的特点,讨论了开展软件可靠性工程的实施框架和过程,分别从软件可靠性设计、分析、度量和测试四个方面进行了总结和评述.重点论述了软件可靠性设计准则,软件故障模式及影响分析和软件故障树分析技术的特点,软件可靠性度量的选择方法,以及软件可靠性测试的评估规程和可靠性模型的选择方法,并给出了技术应用的结果,证明了这些方法的可行性和适用性.     

软件可靠性保证与评测技术

软件可靠性评测是对软件进行测试,通过采集系统运行期间的软件可靠性参数,运用统计技术进行处理并评估软件可靠性的过程。在软件生存期中,有效地控制影响软件可靠性的各种因素,才能提高软件可靠性,实现软件产品的无故障运行。文中着重介绍了提高软件可靠性的方法和技术以及软件可靠性的评测技术。     

软件可靠性保证与评测技术

软件可靠性评测是对软件进行测试,通过采集系统运行期间的软件可靠性参数,运用统计技术进行处理并评估软件可靠性的过程.在软件生存期中,有效地控制影响软件可靠性的各种因素,才能提高软件可靠性,实现软件产品的无故障运行.文中着重介绍了提高软件可靠性的方法和技术以及软件可靠性的评测技术.     

星载软件可靠性测试实践

为验证和评估软件可靠性水平,阐述了开展软件可靠性测试的方法和过程,针对星载嵌入式软件的特点,介绍了进行软件可靠性测试的关键步骤的实现途径和方法,包括:失效的定义、测试环境的搭建、使用剖面的构造、测试过程的执行以及失效数据的收集,最后给出了该软件的可靠性定量评估结果,表明了该方法和流程的实用性和可行性,为后续开展类似的软件可靠性测试提供实践经验.     

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

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

防空高炮数字化改进中的软件可靠性技术综述

防空高炮数字化改进是高炮实现数字化和满足信息化战争需求的重要内容,改进中软件的可靠性是影响数字化改进质量的关键因素,如何提高和保证数字化高炮软件的可靠性成为重点研究的问题.针对该问题,从数字化高炮软件系统构成及分析着手,对数字化高炮的软件可靠性设计、软件可靠性测试以及量化分析技术进行了综合探讨.具体分析了数字化高炮软件可靠性可进行分配的CSCI、软件可靠性测试的阶段、测试中的关键技术以及数字化高炮软件可靠性评估所应当采用的模型方法,通过上述研究可为数字化高炮研制过程中的软件可靠性工作提供参考.     

嵌入式软件的可靠性测试及评估

软件可靠性是衡量软件质量的重要指标之一,软件可靠性测试和评估是提高软件可靠性的有效手段。针对嵌入式软件,研究了软件可靠性测试关键技术及统计方案,并将软件可靠性测试评估技术首次应用在某产品的嵌入式软件中,通过验证软件是否满足可靠性指标要求,为评价软件可靠性提供依据。     

基于面向对象技术的实时软件可靠性测试数据生成方法研究

软件可靠性测试是为了满足软件可靠性要求、评价软件可靠性水平及验证软件产品是否达到可靠性要求的一个有效途径。为生成软件可靠性测试用例,需要分析目标软件输入变量的各种特性、约束条件和取值方法等行为。本文试图从分析实时软件输入变量的行为着手,利用面向对象技术,分析输入变量对象的各种属性和行为,建立起输入变量对象模型,并给出根据这种模型生成实时软件可靠性测试用例的框架。     

软件可靠性测试方法探析

在软件可靠性测试中,测试结果会受测试用例的影响。为得到最佳的测试结果,文中提出了基于运行剖面的公平选择测试用例的原则,在此基础上,建立测试用例集,进行软件可靠性测试,目的是对软件的可靠性进行验证。文章最后给出了利用软件的运行剖面和软件失效数据进行软件可靠性评估的方法。     

软件可靠性评估工具

软件可靠性评估工具是软件可靠性工程中的重要分析手段,大大地简化了可靠性度量及模型比较的繁复工作。文章综述和分析了目前国外市场上几种广泛应用的软件可靠性评估工具;对每一种工具作出简述,在对这些工具作比较分析的基础上给出了选择工具的一般性原则。     

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

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

基于失效分析的软件可靠性评估方法研究

基于用户运行剖面的软件可靠性测试理论广泛地应用在软件测试领域.然而,这种软件可靠性测试既耗时又昂贵.在国内,现在进行的软件黑盒测试主要是系统测试,对于高可靠性要求的软件,系统测试后也需要评估它的可靠性水平.介绍了一种基于失效分析的软件可靠性评估方法,这种方法利用了软件系统测试后得到的缺陷数据,对每一个缺陷导致失效的内外...     

基于覆盖与故障注入的飞控软件测试技术研究

无人机飞控软件是典型的实时嵌入式软件系统,其可靠性、安全性测试与评估是军用软件保障工作与无人机技术发展中的重点与难点。针对飞控软件的特点,介绍基于覆盖与故障注入的测试方法．分析其测试与可靠性评估中的关键技术,并简要介绍应用于测试数据分析过程的软件可靠性建模工具MEADEP的构成与建模方法。实践证明对安全关键软件严格的测试与评估可大大降低错误隐藏数,减少不必要的经济损失与灾难性事件发生。     

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

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

Empirical Research on the Application of a Structure-Based Software Reliability Model

Reliability engineering implemented early in the development process has a significant impact on improving software quality. It can assist in the design of architecture and guide later testing, which is beyond the scope of traditional reliability analysis methods. Structural reliability models work for this, but most of them remain tested in only simulation case studies due to lack of actual data. Here we use software metrics for reliability modeling which are collected from source codes of post versions. Through the proposed strategy, redundant metric elements are filtered out and the rest are aggregated to represent the module reliability. We further propose a framework to automatically apply the module value and calculate overall reliability by introducing formal methods. The experimental results from an actual project show that reliability analysis at the design and development stage can be close to the validity of analysis at the test stage through reasonable application of metric data. The study also demonstrates that the proposed methods have good applicability.      

软件测试中可靠性模型的设计与研究

软件测试是保证软件质量和提高软件可靠性的关键所在,而软件可靠性是衡量软件质量的重要指标之一,二者有着非常紧密的联系。软件可靠性模型既是软件可靠性进行定量分析的基础和保障,也是软件可靠性进行预测的核心和关键,对保证软件质量起到了非常重要的作用。文中结合软件测试与软件可靠性及其模型的相关理论,通过对Seeding模型的分析与改进,提出了一种适用于软件测试的可靠性模型。实验结果表明,使用文中提出的软件可靠性模型能较好地满足软件对可靠性评估的要求,较好地应用在软件测试中。     

"VXI总线测试软件平台"的软件测试

“VXI总线测试软件平台”是一个大型系统软件，必须对其完备地测试，以保证软件系统的可靠性，针对“VXI总线测试软件平台”的特性，就软件测试、软件的可维护性及可靠性进行了论述。     

基于Logistic测试覆盖率函数的软件可靠性建模研究

软件测试覆盖率是测试充分性和测试效率的有效度量指标,其与软件可靠性以及缺陷覆盖情况之间有着一定的相关关系,并且结合测试覆盖率信息的软件可靠性模型的评估和预计效果将会得到有效改进.在实际测试过程中,由于软件结构特征及学习因素的综合影响,测试覆盖率可能会呈现出一种先增后减的趋势,Logistic函数恰好非常适合描述这类S形变化趋势,且结构简单,具有较好的灵活性与适应性.因此,针对基于Logistic函数的测试覆盖率函数以及软件可靠性建模等问题展开研究.首先提出基于Logistic函数的测试覆盖率函数;在该函数的基础上,提出基于Logistic测试覆盖函数的缺陷预计模型;然后,将NHPP可靠性模型的建模过程与Logistic测试覆盖函数相结合,提出一种新的者虑测试覆盖率的软件可靠性增长模型.实例验证结果表明:与若干已有的同类研究成果相比,提出的基于Logistic函数的测试覆盖率函数、缺陷预计模型以及软件可靠性增长模型有效地提高了函数或模型对数据的拟和精度,且具有较好的适用性.     

软件可靠性定量评估过程研究

软件可靠性定量评估过程贯穿软件开发和验收使用的全过程,是软件可靠性的重要评价手段。重点介绍该过程中的关键技术与方法,阐述了软件可靠性参数分析、可靠性预测、可靠性模型选择和可靠性测试充分性等主要内容,对软件可靠性定量评估过程进行较全面的分析探讨。     

基于基准比对思想的软件可靠性预测仿真建模研究

可靠性作为衡量软件质量的重要特性,其定量评估和预测已成为人们关注和研究的焦点。本文针对这个问题展开研究,提出一个可用于软件测试之前的早期可靠性预测仿真模型。此仿真模型通过考查影响软件可靠性的过程因素,采用基准比对思想,利用软件过程度量数据,根据相似度比较,预测软件的残留缺陷数。由于该仿真模型仅需要静态历史数据,故可在软件测试之前,用于估计软件的残留缺陷数,从而预测软件的可靠性,为后期软件过程的改进以及软件测试计划的修正提供依据。