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

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

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

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