一种嵌入式系统的可靠性测试与评价方法

使用Markov模型进行嵌入式系统的可靠性测评,能够明显地节约计算时间,并保证可靠性测评的准确性,因而越来越受到人们的关注。在Markov模型中,可以使用敏感性因子描述嵌入式系统可靠性,建立敏感性因子和测试资源的关联,为系统模块分配可靠性指标,把嵌入式系统的可靠性测试,转化为相应的优化问题。文中介绍了一种基于Markov模型的嵌入式系统可靠性测试与评价方法,包括测评框架、设计指标分配和敏感性分析等内容,说明如何依照可靠性测评框架对嵌入式系统进行可靠性测评。     

一种模块化的实时软件可靠性测评方法

根据实时软件的可靠性评估需要,在分析传统软件可靠性增长模型局限性的基础上,提出了一种模块化的实时软件可靠性测评方法。该方法将系统的可靠性指标分配到各任务模块,并将贝叶斯理论用于单个模块的可靠性测评。相比基于可靠性增长模型的传统测试方法,该方法可降低系统测试的复杂程度,提高评估精度,特别适合对高可靠性软件的测评。     

一种基于动态规划的软件可靠性分配方法

软件可靠性是衡量软件质量的一个重要指标.要达到软件的高可靠性需要一定费用,所以软件开发费用对可靠性的影响至关重要.然而一个软件系统的开发费用是有限的,如何合理确定系统的可靠性以使软件开发费用最小成为一个很有意义的研究问题.根据费用与可靠性关系建立了可靠性-费用模型,进而得到软件系统可靠性分配模型.结合动态规划思想,研究基于这个模型的针对各软件组件的可靠性最优分配方法,使得系统达到给定的可靠性目标而耗费最少的资源.     

Markov控制转换多模块软件可靠性测试资源动态分配方法

考虑到软件任务模块执行的不均衡性以及模块级软件可靠性增长测试的具体情况,针对Markov控制转换多模块软件,提出了一种模块级的可靠性测试资源动态优化分配方法,以减少测试代价.与静态资源分配方法相比,本方法更加优化利用测试资源,在确保可靠性指标的前提下可降低总的测试代价.     

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

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

基于混合法的监控系统可靠性分析

针对复杂监控系统规模庞大及关键设备为双机冗余结构的特点,提出以动态故障树(DFT)为基础并结合蒙特卡罗方法对监控系统进行可靠性分析的混合方法。利用DFT建立系统可靠性模型,通过蒙特卡罗仿真算法对模型进行仿真计算,得到系统的可靠性指标。通过对地铁车站级监控系统的可靠性分析,证明了该模型的可行性和算法的有效性。     

软硬件综合AADL可靠性建模及分析方法

目前嵌入式系统广泛应用于航空电子、远程医疗、汽车电子等具有高可靠性要求的系统中。随着嵌入式系统的复杂度越来越高,为了保障系统的高可靠性需求,需要在系统开发的早期设计阶段对系统的可靠性进行分析评估,以提高系统的开发效率。嵌入式系统中软件、硬件功能的失效都会对系统可靠性产生影响,而AADL的可靠性模型缺乏对硬件构件错误的影响及传播机制进行刻画分析的能力。本文综合考虑软、硬件错误发生失效后对系统可靠性的影响,提出了一种面向系统架构级别的软硬件综合可靠性分析方法。该方法基于电子电路设计中事务级建模方法,扩展了AADL事务级错误模型的语法和语义,来支持AADL对硬件构件错误传播的硬件功能行为建模,在此基础上,利用AADL模型实例化机制实现对嵌入式系统可靠性建模,刻画了错误行为在硬件构件之间、软硬件构件之间的传播与影响。同时,定义了AADL硬件构件事务级错误模型到广义随机Petri网模型的映射规则,实现了系统软、硬件综合的可靠性行为仿真计算模型组合,支持嵌入式系统的软硬件综合可靠性分析。论文开发了软硬件综合可靠性建模与分析工具原型,并以某型飞机空气增压系统为例,在航空电子系统架构设计中进行尝试,验证了该方法在复杂嵌入式系统设计中进行软硬件综合可靠性分析的可行性与优越性。     

微纳卫星系统可靠性评估方法研究

可靠性是产品的重要属性,在计算机的辅助计算下,可靠性研究飞速发展。微纳卫星系统的可靠性不仅体现了星上产品的质量,更代表了国家高精尖产业的水准。文章对微纳卫星的概念进行简单说明,针对微纳卫星产品长寿命、小子样和不可修的可靠性特点,介绍了基于统计分析、基于性能退化和多源信息融合的单机级可靠性评估方法。根据建立的系统可靠性模型,可以由单机级求出系统级的可靠性特征量,对微纳卫星系统的可靠性分析具有一定的参考价值。     

基于差分进化的复杂软件系统动态可靠性分配

现有关于复杂软件系统可靠性分配的研究均基于结构固定的软件系统,而实际情况中软件系统结构往往不固定。针对这一矛盾,构建复杂软件系统动态可靠性分配优化模型,并基于差分进化设计复杂软件系统动态可靠性分配算法。在系统结构发生变化时,首先基于D-S证据理论对系统中各模块的全局权重重新进行评估,并考虑变化前后系统的关联性,在差分进化生成初始种群时保留了部分历史解。最后,通过仿真实验分析验证了所提方法的有效性。     

基于Bayes-GO的复杂系统可靠性评估模型

针对复杂系统可靠性评估困难问题,提出一种基于Bayes．GO方法的复杂系统可靠性评估模型。采用Bayes方法融合多源先验信息,建立单元级可靠性模型,再用GO方法综合单元级可靠性参数,获得系统可靠性模型。通过某复杂电子设备可靠性评估实例,验证模型的有效性。结果表明,该方法既有Bayes方法充分利用先验信息的优点,又兼具GO方法直观、简便的特点,在相关领域应用中具有较高的参考价值。     

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

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

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

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

软件使用统计测试方法的研究

软件开发实践表明,传统软件统计测试方法在提高软件可靠性和度量软件质量方面显现很多不足,阐述了一种改进的基于Markov链模型的软件统计测试方法的技术细节和实施步骤,用此方法对某控制软件的测试进行了具体的研究,对实例软件运用此方法进行测试提出了一个框架方案.实例验证表明,软件使用统计测试方法能够更加经济有效地保障软件质量.     

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

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

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

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

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

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

用于电传飞行控制系统软件的测试专家系统设计

电传飞行控制系统是军用飞机关键安全系统，实施充分且高效的软件测试是保障系统高可靠性的重要手段。电传飞行控制系统软件测试过程中的关键环节是制定测试方案，当前方案的优秀与否取决于测试项目组的经验积累程度，为解决不同项目组间个体经验差异，保障测试智慧的集中体现，归集了十几年来电传飞行控制系统测试项目数据，设计并构建了一套用于电传飞行控制系统软件的测试专家系统，用于辅助测试方案的制定。通过在多个型号项目中的落实，方案的制定效率、质量和发现的有效软件缺陷数目同比有显著提高，为电传飞行控制系统的高可靠性、高安全性提供了有力的保障。     

一种软件自动测试系统

针对航天测控任务频度高,测控任务软件系统测试重复性高、人工测试工作量大、测试效率和可靠性低的特点,通过分析系统测试条件和需求,设计了一种基于黑盒测试的软件自动测试系统.文章介绍了自动测试系统的系统结构、主要功能模块、测试平台部署及测试流程等,并详细阐述了测试用例管理、测试数据自动生成、测试过程控制、测试结果评估和测试报告自动生成等关键技术;该系统能够有效的减少人工重复工作量,增强系统测试的自动化,提高系统测试效率和质量.     

面向对象软件测试技术的研究与应用

面向对象软件测试是面向对象软件开发的重要一环,是保证软件质量提高软件可靠性的关键。结合传统软件测试的方法和技术,并针对面向对象软件所具有的特征,将面向对象软件测试层次划分为3层:类测试、类簇测试和系统测试,讨论了面向对象软件测试的测试方法和解决方案,并以销售系统为例,给出了相应层次的具体测试策略。