论文部分内容阅读
由于安全关键软件自身及其环境的复杂性，软件故障难以完全避免。因此，在软件出现故障后能够快速有效地诊断并隔离故障，使得软件能够持续关键任务的运行就显得十分重要。
本文针对安全关键软件的特点，提出了一种软件故障自动诊断与隔离的方法，通过插装二进制代码收集程序运行时数据，对样本数据进行分析和抽象，并利用布尔函数学习自动定位软件故障，最后自动产生故障隔离代码并插装到程序中，能够有效避免故障的再次发生，从而提高软件的可靠性、安全性和可生存性。