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

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

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