C++ Test 之 RuleWizard 使用心得
***************************************
關(guān)鍵字：C++Test Rulewizard Python
難易度：中
軟件版本：Parasoft C++ Test 6.5
時間：2005-11-23
Author：Kino
********************************
一.介紹一下C++Test吧（這一部分請允許我ctrl + c/v ）
是單元測試和靜態(tài)分析工具，自動測試C和C＋＋類別、功能或組件，而無需編寫單個測試實例、測試驅(qū)動程序或樁調(diào)用。只需點擊按鈕，C++Test即會采用業(yè)內(nèi)編碼標(biāo)準(zhǔn)執(zhí)行代碼的靜態(tài)分析，測試代碼構(gòu)造（白盒測試），測試代碼功能性（黑盒測試），并保持代碼完整性（回歸測試）。可以巡行在Windows 2000/XP 、Linux 、Solaris 7, 8, 9平臺之上。她的主要功能可以參見下邊的鏈接網(wǎng)頁：
http://www.superinst.com/cn/products/software_engineering/unit_testing/parasoft/ctest.html
這里我想說明的不是C++Test有多么好用，而是要說明她內(nèi)置的RuleWizard?定制編碼機能。那么什么才是RuleWizard呢？他到底能干什么？
二.RuleWizard
C++Test內(nèi)置了300多個靜態(tài)測試項，一般的情況下其實也就夠用了。但是如果有特殊的測試要求，動輒幾十K的代碼，用眼睛看，腦子想，太辛苦，也不“安全”。那么使用rulewizard定制自己的規(guī)則還是很有用的。
我們首先要明確，rulewizard定制的是 不成功 的情況。也就是應(yīng)該被排除的。
Rule的創(chuàng)建有2種方式，一種是手工寫規(guī)則，另一種是寫入需要剔除的代碼，讓rulewizard去幫你生成規(guī)則（最好別用，弱弱的autocreate）。我這里主要重點放在自己寫規(guī)則方面。
Rulewizard的界面如下圖：
*******
圖1。RuleWizard界面
右邊的就是我們寫的規(guī)則。
那么我們先來大概的介紹一下rulewizard定義的基本組成部分吧。（實在不太會翻譯，那么就沿用英文名字了，請大家多多包涵）
Node：規(guī)則的基本組成部分，通過Node你可以很清楚的知道它的功能。比如表達式a=b、變量的類型測試。。。分為：
parentNode：規(guī)則中的主分支Node或者次分支的主Node。內(nèi)容可以是表達式、變量、函數(shù)等
childNode：規(guī)則的組成單元。
Commands：用來在Node和Nodes之間建立關(guān)聯(lián)關(guān)系。形象一點就是點中一個Node然后右鍵顯示出的快捷菜單的上半部分。如下圖：
圖2
介紹一下主要的Command
Collector:集合。這個概念更像數(shù)學(xué)中的集合而不是Java中的廣義集合。滿足一定條件的數(shù)據(jù)或者方法或者變量的全體。比如，所有被聲明過的變量，如下圖
圖3
isDecl是用來返回前邊的node是不是一個聲明。那么body的membervariable返回了所有的包涵指定類型變量得語句（包括 變量付值、聲明、判斷等）那么這個圖被理解為，所有不是聲明得語句內(nèi)使用的變量的集合。
沒有被聲明的變量，如下圖。
圖4
這里的意思是所有作為聲明語句的變量的集合。
那么通常情況下，A集合和B集合應(yīng)該是相等的，也就是說所有被聲明過的變量（B集合內(nèi)容）應(yīng)該都被使用/付值/判斷（A集合的內(nèi)容）。那么對于存在聲明了但沒有被使用的變量的特殊情況應(yīng)該怎么樣表示呢？
Node Set:Node對Node集合的處理。分為Union（合并）、Intersection（交叉）、Difference（差值，左差/右差）、Xor（異或）。如下圖：
圖5
如果 滿足這個規(guī)則，那么輸出相應(yīng)得警告信息。
Output：如果滿足check的條件，向用戶返回一個消息（箭頭表示）
三．Python
這里python是用來給rulewizard作補充的一個腳本語言。通過python可以定制一些特殊的，rulewizard的node不能完成的規(guī)則。Python可以使用2種方式被加入到規(guī)則中：
作為一個輸出：如果規(guī)則沒有被遵守那么可以調(diào)用一個違反規(guī)則的方法。（類似于輸出錯誤消息，只不過這里用來啟動一個方法而已）
作為一個單獨的方法組件：其實就是一個方法而已。比如，以上圖為例子，如果我們不判斷B 和 A的大小關(guān)系，就是想打印一下A、B的內(nèi)容，那么就得到如下的圖：
圖6
其中Method的內(nèi)容是：
def showCollectorContext(node,context):
a = context.getList("A")
b = context.getList("B")
context.report("D's Context is " + str(a) + "C's Context is " + str(b))
那么在c++test進行測試的時候就會得到輸出我們需要的內(nèi)容。
關(guān)于python的語法我這里就不寫了，畢竟和這篇文章的內(nèi)容美關(guān)系。如果想要了解，可以去下載相關(guān)資料，我這里建議使用 Orielly的 Python in a Nutshell 。
四．不足點
作為一個能自定義規(guī)則的靜態(tài)測試工具，不得不佩服parasoft兄弟們的才智。但是我覺得還有一些改善點的：（當(dāng)然也不排除，已經(jīng)有，但我沒有發(fā)現(xiàn)的情況，如果各位知道請指教，謝謝先）
1． 通過pyhon我們可以干涉規(guī)則的制定，比如，對于上例變量的確定，如果們不使用collect set的Difference|left menus（就是圖4中最下的那個6邊形），而用python一樣的可以對比2個List。但是就像他提供的功能是靜態(tài)測試一樣，這里我們得到的永遠是經(jīng)過處理的集合。而不能把python插入檢測的循環(huán)中，不能一次得到一個變量，做點操作然后等下次的變量。
2． 集合的概念在這里有 他的優(yōu)點，也有缺點，如果我們想要明確的得到代碼里相同變量的出現(xiàn)次數(shù)，那么通過現(xiàn)有的rulewizard是得不到的，因為我們得到的集合總是經(jīng)過“合并”的、沒有重復(fù)的數(shù)據(jù)結(jié)構(gòu)。
3． 就我看到的資料，所有的內(nèi)置的node都沒有為用戶提供接口。不能夠把通過python的處理結(jié)果正確的傳遞給內(nèi)置的node。感覺所有的python做成的node 都是“葉子”。
4． 技術(shù)支持和官方論壇人氣低到，看了渾身發(fā)抖的地步。沒有交流，沒有討論。不知道是不是因為太貴的原因。
5． 貴！！！真的很貴。動輒就是4XXX$。-_-! 反正貴。
就寫這么多，希望大家多多交流，國內(nèi)關(guān)于軟件的新聞有不少，經(jīng)驗卻沒有，希望能給我仍的“磚”能換來大家“玉”。謝謝！