【正文】 C++Test 介紹 李周 : Parasoft 技術(shù)支持 MSN: 9 四． C++Test快速測試 1．打開被測文件 (1) 打開 C++Test ，選擇 file/open file ，選擇 C++Test 安裝目錄下examples/，這個(gè) cpp 文件將出現(xiàn)在當(dāng)前的 project 下。 C++Test 介紹 李周 : Parasoft 技術(shù)支持 MSN: 10 C++Test 介紹 李周 : Parasoft 技術(shù)支持 MSN: 11 在源代碼窗口可以看到我們所測試的代碼，界面非常友好，當(dāng)選擇代碼時(shí)，被選擇的代碼也會以藍(lán)色塊的形式出現(xiàn)。代碼左側(cè)的紅色精靈帽表示靜態(tài)分析 時(shí)出現(xiàn)問題的所在，黃色小齒輪則表示動(dòng)態(tài)分析時(shí)出現(xiàn)問題的所在。 2．靜態(tài)測試 在向右三角型旁邊的下拉箭頭，選擇內(nèi)置的編碼規(guī)則項(xiàng)目。 在靜態(tài)分析欄中的 Results 標(biāo)簽是對靜態(tài)分析結(jié)果的一個(gè)羅列。緊接著的字母表明違規(guī)行為的嚴(yán)重級別。 而標(biāo)簽 Rules Manager 則是對這些規(guī)則的管理，當(dāng)用戶需要使用某條規(guī)則的時(shí)候，只需要在相應(yīng)規(guī)則左側(cè)的方框內(nèi)打上勾就表明選擇了該條規(guī)則。 下圖，右側(cè)就是靜態(tài)測試（代碼走查）的結(jié)果。而下面的 rule desription 則是對這條規(guī)則的一個(gè)比較詳細(xì)的描述。 I 表示 information,通知行為 PV 表示 possible violation，可能的違規(guī)行為 V 表示 violation，違規(guī)行為 PSV 表示 possible servere violation，可能的嚴(yán)重違規(guī)行為 SV 表示 servere violation,嚴(yán)重違規(guī)行為。 C++Test 介紹 李周 : Parasoft 技術(shù)支持 MSN: 14 C++Test 將自動(dòng)完成代碼的動(dòng)態(tài)測試。操作的時(shí)候，只需要右擊相應(yīng)的層次（例如一個(gè)測試用例），選擇 show coverage，就可以看到對應(yīng)的覆蓋率了。在這里，所有的測試用例的狀態(tài)都一目了然，綠色表示成功，紅色表示失敗。 而 Stub Tables 欄則是對樁函數(shù)的管理， Suppressions 則是對測試對象的一個(gè)管理。這個(gè)時(shí)候 就可以通過 Suppressions 進(jìn)行選擇。 下圖，右側(cè)就是對動(dòng)態(tài)測試的一個(gè)整體描繪。 每個(gè)測試用例或者各個(gè)節(jié)點(diǎn)上都做到了相應(yīng)的覆蓋率信息，包括了 LC（語句覆蓋）， BBC（塊覆蓋）， PC(路徑覆蓋 )， DC（決 策覆蓋）， MCDC(多條件決策覆蓋 )以及 CC(條件覆蓋 )。 C++Test 介紹 李周 : Parasoft 技術(shù)支持 MSN: 15 4．生成報(bào)表 選擇 file/generate report，根據(jù)對報(bào)表的需求，選擇適當(dāng)?shù)膱?bào)表內(nèi)容種類（例如 dynamic analysis1,coverage statistic1）。 C++Test 介紹 李周 : Parasoft 技術(shù)支持 MSN: 17 C++Test 介紹 李周 : Parasoft 技術(shù)支持 MSN: 18 第三章 C++Test 高級功能 一．導(dǎo)入 VC++工程 (Import VC++ project) C++Test 可以直接導(dǎo)入 VC++ project， VC++ .Net project 和 VC++ .Net2020 project文件。你必須選擇你需要的編譯器。菜單 Project Project Configurations… 選擇 VC++ 為當(dāng)前測試工程的編譯器（下面界面默認(rèn)的 C++Test 使用編譯器是VC++.Net2020） C++Test 介紹 李周 : Parasoft 技術(shù)支持 MSN: 20 三．設(shè)置測試配置 (test configuration ) C++Test 可以選擇不同的測試配置選項(xiàng)對一個(gè)工程、文件進(jìn)行測試。 菜單 Tests Test Configurations… 打開測試配置界面。其中 Coding Standards 選擇需要的規(guī)則。比如 char 類型可以增加特定的字符 ’A’ C++Test 介紹 李周 : Parasoft 技術(shù)支持 MSN: 23 5． 設(shè)置一個(gè)被測單元自動(dòng)生成測試用例的最大數(shù)目（默認(rèn)是 50 個(gè)） C++Test 介紹 李周 : Parasoft 技術(shù)支持 MSN: 24 6． 設(shè)置新增加的測試設(shè)置為活動(dòng) C++Test 介紹 李周 : Parasoft 技術(shù)支持 MSN: 25 7． 用新增加測試設(shè)置進(jìn)行測試。 四．編碼規(guī)則測試結(jié)果分析 下圖，右側(cè)就是靜態(tài)測試（代碼走查）的結(jié)果。 1．頂層的文件夾后面的“ I=4 PV=1 V=33??”描述的是整個(gè)的對違規(guī)信息的統(tǒng)計(jì)。前面的數(shù)字表示違反次數(shù)，緊接著是嚴(yán)重程度，然后是此規(guī)則的簡單描述。而下面的 rule desription 則是對這條規(guī)則的一個(gè)比較 詳細(xì)的描述。 C++Test 介紹 李周 : Parasoft 技術(shù)支持 MSN: 26 4． Coding Standards 的 Suppressions 可以按嚴(yán)重程度，類，文件等條件決定是否要顯示測試結(jié)果。如果這步?jīng)]有做好，你會覺得C++Test 不適合你們；如果做好了，你的單元測試就做好了。 C++Test 自動(dòng)生成的測試用例是白盒測試用例。 1．選擇 Examples\ 文件 C++Test 介紹 李周 : Parasoft 技術(shù)支持 MSN: 28 2．選擇工具條中向右三角型進(jìn)行進(jìn)行單元測試 3．選擇一個(gè)測試用例，然后按“ Edit”按扭進(jìn)入 測試用例編輯界面 C++Test 介紹 李周 : Parasoft 技術(shù)支持 MSN: 29 4．分析測試用例 Arguments：測試前的函數(shù)的參數(shù)值 Arguments Post：測試后的函數(shù) 的參數(shù)值 Return：測試前設(shè)定的函數(shù)的返回值 PreConditions This：測試前對象構(gòu)造值，特別是構(gòu)造對象時(shí)給成員變量設(shè)定的的值 PreConditions Externals：測試前全局變量值 PostConditions This：測試后對象構(gòu)造值，特別是構(gòu)造對象時(shí)給成員變量設(shè)定的的值 PostConditions Externals：測試后全局變量值 Execution Result：預(yù)期的測試結(jié)果。)。)。 float _im。 Complex Complex::operator+(const Complexamp。 } Complex Complex::operator(const Complexamp。 } Complex testComplexOperators(Complexamp。 b) { Complex zero。 Complex neg_a_sum_b = neg_a b。 //this function should always return plex zero value } B）我們的測試用例是針對 函數(shù) Complex Complex::operator+(const Complexamp。 c，這個(gè)參數(shù)對象 c 構(gòu)造的時(shí)候給 c 成員變量 float _re = ； float _im = Arguments Post： 表示函數(shù)測試后。此測試用例測試結(jié)果應(yīng)當(dāng)是錯(cuò)誤的（變紅）。類成員變量的值 float _re = 2； float _im = 2 Execution Result： 表示測試結(jié)束是 Normal Return。實(shí)際的結(jié)果是（ _re=3,_im=3） C++Test 介紹 李周 : Parasoft 技術(shù)支持 MSN: 31 5．調(diào)試測試用例 選擇某個(gè)測試用例 鼠標(biāo)右鍵 Debug Selected Test Case(s) 打開 VC++.Net 2020(默認(rèn)編譯器 )調(diào)試界面。 C++Test 介紹 李周 : Parasoft 技術(shù)支持 MSN: 32 六． Data Source 如果一個(gè)函數(shù)有一系列相似的 輸入，比如協(xié)議類函數(shù)。我們稱之為 Data Source。 1．打開 C++Test 安裝目錄 Examples\DataSource\ C++Test 介紹 李周 : Parasoft 技術(shù)支持 MSN: 33 2．菜單 project project configurations… 打開工程配置界面。按“ Add”按扭增加 Data Source 文件。 // 的內(nèi)容 LOWER。TESTED。8。TRUE 3。1。9。FALSE 2。3。3。FALSE 1。0。要根據(jù)實(shí)際的 .csv 文件分割符號選擇 ’ 或 。 6．按按扭“ Show Columns”顯示 Data Souce 文件 的列名稱。 C++Test 介紹 李周 : Parasoft 技術(shù)支持 MSN: 36 7．根據(jù)設(shè)置的 Data Source 生成測試用例。要在 Use Data Souce 前面打 √ 。 C++Test 介紹 李周 : Parasoft 技術(shù)支持 MSN: 38 10．測試用例按 Data Source 文件自動(dòng)生成。要正確測試函數(shù) A，就必須對函數(shù) B（樁函數(shù)）進(jìn)行設(shè)置特定的返回值供測試函數(shù) A使用 1．打開 C++Test 自帶的 Examples \ 。 從下面的界面 可以看到mod2()函數(shù)調(diào)用了 odd()函數(shù)。要對測試 mod2 的所以必須實(shí)現(xiàn)樁函數(shù) odd()。 C++Test 介紹 李周 : Parasoft 技術(shù)支持 MSN: 41 4．打開 stub 設(shè)置界面。讓函數(shù) bool odd(int)返回 true or false（下面返回值為 true），保存修改后的樁函數(shù)。打開 C++Test 測試用例編輯界面。 八．導(dǎo)入導(dǎo)出測試用例 當(dāng)你測試某個(gè)單元，使用一些特殊或自己定義的測試用例。生成一個(gè) XML文件。而測試一個(gè)類中的其他函數(shù)或其他人也需要此構(gòu)造對象的時(shí)候，你可以通過 Test Objects 例的 Import 和Export 功能，導(dǎo)入或?qū)С鎏囟ǖ?Test Objects。 一個(gè) Test Objects 可能包含一個(gè)或多個(gè)成員變量，而且這些成員變量有特定的值。 當(dāng)分別選擇工程、類、函數(shù)和單個(gè)測試用例的時(shí)候，在下邊的 Coverage Statistic Tab 中顯示相應(yīng)的覆蓋率 C++Test 介紹 李周 : Parasoft 技術(shù)支持 MSN: 48 2．從菜單 Coverage Coverage Source 可以選擇覆蓋率來源 Any：包括自身函數(shù)和其他函數(shù)調(diào)用此函數(shù)產(chǎn)生的 Own：函數(shù)測試用例產(chǎn)生的 External：其他函數(shù) 的測試用例調(diào)用此函數(shù)產(chǎn)生的 C++Test 介紹 李周 : Parasoft 技術(shù)支持 MSN: 49 3．覆蓋率分： Line Coverage：語句覆蓋 Basic Block Coverage：沒有包含分支，控制流轉(zhuǎn)的一段代碼覆蓋 Path Coverage：一條從函數(shù)入口到出口的路徑覆蓋 Decision (Branch) Coverage：分支覆蓋 Modified Condition/Decision Coverage (MC/DC)：嵌套 boolean 表達(dá)式的組合覆蓋 Condition Coverage： boolean 表達(dá)式中的各個(gè) boolean 條件覆蓋 4．覆蓋率顯示顏色： 綠色： =80% 黃色： =40% 同時(shí) 80% 紅色： 40% 5．在源代碼上顯示覆蓋率 在左邊的樹狀中選擇文件，類或函數(shù)。按 進(jìn)行單元測試。39。= const unsigned SZ = getSize()。 i = SZ。 } _data[SZ 1] = 39。 } 修改為 void Data::copyToBuffer(char * from) { // argument should be validated exceptio