C++代碼審查相關(guān)技術(shù)研究及輔助工具的設(shè)計.pdf

1、代碼審查是一種提高軟件質(zhì)量、降低成本的有效方法.目前大部分代碼審查技術(shù)和工具主要用于結(jié)構(gòu)化程序的審查.近年來,隨著面向?qū)ο蠹夹g(shù)的飛速發(fā)展,面向?qū)ο蟪绦虻拇a審查已經(jīng)成為一個重要的研究課題.為此,我們對C++代碼審查技術(shù)進行了深入研究,并研制一個C++程序的代碼審查輔助工具CIT.該文首先介紹了代碼審查的發(fā)展背景和基本的審查方法;其次針對C++面向?qū)ο蠓庋b的特點,借助于對類依賴圖的切片,提出了對C++程序進行分塊以及確定閱讀順序的方法;在

2、此,我們收集了C++的審查清單(checklist),在原有基于審查清單的閱讀方法(CBR)的基礎(chǔ)上總結(jié)了針對這些checklist的手工審查方法,并用表格的方式對審查過程做出指導,改善了原有的CBR閱讀方法,使閱讀過程具備更強的目的性;最后我們詳細討論了CIT的設(shè)計思想和實現(xiàn)方法.CIT主要由分類規(guī)則集、源代碼分析器、公共信息庫和違例信息檢測等模塊組成.分類規(guī)則集提供了用戶可以選擇的針對C++的各種規(guī)則,它是進行代碼審查的規(guī)范和標準.

3、源代碼分析器對C++源代碼進行詞法、語法分析和后期處理,抽象出程序的語法、語義存入公共信息庫.公共信息庫由信息表組成,通過樹型結(jié)構(gòu)高效地組織了程序的語法、語義信息,為不同的維護工具提供了通用的信息組織形式.違例信息檢測模塊調(diào)用公共信息庫的對外接口,獲取公共信息庫的信息,根據(jù)編碼規(guī)范對代碼進行審查.CIT是一種靈活有效的基于計算機的代碼審查輔助工具,可以實現(xiàn)代碼自動審查,從而能在減少審查代價的同時增加錯誤檢測的數(shù)量,對保證軟件質(zhì)量具有很大