基于软件故障注入模型的容错软件可靠性评测

为了灵活准确地用故障注入技术对容错软件进行可靠性评测,通过对故障注入及容错软件可靠性评测的分析,采用分布式结构,提出了一个动态生成一静态存储一动态触发的故障注入模型,它将故障生成和故障触发分开在不同的机子上实现,从而在保证评测准确性的前提下,解决了故障需求复杂、故障生成困难及目标系统额外负载过大等问题,实现了一个较为理想的故障注入模型;最后,通过在航天某型号容错软件上的试验,证明了该模型的可行性。     

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

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

基于软件故障注入的星载系统错误传播研究

设计了信号故障传播率的计算方法,在此基础上设计了根据信号故障传播率进行故障注入实验,并根据故障注入实验的结果绘制错误传播图的方法.根据实验结果和错误传播图可以从信号和模块两个层次对系统进行分析,找出最为脆弱的部分,即找出最可能传播故障的信号和模块,以及最可能传播故障的一条路径.据此可对系统的可靠性做出评测.工作在高辐射环境下的各类软件系统,如星载系统,在运行过程中可能会因环境的扰动发生SEU现象,本文利用软件故障注入技术对这种现象进行模拟,进行故障注入实验,实验结果表明我们设计的算法能有效地对系统的可靠性做出评测.     

软件故障注入方法探究

本文研究了目前已有的软件故障注入工具,时各工具所采用的故障注入方法及缺点进行了总结,并在此基础上介绍了常用的方法.对他人对软件故障注入技术的研究,具有一定的指导作用.     

基于Simics的系统级故障注入平台

故障注入技术是评价系统可靠性的有效方法。现有基于仿真的故障注入平台大多基于现场可编程门阵列或超高速集成电路硬件描述语言实现,对故障模型的支持非常有限。为此,基于Simics结构级模拟器,设计并实现系统级硬件故障注入平台。该平台上层支持不同固件、操作系统以及应用程序,底层支持对处理器典型流水部件的故障注入,同时实现瞬时故障、永久故障和间歇故障模型以及其他较全面的故障类型,并将一组系统级故障检测机制集成入平台中。实验通过监测硬件故障在系统级的传播,对比分析了故障对不同部件造成的系统级影响,结果表明,瞬时故障对系统影响较小,永久故障容易引起系统失效,间歇故障对各部件有不同程度的干扰作用。     

基于Linux的无人机故障注入软件研究

无人机故障注入软件利用故障注入技术实时地模拟飞行控制系统的故障,它主要用于飞行控制系统的故障注入与故障状态下动态性能测试和综合测试;它通过动态修改被测系统输入和输出信号达到故障注入目的,并能实时记录被测系统的响应从而分析不同故障对被测系统的影响程度;为了解决该软件在WINDOWS平台运行中所存在的缺点,设计构造了基于Linux的无人机故障注入与分析系统软件,完成了软件开发和故障分析;在无人机动态测试过程中,故障注入试验结果表明了这种方案的正确性和可行性。     

硬件产品故障注入测试研究

对DCS控制系统硬件产品的故障注入测试进行了研究,主要用于指导产品的硬件故障注入测试,通过故障注入测试更好地挖掘产品在设计方面的缺陷和不足,推动产品质量的提升。研究主要包含建立故障模型、故障注入测试方法、故障注入测试工具及平台等几个方面的内容。产品的硬件故障注入测试研究,是根据产品的应用环境,积累故障模型,测试时从故障模型库中提取故障模型,使用合理的故障注入方式,借助测试工具将故障注入到目标电路的过程,并监测产品在故障状态下的表现情况,根据测试标准进行正确的判断。故障注入测试技术是产品可靠性测试技术的重要内容,是一种行之有效的提高产品质量的手段。     

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

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

基于软件故障注入的容错性能评测技术

软件故障注入是评测复杂的分布式、网络等容错系统的重要手段,可以按照故障注入触发时间、故障注入触发方法分类。本文比较了目前的故障注入实验,分析了软件故障注入工具及其故障注入方法,并提出基于Windows2000系统的双机网络容错系统评测方法。     

液压系统故障注入与故障诊断仿真研究

通过机-电-液联合仿真等技术手段,构建了基于AMESim和MATLAB软件构建故障诊断数字仿真验证系统,实现机电液系统的故障模拟、注入与诊断仿真功能。并以某典型液压举升回路系统为对象,完成故障模式及诊断方法的研究,建立仿真模型、完成故障注入和诊断过程的演示验证。结果表明,该仿真系统可应用于类似系统、不同工况、不同故障模式的故障注入与故障诊断仿真,极大程度上提高了液压系统的可靠性的设计。     

Evaluation of Embedded Operating System by a Software Method

In this paper, software faults are emulated by Software Implemented Fault Injection （SWIFI） to evaluate embedded operating system. The method is based on the fact that the source codes of the operating system arc mapped into the code segment in the target memory and it is easy to inject kinds of faults in the memory by SWIFI. Faults are emulated by injecting faults at assembly level instead of source code bevel. Using the software faults emulated by this method, the dependability of an embedded operating system is studied. The experimental results show that software faults have many effects on the software behavior and dependability, and to increase the dependability of software, exclusion of software faults is very important.     

基于单片机的故障注入系统

为了对集成度高、体积小的单片机系统中的监控程序的容错能力进行考查和验证,提出了硬件控制中断,软件故障注入的新方法。实验结果证明,此故障注入方法成功的模拟了单粒子事件对系统的影响,并成功对系统注入故障,和传统的硬件故障注入法、软件注入法相比,此方法具有操作简单、易控制注入故障深度、实时注入、在线监控分析等突出优点。     

嵌入式星载计算机故障注入系统

空间环境中影响嵌入式星载计算机的主要因素包括温度、湿度、气压、光照、电磁干扰和空间高能粒子的辐射等;随着我国空间探测事业的发展,人们对星载系统可靠性的要求越来越高;容错技术是提高星载计算机系统可靠性的重要方法,为保证容错设计的正确性和容错机制的效率,需要采用辅助的技术对容错系统进行验证;故障注入技术是评测星载计算机容错机制的一种有效方法。     

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

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

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

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

以因果网为理论核心的网络故障诊断方法

网络故障诊断是网络管理的重要技术工作,网络本身复杂程度的提高对相应的故障诊断基础提出了更高的要求,尤其是在及时性和智能性方面的发展要求。文章结合课题所研究问题的具体特点,在对现有网络诊断技术综合分析研究的基础上,以动态因果网理论为基础,提出了针对性的解决方法,其特点在于诊断模型既能方便地引入领域专家的先验知识,又能在实际运行中对各项参数的动态修改,从而使该模型对所诊断网络的认知能力不断提升,为定位和排除故障提供强有力的支持。     

基于FCA的物理层故障定位方法

提出了一种基于故障关联算法（FCA）的物理层故障定位模型，依据故障之间的关联关系，运用图论和故障矩阵的方法求出根故障集，确定故障源，有效地起到故障过滤和定位的功能。