以软件可靠性增长测试推动软件可靠性工程的实施

针对航空机载武器系统嵌入式软件可靠性工程实施现状,提出以软件可靠性增长测试为基础。推动软件可靠性工程的实施的观点,并给出由软件可靠性增长测试推动软件可靠性工程实施的具体过程。     

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

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

软件可靠性测试方法探析

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

软件可靠性测试流程设计及其应用

科学、合理的软件可靠性测试流程有助于测试工作有条不紊地展开,而现有的可靠性测试流程普遍存在可靠性分配方法不明确、过程不完善等问题,针对此问题展开了软件可靠性测试流程的研究;在分析软件可靠性测试与软件测试的区别、并借鉴现有软件可靠性测试流程的基础上,提出了一个由可靠性测试准备、可靠性测试执行和可靠性测试结果分析三大部分构成的比较全面的可靠性测试流程,并详细阐述了流程中的每一步具体操作;在该流程的指导下进行"虚拟维修训练系统"可靠性测试,充分验证了该流程的可行性和实用性.     

软件可靠性测试及评估平台的设计与实现

设计并实现了软件可靠性测试与评估平台,支持软件可靠性测试用例自动生成,便于可靠性数据收集以及软件可靠性评估和预测,解决了软件可靠性测试难以有效开展的问题。通过与SMERFS预测结果对比,表明本平台对软件可靠性测试与评价具有较强的实用性。     

软件可靠性研究与进展

综述了软件可靠性研究的主要内容 ,包括软件可靠性设计、测试与管理 -软件可靠性数据收集以及硬软件系统可靠性等方面的发展现状 ,提出了软件可靠性研究有待于进一步探讨的主要问题     

软件可靠性研究与进展

综述了软件可靠性研究的主要内容,包括软件可靠性设计、测试与管理-软件可靠性数据收集以及硬软件系统可靠性等方面的发展现状,提出了软件可靠性研究有待于进一步探讨的主要问题.     

基于覆盖率信息的软件可靠性增长测试实践

软件可靠性增长测试是公认的实现软件可靠性增长以满足软件可靠性定量要求的重要手段,但数量庞大的测试用例往往成为其在实践中进行大规模推广和应用的瓶颈。通过在传统软件可靠性增长测试中引入覆盖率信息的方法来降低可靠性增长测试中需要执行的测试用例数量,从而加快可靠性测试进程,并解决其在实际中不能应用的弊端。通过实践的尝试,希望架起软件可靠性理论研究与工程实践之间的桥梁,以推动软件可靠性工程活动在工程实际中的开展和应用。     

软件可靠性测试及其实践

软件可靠性测试是软件可靠性工程的一项重要工作内容,是满足软件可靠性要求、评价软件可靠性水平及验证软件产品是否达到可靠性要求的重要途径。本文探讨、研究了软件可靠性测试的基本概念,软件可靠性测试过程以及软件可靠性测试中的主要问题,还介绍了一个实际软件的可靠性测试工作。     

星载软件可靠性测试实践

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

软件可靠性分析、测试与评估工具--SRATE介绍

软件可靠性分析、测试及评估工具(SRATE)是一个集软件可靠性分析、测试及评估于一体的软件工具。该工具支持多种测试策略下的软件自动化测试及评估试验,包括随机测试策略、自适应测试策略等。该工具还集成了包括欧洲航天局的space软件、浙大CAD&CG国家重点实验室的Intra3D构件库在内的多个典型被测对象。根据工具接口要求可以方便的添加新的测试策略和测试对象。具有自动化程度高、通用性强、配置灵活、易于扩展的特点,是进行软件可靠性分析研究工作的有力工具。     

实时多任务软件高可靠性测评方法

为了克服传统可靠性测试方法在验证高可靠性指标时测试持续期太长的困难,针对实时多任务软件的特点,提供了一种融基于体系结构的系统可靠性建模、最大熵原理、贝叶斯统计推断为一体的多级高可靠性测评方法。数值仿真表明,该方法在不降低验证测试置信水平的基础上,能有效缩短验证测试持续期。     

ISTREM软件测试可靠性评估方法研究

在航空电子系统软件测试的背景上,对ARINC653平台燃油模块在Testbed测试平台上的测试用例进行统计,得出实际测试案例分布服从特殊泊松的数学特征。根据软件测试的时间依赖性提出一种新的可靠性评估模型ISTREM,并且求得软件测试用例的失效率,从而对软件进行可靠性评估,解决了软件测试可靠性评估过程复杂且计算量较大并且忽略时间依赖性的问题。在Matlab平台上对软件系统(燃油模块)的测试可靠性进行评估,得出实验结果,并且提出不足。     

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

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

软件可靠性加速测试方法研究

文章介绍和分析了国内外有关软件可靠性加速测试的概念和特点,对国内外安全关键软件的可靠性加速测试方法和基于灰盒的软件可靠性加速测试方法的研究成果和进展进行了分析、总结和论述,探讨了软件可靠性加速测试中存在的问题和难点并对其发展前景进行了展望。     

离散型软件可靠性验证测试方案研究*

目前,国内外相关研究大多集中于以MTBF/MTTF等时间相关指标作为可靠性参数的连续型软件,而对以成功率等非时间相关指标作为可靠性参数的离散型软件的可靠性验证测试研究则比较少见。因此,针对三种重要的离散型软件可靠性验证测试方案进行详细的分析与比较,并从标准层面上对这三种方案的实施方法与技术细节进行改进,从而为离散型软件可靠性验证测试的开展与实施提供必要和有效的指导。     

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

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

故障检测率不规则变化的软件可靠性模型

传统的NHPP(non-homogeneous Poisson process)模型在实际的测试当中被证明是成功的.但是,由于传统的NHPP模型用的是理想的假设,例如,假设故障检测率是常数、平稳变化和规律变化,模型的性能在实际的测试环境中总是受到损害.因此,提出一个基于NHPP的软件可靠增长模型,并且考虑故障检测率的不规则变化情况,这种变化符合故障检测率在实际的软件测试过程中的变化.通过相关的实验验证了所提出的NHPP模型的拟合和预测能力.实验结果表明:在用实际的故障数据进行拟合和预测的过程中,所提出的模型与传统的NHPP模型相比,有更好的拟合和预测性能.同时,也给出了所提出模型相应的置信区间.     

软件可靠性测试的加速机理研究

从软件的失效机理出发,对比硬件失效分析了软件失效的特性,结合软件测试的机理,阐述了软件可靠性测试的机理,并在此基础上研究了软件可靠性测试存在加速的可能性,提出了实现加速的思想和方法。