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

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

Evaluation of the Reliability of Fault Tolerance Software Based on Fault Injection Module

To evaluate the reliability of fault tolerance software flexibly and accurately with fault injection technique, by analyzing fault injection and the evaluation of the reliability of fault tolerance software, and adopting a distributed structure, a fault injection module of dynamic producing -static store-dynamic evoking is presented. This module achieves fault production and fault evoking on different computer, then , on the premise of evaluating the object accurately , resolves problems of the complexity of fault requirement, the hardness of fault production and the serious extra workload of tested system etc. and then achieves a ideal fault injection module. At last, using a test on some spaceflight fault tolerance software, the feasibility of the module is proved.