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

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

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