故障注入研究的一种理论框架

本文讨论了故障注入研究中的一些基本问题，为故障注入的研究建立了统一的理论框架．文章引入容错系统层次结构来描述故障注入的概念，将故障注入定义为一个试验过程．故障注入的原理被解释为组成该试验过程的四个步骤．故障注入的应用不仅包括评价容错机制，而且还可应用于更为广泛的领域．

容错计算机系统可靠性评估工具:HFI-2故障注入器

本文介绍一个容错计算机系统可靠性评估工具:HFI2故障注入器,描述该故障注入器的功能和结构并讨论一些关键技术,用实验验证了这一工具的有效性.

容错机制测评中的故障注入模型及应用算法

故障注入（ＦＩ）是一种有效的测试和评价容错机制（ＦＴＭ）的方法， 可被普遍应用于容错计算机系统开发过程的各个阶段中． ＦＩ技术正确的和更广泛的应用依赖于对ＦＩ原理的一致理解． 文中首先详细讨论了ＦＩ的应用对象即ＦＴＭ 在测评中所表现出来的若干特征， 在此基础上提出了六元组描述的ＦＩ模型， 并对各组成元的属性进行了深入分析． 同时， 作为ＦＩ模型的具体应用过程， 文中给出了ＦＩ独立试验算法（ＦＩ－ＩＥＡ），

FTT-1:一个基于硬件的故障注入器的设计与实现

故障注入是评价计算机系统可信性的一种重要的试验方法。构造故障注入器是故障注入研究中的一个重要组成部分。此文介绍了ＦＴＴ－１，一个基于硬件的故障注入器的设计与实现。文章讨论了设计与实现硬件故障注入器的关键技术，并介绍了在ＦＴＴ－１的实现中解决这些关键技术的方法。试验结果证明了ＦＴＴ－１用于评价容错计算机系统可信性的有效性。

容错机制的测试与评估技术

文章分析了容错机制在其评价过程中所表现出来的若干特征，进而从测试和评估两方面讨论了容错机制的评价技术。

计算机系统开发中的可信性评价概述

本文将高可信计算机系统的开发过程划分为需求、设计、实现和集成四个阶段，分别介绍各阶段中与可信性有关的任务及可信性评价技术的应用。

一个基于微处理器功能模型的可靠度评估系统

随着以嵌入式微处理器为核心的容错系统在航空、航天、核电等高可靠领域的广泛应用,如何迅速、方便、低成本地评估这些系统中的容错机制是一个重要的问题.传统的可靠度评估方法需要一个详细的硬件原型才能进行评估,周期长、成本高,因此文中提出了一个基于微处理器功能模型的可靠度评估技术,构建了一个纯软件的可靠度评估系统.和已有的系统相比,该系统评估周期短、控制方便、成本低廉.使用该系统评估软件实现的指令冗余技术、软件实现的断言技术和硬件实现的重复取指执行技术的实验结果表明,该系统的评估是合理的.

基于使用剖面分析的系统健壮性评测方法

为了减小健壮性评测过程中测试数量以及更准确地评估错误输入对系统的健壮性影响,提出了在传统的健壮性评测之前引入用户使用剖面分析过程,并将该过程同传统方法结合起来对系统进行健壮性评测。该过程在基准应用程序运行过程中,分别从系统调用接口层和内核层给出用户使用情况,包括函数接口发生次数和持续时间度量。根据使用剖面分析结果,以故障注入的方式进行健壮性评测。通过对具体应用程序下的系统健壮性分析,表明了该方法的有效性。