一种嵌入式软件逻辑覆盖测试方法研究

针对嵌入式软件测试覆盖率低的问题,本文提出了基于软件故障注入的逻辑覆盖测试方法,首先就嵌入式系统常用传感器建立故障模式库,设计了嵌入式软件故障注入系统;其次选取中间层作为故障注入点,研究基于VxWorks653嵌入式操作系统的故障注入实现方式,并通过分析故障信号在软件系统中的传播,提出优化测试用例的方法;最后通过实验验证了该方法可有效提高容错设计功能、冗余设计功能、故障检测功能测试的逻辑覆盖率;有助于提高嵌入式软件的可靠性。     

基于故障注入的测试性验证试验样本量确定方法

试验样本量的确定是基于故障注入的测试性验证试验中的关键技术之一。样本量的确定是为了解决样本充分性要求与故障不能穷尽注入的限制条件之间的矛盾。目前确定试验样本量的方法包括最小样本量估计法以及按照不同的试验方案所确定的方法。通过对这些方法的优点、缺点以及使用条件进行对比,总结出了样本量确定方法的研究现状以及目前工程上进行基于故障注入的测试性验证试验时的普遍情况,并且从矛盾的两方面展望了进一步研究的发展。     

基于LBIST的纠检错电路验证方法与实现

基于逻辑内建自测试的设计原理,提出了一种针对纠检错电路进行功能自测试的方法,根据纠检错电路具有固定纠检错能力的特点,无需存储海量的比较数据,也不需要设计响应特征分析器对结果数据进行压缩处理,针对具体的纠检错电路,通过增加特别设计的注错逻辑可实现任意类型的故障注入,并根据注错信息可对结果进行预测,通过与预期结果比较,可达到验证的目的;最后,以(40,2)海明编码与解码电路为例,实现了其功能自测试结构,并对所有2⁴⁰-1种故障进行了注入与验证;结果表明使用本文的验证方法,可实现纠检错电路的自动化随机验证。     

基于故障注入的雷达装备测试性验证试验方法

为将测试性验证工作充分应用于雷达装备中,分析现有测试性验证工作的流程以及方法;现在的测试性验证工作一般采用三阶段评定法:测试性设计核查、试验验证和使用评价,这些方法都是在相应的阶段进行的,得到本阶段测试性验证的结果;对雷达装备采用故障注入的方法进行测试性验证试验,进行故障检测和数据收集处理得出相应的测试性指标参数,用来评定雷达装备当前的测试性水平是否合格并给出接收或者拒收的结论。     

故障注入技术在机载计算机模拟量采集中的应用

近年来航空武器的功能性能快速提高,机载计算机处理能力也越来越强。接口模块作为处理多种接口信号的重要部件,在机载计算机中起着至关重要的作用。文中结合故障注入技术,在以往常用模拟量采集电路基础上,设计了模拟量激励产生电路,实现模拟量采集电路的故障注入,结合测试软件完成模拟量采集电路的检测,达到提高机载计算机的测试性的目标。     

基于多信号流图模型的等效故障注入样本选取

为了提高测试性故障注入试验的工程实践性,针对选取的故障样本不可注入或注入成本太高的情况,提出了一种基于多信号流图模型的等效故障注入样本选取方法。建立了系统的多信号流图模型,得到了故障-故障关联矩阵和故障-测试关联矩阵,并以提高故障样本注入率为目标,通过结合测试故障子集的概念,提出了等效故障注入样本的定义和选取方法。实例表明,该方法能够有效地提高故障样本的注入率,保证了测试性验证试验的顺利进行。     

外场可更换模块体系下测试性验证试验发展研究

以外场可更换模块(LRM)为基本组成单元的综合模块化系统已成为现代军用装备电子系统的发展趋势。LRM是装备二级维修保障体系的关键技术之一,其测试性是实施装备二级维修保障体系的关键因素,在LRM的生产定型阶段对其进行测试性验证试验具有很大必要性。目前国内外并没有专门针对LRM体系的测试性验证试验研究。文中对LRM体系下测试性验证试验实施的相关技术研究现状进行了总结,指出了LRM在电气和机械方面的特性对LRM体系下进行测试性验证试验造成的不利影响,并对这一领域进一步研究的关键技术和发展方向进行了展望。     

PHM模型的工程化验证方法研究

模型验证技术在故障预测与健康管理(PHM)系统研制中受到高度重视,特别是如何将验证方法在具体的工程应用中体现规范性、系统性、通用性和实用性,已成为亟待解决的技术问题;在分析国内外相关研究现状的基础上,对PHM模型验证方法进行了系统深入的研究,阐述了故障数据获取方法和故障诊断和预测性能指标体系,并以机载诊断模型为例,对PHM模型验证流程作了详细介绍;最后,将此方法应用到了PHM验证平台的设计、开发和具体实现中,充分体现了PHM模型验证方法的工程化特点。     

基于模型的软件接口故障注入测试平台技术

针对软件接口类型多、接口故障注入自动控制复杂的困难以及目前缺少有效的软件接口故障注入工具现状,对软件故障注入中的交联接口故障注入技术展开研究,提出了一种基于模型的软件接口故障注入测试平台技术。通过交联接口测试可视化建模和接口故障注入算子设计,自动生成XML 格式的测试用例,并且通过基于XSLT的脚本自动化生成与执行技术实现测试的控制与执行。故障注入测试主机与接口故障注入器网络连接,接口故障注入器将接口故障数据转换成以太网、串口或CAN网络数据注入到被测软件中,并返回被测件输出数据到测试主机实现测试数据收集与判断。基于模型的软件接口故障注入测试平台具有较强的通用性与易用性,提高了接口故障注入测试的效率,降低了接口测试的成本。     

基于软件仿真技术的外源性故障注入方法研究

针对当前复杂系统测试性试验中存在的无法模拟外部条件性存在的设备故障、外部输入输出故障模式单一等故障注入问题,定义了外源性故障的概念;针对外源性故障具有的功能逻辑和运行场景特性、故障源繁杂特性、模拟难度大成本高特性、总线交联特性,总结了外源性故障注入的基本要求;提出了一种面向外总线复杂应用数据仿真的外源性故障注入方法,面向总线应用层数据,从复杂系统的高级应用逻辑出发,模拟复杂系统交联环境、使用方式等故障行为,建立自动化的实时仿真故障注入环境,通过全数字仿真模型模拟交联环境的行为,进一步通过模型输入、输出或模型参数的改变,实施总线高级行为的故障注入。最后阐述了测试性试验中的外源性故障注入实施方案,分析了该方法的关键技术和环境构建思路,制定了外源性故障注入试验的实施流程。