基于半实物仿真的电路板故障注入系统设计与实现

为了满足某型装备电路板测试性与诊断设计评价的需求,提出了一种基于DSP技术,利用半实物仿真方式实现的故障注入系统;该系统以TMS320C5416系列DSP器件为核心器件,利用CPLD扩展外部电路,主控计算机与该系统的通信通过USB接口实现,在故障注入时通过半实物仿真模式实现对电路板典型故障的注入;通过对典型电路的故障注入试验表明,该系统可靠性高,配置灵活,使用方便;目前该系统已经在工程实践中得到应用,效果明显,对提高电路板测试性设计水平具有重要意义。     

基于故障注入的嵌入式软件安全性测试框架及实现

为确保安全关键软件能够稳定工作,需要把验证其中的安全保障措施有效性纳入到测试工作范围,其关键问题和难点是如何在被测软件运行过程中动态模拟其安全保障措施针对的异常状态。为此提出一种辅以故障注入的嵌入式软件安全性测试框架,并给出了实现过程。该框架的核心组件是利用设备建模语言DML和控制脚本构建的运行态故障注入软仿真环境,实验证明可用于单粒子效应等异常环境状态的动态仿真,进而实现对软件的安全性测试。     

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

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

一种星载嵌入式软件安全性测试方法

研究了星载嵌入式软件安全性测试问题.提出一种基于故障注入的安全性测试框架,通过构建全数字仿真测试环境,模拟目标系统输入异常故障及运行态异常故障,可以灵活地实现故障注入.根据软件实际运行结果与预期结果的一致性来评价软件检错、容错能力,进而完成对软件的安全性测试及验证过程.     

基于多学科协同的某锁机构系统故障仿真

为解决机电液耦合的复杂运动机构系统的故障仿真问题,提出一种基于多学科软件协同的故障仿真分析方法.通过软件接口建立机构系统基于多学科协同的仿真模型.将相关故障模式影响因素注入机构系统仿真模型,仿真分析其对系统参数的影响.某锁机构系统的上锁故障仿真分析表明,该方法对工程实际复杂运动机构系统有效可行.该故障仿真方法有助于提高机械产品可靠性,也可为复杂机械系统的故障机理分析、故障诊断和维修等提供数据支持。     

嵌入式软件可靠性仿真测试环境框架

提出了一种针对嵌入式软件进行可靠性测试的仿真测试环境框架。分析了仿真测试环境的系统特性并对其功能组件进行了介绍，对测试环境中的测试运行时组件进行了功能需求的分析，构建出测试运行时组件的框架实现，借助于UML中的抽象类图和顺序图描述对框架的静态特征和动态特征作了介绍，总结了利用框架实现仿真测试环境的优势。     

基于机内测试的一个故障注入系统

在综合国内外相关研究的基础上,详细分析了机内测试(BIT,built-in test)验证和评价的重要性、迫切性及其实用价值,并着重阐述了关于BIT验证和评价的故障注入系统设计与实现.     

嵌入式软件可靠性仿真测试环境框架

提出了一种针对嵌入式软件进行可靠性测试的仿真测试环境框架。分析了仿真测试环境的系统特性并对其功能组件进行了介绍，对测试环境中的测试运行时组件进行了功能需求的分析，构建出测试运行时组件的框架实现，借助于UML中的抽象类图和顺序图描述对框架的静态特征和动态特征作了介绍，总结了利用框架实现仿真测试环境的优势。     

测试性试验验证中的故障注入系统框架研究

给出了一套完整的故障注入系统框架,该框架融合了硬件注入和软件注入两种方式、兼顾总线注入和等电势处注入的优点,经验证符合测试性试验验证的需求.     

基于VHDL的故障注入工具的研究

基于VHDL的故障注入技术是一种验证系统可信性的有效方法,构造基于VHDL的故障注入工具是故障注入研究的一个重要组成部分.对基于VHDL的故障注入技术进行了研究,详细描述了该故障注入工具的结构和主要模块功能,并进行故障注入实验,分析和计算故障的激活率、探测率、恢复率.故障注入工具可用于对中等复杂度的VHDL模型进行故障...     

软件错误注入测试技术研究

论文主要介绍了一种在高可靠性系统中常用的错误注入测试技术,讨论该技术的原理与方法,以及在提高软件质量、增加系统健壮性等方面所发挥的作用.针对系统运行过程中常见的环境异常、外部攻击等问题,通过函数封装和虚拟输入的形式模拟各种错误和异常,用来验证系统的可靠性与健壮性,从而提高系统测试的效果和覆盖.     

软件错误注入测试技术研究

软件错误注入测试(software fault injection testing,简称SFIT)技术经过近30年的发展,一直是软件测试领域最活跃的研究内容之一.作为一种非传统的测试技术,在提高软件质量、减少软件危害及改进软件开发过程等方面起着重要作用.对软件错误注入测试的研究现状及动态进行了调研,对该领域相关技术进行了归类及介绍,并对当前较为有效的测试框架和原型工具进行了总结,同时介绍了正在研发的基于SFIT技术的构件安全性测试系统CSTS.在认真分析现有技术的基础上,总结了当前软件错误注入测试存在的问     

一种基于EAI模型的错误注入测试方法

研究了基于EAI(Environment Application Interadion)模型软件错误注入测试方法,结合变异测试技术,提出了一种基于EAI模型的加权测试技术及其实现方法.对实际软件进行测试,实验结果表明,该方法有效并且可复用性强.     

基于错误注入技术的协议实现鲁棒性测试体系结构

网络协议处于Internet的核心地位。对协议实现的测试是协议工程中研究的热点。论文首先给出了协议实现的鲁棒性定义,并介绍了错误注入技术;然后通过详细分析协议鲁棒性测试要测试的内容,最后得出了适于鲁棒性测试的体系结构。     

一种针对VxWorks系统的通用软件故障注入方法

针对VxWorks下的系统提出了一种通用的基于软件的故障注入方法,给出了故障注入工具的架构和故障模型.故障注入工具使用TCP/IP协议与目标机进行通信,并在目标机上驻留一小部分程序,利用中断的性质完成故障的注入.实验在VMware虚拟机上完成,表明该方法能有效地将故障注入到VxWorks平台下的设备中,以供系统容错性能...     

嵌入式系统测试的发展

目前,我国的嵌入式系统测试技术处于起步时期的快速发展阶段,本土厂商自主研发的产品拥有良好的应用前景.本文围绕嵌入式系统测试的概念、应用领域和国内发展状况进行了综合阐述.     

一种用于动态电流测试的故障模拟算法

本文针对动态电流测试，提出了动态电流通路和动态电流通路故障的概念以及基本逻辑门的动态电流通路故障模型，在波形模拟器的基础上给出了一个用于动态电流测试的故障模拟算法。     

一种构件安全测试错误注入模型

构件特别是第三方构件的可靠性及安全性是影响构件技术发展的重要因素之一.目前在构件安全漏洞的测试方法和技术方面研究还不够深入.提出了一种构件安全测试错误注入模型FIM(faultinjection model of component security testing),并对FIM模型的相关定义及其矩阵形式进行了详细阐述,同时基于FIM模型给出了一种错误注入测试用例生成算法TGSM(test-case generating based onsolution matrix).TGSM算法根据矩阵形式的FIM模型生成满足K因素覆盖的解矩阵,解矩阵的所有行数据组成了错误注入测试用例.在研究项目CSTS(component security testing system)中实现了FIM模型,实验结果表明FIM生成的三因素覆盖错误注入测试用例效果显著,能用适当的测试用例触发绝大部分构件安全异常.FIM模型具有较好的可操作性及可用性.     

航空电子全双工交换式以太网故障注入方法研究

航空电子全双工交换式以太网(AFDX)是成功应用于新一代大型飞机的新型航空数据总线.针对AFDX适航性及网络容错性能研究的需要,开展了有关AFDX网络故障注入方法的研究.在AFDX实验系统上,通过软件方法进行动态故障注入,测试AFDX网络对注入故障的响应,验证了AFDX网络的可靠性、健壮性及容错性能,并为进一步研究AFDX网络性能及故障诊断提供了大量测试数据,对深入开展AFDX适航技术研究打下了基础.