● 摘要
为了深入开展测试性验证工作，需要研究故障注入器来模拟故障状态，故障注入器可以改变计算机内部硬件或者软件的状态，使其出现预先定义的故障状态，然后启动ATE(自动检测设备)或BIT（机内测试），从而验证测试系统的测试性指标。本论文以X型导弹飞控计算机系统测试性设备为研究对象，设计了一个基于X导弹嵌入式计算机系统总线级的故障注入器，将故障注入到飞控计算机系统的总线上，同时运行BIT和ATE，记录试验结果，对X型导弹的测试系统进行评估。本文对这个故障注入器的设计和实现进行了详细的说明。 首先，讨论了故障注入研究中的一些基本问题，将故障注入定义为一个试验过程，介绍了故障注入的原理和分类，并从基于模拟的故障注入和基于物理的故障注入两个方面介绍了故障注入的方法。 其次，介绍了基于总线的故障注入技术的原理、可注入的故障模式和类型、以及总线级故障注入模型的分析。并且举了一些国内已开发的故障注入器的实例，进一步具体化的说明了总线级故障注入的技术。 然后，从原理、设计、关键技术、优点和展望五个方面详细介绍了基于X型导弹飞控计算机系统总线级的故障注入器的实现。 最后，利用故障注入器进行故障注入试验，并分析试验结果。从而评价X型导弹测试系统的性能。