论文摘要
随着计算机软件的不断普及，如何提高安全关键软件的安全性成为了一个重要课题。非法计算是常见的一类引起计算机程序崩溃的严重错误，降低非法计算故障的发生率能够显著提高软件的性能和安全性，因此，如何定位非法计算故障并查找原因是当今故障诊断领域的研究热点。通过人们的研究，已经有了很多成熟的方法，程序静态分析和故障树就是其中比较重要的方法。其中，程序静态分析能够查找出可能出现故障的语句，而故障树则擅长于通过故障现象来推导故障产生的原因。如何将这两者结合起来，以获得良好的故障定位和故障原因诊断效果，是一个值得进一步研究的课题。本文将程序静态分析和故障树结合起来，将程序静态分析和故障树方法看作是诊断程序错误的两个不同阶段，作为前一阶段的程序静态分析所输出的错误语句表正好可以作为后一阶段故障树分析法的输入，这样既能够定位故障，又可以通过故障树分析方法推导故障发生的源头，在此基础上，将故障树分析法与区间运算结合起来，使之更适合非法计算故障的建树。本文的主要内容如下：1．提出了将程序静态分析方法与故障树分析方法结合在一起进行非法计算故障定位和故障诊断的方法，其中程序静态分析过程所得到的输出作为故障树分析法的输入，故障树分析过程的输出即为导致故障发生的故障源；2．介绍了程序静态分析技术在非法计算故障诊断过程中的使用方法，提出了在C／C++语言中的非法计算故障模型，同时给出了在抽象语法树中如何抽取所需要的非法计算信息的方法，设计了变量表的数据结构，使其记录变量变化的过程，描述了作为程序静态分析过程结果输出的格式；3．以程序静态分析结果作为顶事件集合，在传统的故障树构造方法基础上，结合非法计算判定规则构造非法计算故障树，提出了通过区间运算对需要建模的故障树进行组合的方法；4．以非法计算故障树的最小割集为依据，采用变量约束和区间运算找到导致非法计算故障发生的真正源头。
论文目录
相关论文文献
标签：故障诊断论文; 故障树论文; 程序静态分析技术论文; 非法计算论文; 故障建模论文;