论文部分内容阅读
本文介绍一种基于程序基本块的软件故障注入技术。首先介绍了故障注入是一种有效的测试和评价客错系统方法；紧接着讨论了软件故障注入方法能有效地模拟单粒子故障模型；在此基础上提出了故障注入的三个关键问题：①选择故障模型；②提高故障覆盖率；③提高试验效率。本文提出的基于基本块的故障注入方法就是专门针对单粒子故障模型来解决星载容错系统故障注入这三个问题。该方法结合程序基本块静态分析的优点和容错机制的特征，采用故障等价类的方法生成故障序列，有效地提高故障覆盖率和实验效率。