自動(dòng)化測(cè)試實(shí)驗(yàn)一

1、實(shí)驗(yàn)一代碼靜態(tài)檢查一、實(shí)驗(yàn)?zāi)康恼莆誔C-lint的安裝步驟。了解PC-lint的代碼檢測(cè)功能。二、實(shí)驗(yàn)步驟1)PC-lmt的安裝將pclint.rai-解壓至c:,這樣luit文件就位與c:pcliiit(安裝目錄)下了。將 c:pclmflnt F的 3 個(gè)文件 lib-w32.Int,env-vc6.1iit,co-msc60.1nt拷貝至c:pclint卜，再在安裝目錄下創(chuàng)建std.liit和options.lnt兩個(gè)文件，其中std.hit的內(nèi)容如 下：/contents of std.lntc:pcliiitco-msc60.hitc :pcliiitlib-w32 .hitc:pc

2、lintoptions.lnt -si4 -sp4-inD:Program Files;D:Progiain FilesMicrosoft Visual StudioVC98Includen /end其中-i后面的路徑名為VC的安裝路徑和VC Include文件路徑，根據(jù)自己的修 改便可。options.lnt內(nèi)容可為空，為定制內(nèi)容,以后需要時(shí)再添加。將pclint集成到VC6中去，先配置Imt使之能對(duì)單個(gè)C或C+文件進(jìn)行檢查。在VC的集成開(kāi)發(fā)環(huán)境中添加定制的命令，添加定制命令的方法是選擇工具 欄的【Tools】如圖1-1所示，接著選擇【Tools】下的的【Customize.】命令， 如圖1

3、-2所示。彈出自定義界面，點(diǎn)擊【Tools】標(biāo)簽頁(yè)如圖1-3的界面：File Edit View Insert Project (Tld Window Help圖1-1選擇Tools工具i ster ControlEtrw LockupControl Test ContainerODE/COM Object Vi ewerMFCPC-Li nt Exprot Project, lutPC Li nt Check Current. FilePCLint Check ProjectCustomize.Options.Macro.Record Quick Macro Ctrl-bShi ft+RFl

4、y Qui ckCtrl+Shi ft+P圖1-2選擇Customize命令Cust oaizeToolsKeyboard Add-ins and Macro Files|H：WINDOWSsystem32regsvr32.exeCommand：Arguments：*S(TargetPath)Commands | Toolbarsinitial directory：廠 Use Output Window|$(TargetDirF Prompt for arguments 廠 Close window on exiting圖1圖14Close圖1-3選擇Tools標(biāo)簽頁(yè)后的界面首先我們添加一個(gè)檢

5、查當(dāng)前文件的工具命令，新建一個(gè)命令條如圖14所示。給 命令條取名為：“ PC-Lint Check Cunent File ”，命令行輸入 C:pclmt8LINT-NT.EXE ,就是PC-Lmt安裝后所在的路徑。參數(shù)行輸入： “-iC:pclint8 -u std.hit env-vc6.1nt $(FilePath)”。-i 為指定路徑的選項(xiàng),指定尋 找文件的路徑。-u為單元檢測(cè)選項(xiàng)。std.hit env-vc6.1nt分別為兩個(gè)選項(xiàng)文件，其 所在的路徑由-1指定。后面的”$(FilePath)”為文件的文件名包括文件的路徑。工 具的初始化目錄為文件的目錄(SFileDu)。最后不要忘

6、了勾選“Use Output Window”選項(xiàng)，這樣PC-Lmt會(huì)將信息輸出到Output窗I I中。選擇在OutPut中輸出配置完舊波們可以看看工具條中增加了一行，如圖1.5所 示：Source Browser.Alt+F12Source Browser.Alt+F12Close SourFilsRegister ControlErrw LockupActiveX Control Test Contain空A OLE/CON Object ViewerA Sgy+MFC TracerPC Li nt Exprot Project. IntrC-Lint Check Ciirrent Fil

7、RwgysarC-Lint Check Ciirrent FilFC-LintChck Fr6jeetFC-LintChck Fr6jeetCustomize.Options.a Macro.Record Quick Macro Ctrl+Shi ft+RFl&y Qui ck Mw心 Ctrl+Shi ft+P圖15增加命令后的界面2)PC-lmt檢測(cè)功能實(shí)驗(yàn)題1:char *report( int m. hit n, char *p ) (int result;char *temp;long nm;int i, k, kk;char naine12 = HJoe JakesonH;mn =

8、 n * m;temp = p = ,M, ? “null” ： p;fbr( i = 0; i 0 ) result = 1;else if( kk FinishCancel圖1-6新建Hello World工程然后將實(shí)驗(yàn)題1中的代碼粘貼到工程的代碼中，最后將這個(gè)工程代碼所倚賴(lài)的包 含目錄手工添加到配置文件中，因?yàn)榇a檢查要搜索stdafx.h這個(gè)預(yù)編譯文件， 所以這里要手工添加工程代碼所在的目錄。用記事本打開(kāi)std.lnt,在文件中添加一 行：-iF:projectpclint_testo /添加時(shí)注意應(yīng)是自己的工程目錄。-iF:piojectpclmt_testH就是例子工程所在的目錄(

9、stdafx.h就在這個(gè)目錄)。如果 你的工程比較龐大，頭文件包含目錄很多，就需要將這些目錄一一添加到配置文 件。在確保代碼輸入沒(méi)有錯(cuò)誤之后(有錯(cuò)誤頁(yè)沒(méi)關(guān)系，PC-Lmt會(huì)檢查出錯(cuò)誤), 就可以開(kāi)始代碼檢查了。例子工程，打開(kāi)要檢查的代碼文件，本例是 tpcliiit_test.cpp,然后選擇【Tools】菜單下的“PC_LINT Check Current File”命令, Output窗I輸出對(duì)本文件的檢查結(jié)果。請(qǐng)對(duì)結(jié)果進(jìn)行分析o當(dāng)然在命令行中使用也很簡(jiǎn)單，進(jìn)入到要檢查的文件目錄，然后輸入命令：luit -iC:pcliiit8 -u std.lnt env-vc6.1iit pclmt_

10、test.cpp檢查后的結(jié)果和在VC環(huán)境中一樣。實(shí)驗(yàn)題2：#mclude class Xint *p;public:X。( p = new mt20; void uut()( memset( p. 20, a); X()( delete p; ;請(qǐng)用PC-lmt檢測(cè)上述代碼，并分析檢測(cè)信息，對(duì)源代碼進(jìn)行修正。實(shí)驗(yàn)題3：祥include typedef int COUNT;typedef char* STRING;void tj(STRING s,COUNT a)(COUNT i;fbr(i=O ;si!=0 ;i+) (if(si=A, & siv=z)a0+;else if(si=ta, &

11、 si=。& siS(TargetNaine).hitMo 初始化目錄輸入 “S(FileDir)”，最后勾選uUse Output Window”選項(xiàng)，如圖1-7所示。+linebuf表示是加倍行緩沖的大小， 最初是600 bytes,行緩沖用于存放當(dāng)前行和你讀到的最長(zhǎng)行的信息。由于有可 能項(xiàng)目中的文件會(huì)很多，所以對(duì)緩沖加倍來(lái)解析文件工程文件。其實(shí)工程文件 (*.dsp)也就是個(gè)ASCD碼文件，我們可以用記事本打開(kāi)看看里面的內(nèi)容。里面包 括模塊名，預(yù)編譯宏，路徑等。Lint就是通過(guò)解析這個(gè)文件來(lái)得到與項(xiàng)目相關(guān)的 文件名等信息。實(shí)質(zhì)上就是解析項(xiàng)目文件中的“SOURCE= ”符號(hào)。$(Targe

12、tName) 是VC定義的宏表示的是工程名。通過(guò)重定向這個(gè)符號(hào)“”可以將從項(xiàng)目文件 解析的文件名等信息寫(xiě)到文件$(TargetName).lnt項(xiàng)目選項(xiàng)文件中。對(duì)項(xiàng)目進(jìn)行檢 查時(shí)要利用此選項(xiàng)文件。圖17定制導(dǎo)出項(xiàng)目選項(xiàng)文件定制完后點(diǎn)擊close關(guān)閉。然后點(diǎn)擊“PC-LintExprotProject.lnt”命令，會(huì)在 項(xiàng)目的當(dāng)前文件夾下生成一個(gè)以項(xiàng)目文件字后綴名為lint的文件。本例中為 “pclint_test.lnt。里面的內(nèi)容如圖1-8所示。B pclint.test. Ini - 記事本0叵I區(qū)I文件 編輯迫)格式)查看幫助/* Generated From file: pclinttest.dsp */-dWIN32一-d_DEBUGCONSOLE-dZtIBCSpclint_test.cppStdAFx.cpp圖 1-8 pclinCtest.hit 內(nèi)容生成完項(xiàng)目選項(xiàng)文件后，接下來(lái)是定制對(duì)項(xiàng)目進(jìn)行檢查的命令。還是照定制檢查 文件和生成項(xiàng)目選項(xiàng)文件一樣，新建命令，在命令行中輸入 uC:pcliiit8 LINT-NT.EXE在參數(shù)中輸入：-iC:pclint8 +ffii std.hit env-vc6.1iit $(TargetNaine).liit$(TaigetName).txt,o 初始化目錄輸入 “S(FileDir)”，如圖 1-9 所示。+