一种安全关键软件故障自动诊断与隔离方法
由于安全关键软件自身及其环境的复杂性，软件故障难以完全避免。因此，在软件出现故障后能够快速有效地诊断并隔离故障，使得软件能够持续关键任务的运行就显得十分重要。 本文针对安全关键软件的特点，提出了一种软件故障自动诊断与隔离的方法，通过插装二进制代码收集程序运行时数据，对样本数据进行分析和抽象，并利用布尔函数学习自动定位软件故障，最后自动产生故障隔离代码并插装到程序中，能够有效避免故障的再次发生，从而提高软件的可靠性、安全性和可生存性。
安全关键软件 故障诊断 故障隔离
徐晴 董威 王戟 齐治昌
国防科技大学计算机学院，湖南长沙，410073
国内会议
苏州
中文
855-865
2007-10-18（万方平台首次上网日期，不代表论文的发表时间）