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

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

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

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