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

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