使用基于脚本的故障注入测试安全苛求软件

由于安全性苛求软件直接关系人身和大宗财产的安全,为此需要对软件进行严格的安全性测试。提出了一个基于脚本语言的故障注入方法以期得到新的测试手段。此方法通过在故障环境下运行安全苛求软件检验其是否容错和故障安全,结果显示软件测试覆盖率和揭错能力均有增强。该系统可进一步提高安全苛求软件测试自动化水平和测试效率。     

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

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

基于故障剖面的安全关键系统可靠性测试与评估

可靠性测试是安全关键系统可靠性评估的重要手段。论文结合在某电信系统的工程实践,介绍一种基于故障剖面的可靠性测试和评估的方法：通过逆向工程从已有的安全关键系统的失效事件中分析提取出故障概率数据,结合故障注入测试对系统的可靠性进行评估。该方法直接从故障入手,不受缺乏缺陷引发故障概率数据问题的困扰,并通过故障模式的双层模型明确测试范围,简化了评估过程。     

TMR故障注入与验证方法研究与实现

从系统验证和FPGA物理原型验证两个方面,分析了TMR结构的注错方式及其验证方法;通过在TMR结构中嵌入注错逻辑,并将所有组TMR寄存器的注错控制信号统一命名,作为系统的输入,根据随机生成的注错信息,索引对应的TMR寄存器,可实现向对用户透明的任意TMR组中注错;将每组TMR寄存器的参考点和观测点引到设计的顶层统一命名,作为待测系统的输出,可适时观测对应TMR寄存器组的注错情况,分析故障电路的行为;为了解决调试机与FPGA板连接的引脚数受限的问题,特别设计了注错控制器和故障收集器;根据具体的注错情况,可编写对应的测试程序,验证设计的正确性,实验结果表明,SOC系统的错误故障率约占18.6%;为系统的可靠性评估提供了依据。     

一种面向软件可靠性评估的故障注入机制的设计与实现

为了获取更加全面的程序失效数据以提高软件可靠性评估的准确性,提出一种面向软件可靠性评估的故障注入机制.该机制在生成故障注入方案时充分考虑了程序故障类型分布、故障空间分布、故障发生时间分布及程序输入等因素,从而能够合理地反映程序真实的失效情况.实现了故障注入方案生成器,并集成到自行开发的基于Intel PIN框架的动态软件故障注入工具软件中.为了验证所提出的故障注入机制的合理性和有效性,以TINY语言编译器、LZ77压缩程序、CRC32程序为例,分别通过测试和故障注入实验的方式收集了相应的失效数据,然后用Jelinski-Moranda模型计算得到了2组很接近的可靠性指标值.实验结果表明,基于故障注入的软件可靠性评估方法的有效性和合理性不亚于传统的基于测试的方法,故障注入方法更适用于较大规模程序的可靠性评估,采用指数分布的故障发生时间分布假设更能反映程序真实失效情况.     

软件故障注入方法探究

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

移动式机器人功能安全评估方法

移动式机器人目前在各行各业逐渐得到越来越普遍的应用,在给物流传送等工作带来极大便利的同时,也面临着机器人应用所带来的新风险,包括机器人与人的碰撞,机器人失控导致传送物体损坏等问题,因此,机器人自身的安全可靠是保障其良好应用的前提,采用功能安全技术实现机器人的安全防护是当前机器人安全领域主流手段,从最新机器人应用功能安全标准ISO13849出发,研究了对移动式机器人开展功能安全评估的方法和流程,围绕性能等级(PL)这个核心的评价指标,分析了平均危险失效间隔、诊断覆盖率、类别的评价技术手段,并结合典型的机器人样机开展示例分析。     

MVB总线故障注入方法研究与实现

为满足列车通信网络(TCN)中多功能车辆总线(MVB)设备的测试验证要求,基于一般总线测试方法,结合MVB总线协议特点,提出一种基于故障注入技术的测试方法。通过对板卡寄存器的定义与配置,开发了基于VS平台的MVB故障注入设备驱动程序,从电气层、物理层、协议层三方面,详细给出了MVB总线故障注入方法和部分驱动程序。通过Wireshark抓取报文的方式,验证了故障注入的准确性,证明了此方法的可行性和正确性。     

测试海量存储系统可用性的故障注入法

阐述了针对海量存储系统的可用性测试方法,采用基于故障注入的方法测试系统的恢复时间,给出了故障对系统可用性的影响评价,设计了模拟系统正常运行的负载设置方法、手动注入故障和模拟SCSI磁盘故障的方法。     

基于STAF的故障注入自动化测试平台

为提高高端容错计算机故障注入自动化测试的执行效率,基于开源的自动化测试工具STAF,设计一个可集成多种故障注入工具的分布式自动化测试平台。论述分布式运行环境与平台软件架构,给出任务控制算法的流程,对故障注入模块进行分析。实验结果表明,该平台可提高测试任务的复用性,缩短测试时间。     

基于EPA的功能安全通信的认证

介绍了安全相关系统在实际应用中的需求，并研究了安全相关系统在设计、开发、应用、维护等过程中应遵循的标准。说明了安全相关系统的功能安全认证流程，并给出了安全相关系统的V模式开发模型。     

故障注入及故障状态实时观测的多总线测试系统

武器系统对可靠性要求较高,这就意味着系统本身要对各种突发故障具有一定的容错能力.为了检测并提升系统容错能力,需要在总线测试过程中加速系统故障生成,因此故障注入系统的设计尤为关键.本文旨在设计这样一套系统,该系统将武器领域中使用较为广泛的1553B总线以及RS422总线进行集成,具备更广泛的适用性.系统包含上位机软件以及...     

带观测时滞和丢失的网络化系统的故障检测

研究一类带有一步通信时滞和观测数据丢失的离散时间网络化系统的故障检测问题。通过在接收端引入寄存器将数据丢失转化为通信时滞,用一个二进制的随机序列描述由于网络的引入所带来的观测信号的随机时滞。对原系统的状态与故障诊断滤波器的状态进行增广,可以将原故障检测问题转化为一个H∞滤波问题。以线性矩阵不等式的形式得到了滤波器存在的一个充分条件,进而得到滤波器的参数。仿真说明了该方法的有效性。     

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

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

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

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

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

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

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

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

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

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

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

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

基于RS-485总线的PC与多单片机间的串行通信

为了实现钻井油田中滚动轴承的振动信号测控系统从下位机到PC机的通信,本文设计了一种基于RS-485总线的方法。本文主要论述了RS-485总线在PC机和多单片机系统串行通信中的应用,设计了RS-485总线和单片机的接口,给出了通信协议,提出了上下位机的通信软件。