非法計(jì)算故障的檢測技術(shù)研究.pdf

1、隨著計(jì)算機(jī)軟件的不斷普及，如何提高安全關(guān)鍵軟件的安全性成為了一個(gè)重要課題。非法計(jì)算是常見的一類引起計(jì)算機(jī)程序崩潰的嚴(yán)重錯(cuò)誤，降低非法計(jì)算故障的發(fā)生率能夠顯著提高軟件的性能和安全性，因此，如何定位非法計(jì)算故障并查找原因是當(dāng)今故障診斷領(lǐng)域的研究熱點(diǎn)。通過人們的研究，已經(jīng)有了很多成熟的方法，程序靜態(tài)分析和故障樹就是其中比較重要的方法。其中，程序靜態(tài)分析能夠查找出可能出現(xiàn)故障的語句，而故障樹則擅長于通過故障現(xiàn)象來推導(dǎo)故障產(chǎn)生的原因。如何將這兩者

2、結(jié)合起來，以獲得良好的故障定位和故障原因診斷效果，是一個(gè)值得進(jìn)一步研究的課題。 本文將程序靜態(tài)分析和故障樹結(jié)合起來，將程序靜態(tài)分析和故障樹方法看作是診斷程序錯(cuò)誤的兩個(gè)不同階段，作為前一階段的程序靜態(tài)分析所輸出的錯(cuò)誤語句表正好可以作為后一階段故障樹分析法的輸入，這樣既能夠定位故障，又可以通過故障樹分析方法推導(dǎo)故障發(fā)生的源頭，在此基礎(chǔ)上，將故障樹分析法與區(qū)間運(yùn)算結(jié)合起來，使之更適合非法計(jì)算故障的建樹。本文的主要內(nèi)容如下： 1

3、．提出了將程序靜態(tài)分析方法與故障樹分析方法結(jié)合在一起進(jìn)行非法計(jì)算故障定位和故障診斷的方法，其中程序靜態(tài)分析過程所得到的輸出作為故障樹分析法的輸入，故障樹分析過程的輸出即為導(dǎo)致故障發(fā)生的故障源； 2．介紹了程序靜態(tài)分析技術(shù)在非法計(jì)算故障診斷過程中的使用方法，提出了在C/C++語言中的非法計(jì)算故障模型，同時(shí)給出了在抽象語法樹中如何抽取所需要的非法計(jì)算信息的方法，設(shè)計(jì)了變量表的數(shù)據(jù)結(jié)構(gòu)，使其記錄變量變化的過程，描述了作為程序靜態(tài)分析過