面向C語言代碼的規(guī)則檢測工具研究.pdf

1、隨著計算機應(yīng)用的發(fā)展和軟件規(guī)模的擴大，軟件在信息社會中扮演著越來越重要的作用，然而軟件危機的頻頻出現(xiàn)，使得諸如航天、運輸控制系統(tǒng)、電子商務(wù)等眾多質(zhì)量關(guān)鍵應(yīng)用領(lǐng)域都對系統(tǒng)的可靠性提出了極高的要求。
　　對軟件進行檢測是保證軟件質(zhì)量很重要的環(huán)節(jié)，特別是靜態(tài)檢測更是軟件檢測中一種重要且有效的方法。對于當今軟件規(guī)模和復(fù)雜度越來越高的特點，人工走查已經(jīng)不僅僅是費時費力的問題，甚至可能是不切實際的，所以如果能夠?qū)崿F(xiàn)一個自動化的靜態(tài)測試工具來代

2、替人工走查，自動化的檢測代碼，將具有很高的實用價值。
　　首先，給出了本文的研究背景、研究現(xiàn)狀、目標和論文的結(jié)構(gòu)組織情況，然后對軟件檢測的總體分類情況給予了概述，重點介紹了靜態(tài)檢測的框架分類及流程，并對靜態(tài)檢測的各種檢測技術(shù)給予了簡單描述，例如詞法分析、規(guī)則檢測等。
　　在以上理論基礎(chǔ)上，本文設(shè)計實現(xiàn)一個基于GJB5369-2005編程規(guī)范的自動化規(guī)則靜態(tài)檢測工具。在工具的設(shè)計與實現(xiàn)之前給出了工具相關(guān)的技術(shù)介紹，而在設(shè)計與實