白盒測(cè)試工具

白盒測(cè)試工具阿俊_出品前言白盒測(cè)試也稱結(jié)構(gòu)測(cè)試或邏輯驅(qū)動(dòng)測(cè)試，它是按照程序內(nèi)部的結(jié)構(gòu)測(cè)試程序，通過測(cè)試來檢測(cè)產(chǎn)品內(nèi)部動(dòng)作是否按照設(shè)計(jì)規(guī)格說明書的規(guī)定正常進(jìn)行，檢驗(yàn)程序中的每條通路是否都能按預(yù)定要求正確工作。這一方法是把測(cè)試對(duì)象看作一個(gè)打開的盒子，測(cè)試人員依據(jù)程序內(nèi)部邏輯結(jié)構(gòu)相關(guān)信息，設(shè)計(jì)或選擇測(cè)試用例，對(duì)程序所有邏輯路徑進(jìn)行測(cè)試，通過在不同點(diǎn)檢查程序的狀態(tài)，確定實(shí)際的狀態(tài)是否與預(yù)期的狀態(tài)一致。白盒測(cè)試特點(diǎn)：1.依據(jù)軟件設(shè)計(jì)說明書進(jìn)行測(cè)試2.對(duì)程序內(nèi)部細(xì)節(jié)的嚴(yán)密檢查3.針對(duì)特定條件設(shè)計(jì)測(cè)試用例4.對(duì)軟件的邏輯路徑進(jìn)行覆蓋測(cè)試白盒測(cè)試工具目前不下20種但是常用的5~6種，IBM一家就有至少5種

還收購(gòu)了好多其他公司的產(chǎn)品,后面會(huì)有所介紹。簡(jiǎn)介軟件測(cè)試工具，對(duì)于軟件測(cè)試技術(shù)的應(yīng)用和軟件項(xiàng)目實(shí)施過程幾乎是完全離不開的，軟件測(cè)試工具對(duì)于實(shí)際測(cè)試工作的作用和重要性也毋庸置疑。隨著軟件自動(dòng)化測(cè)試技術(shù)的不斷發(fā)展，測(cè)試工具與軟件測(cè)試緊密結(jié)合，軟件業(yè)界90%以上的企業(yè)在研發(fā)、測(cè)試及質(zhì)量管理的過程中都使用了測(cè)試工具。因此，學(xué)習(xí)、認(rèn)識(shí)、掌握和運(yùn)用各類測(cè)試工具，已成為軟件測(cè)試人員的必備專業(yè)技能。白盒測(cè)試工具是對(duì)源代碼進(jìn)行的測(cè)試，測(cè)試的主要內(nèi)容包括詞法分析與語法分析、靜態(tài)錯(cuò)誤分析、動(dòng)態(tài)檢測(cè)等。但是對(duì)于不同的開發(fā)語言，測(cè)試工具實(shí)現(xiàn)的方式和內(nèi)容差別是較大的。目前測(cè)試工具主要支持的開發(fā)語言包括：標(biāo)準(zhǔn)C、C++、VisualC++、Java、VisualJ++等。根據(jù)測(cè)試工具原理不同劃分靜態(tài)測(cè)試工具在不執(zhí)行程序的情況下分析軟件特性。本類工具主要集中在軟件需求文檔、設(shè)計(jì)文檔以及程序結(jié)構(gòu)方面，可以進(jìn)行類型分析、接口分析、輸入/輸出規(guī)格說明分析，等等。動(dòng)態(tài)測(cè)試工具直接執(zhí)行被測(cè)程序已提供測(cè)試活動(dòng)。本類工具是功能確認(rèn)、接口測(cè)試、覆蓋率測(cè)試、性能分析、內(nèi)存分析等靜態(tài)測(cè)試工具1PC-Lint

2rationalpurify3Logiscope

№PC-Lint

簡(jiǎn)介是一個(gè)歷史悠久，功能異常強(qiáng)勁的靜態(tài)代碼檢測(cè)工具。經(jīng)過這么多年的發(fā)展，它不但能夠監(jiān)測(cè)出許多語法邏輯上的隱患，而且也能夠有效地幫你提出許多程序在空間利用、運(yùn)行效率上的改進(jìn)點(diǎn)，在很多專業(yè)級(jí)的軟件公司，比如Microsoft，PC-Lint檢查無錯(cuò)誤無警告是代碼首先要過的第一關(guān)，對(duì)于小公司和個(gè)人開發(fā)而言，PC-Lint也非常重要，因?yàn)榛陂_發(fā)成本考慮，小公司和個(gè)人往往不能拿出很多很全面的測(cè)試，這時(shí)候，PC-Lint的強(qiáng)勁功能可以很好地提高軟件的質(zhì)量。

特點(diǎn)PCLint識(shí)別并報(bào)告C語言中的編程陷阱和格式缺陷的發(fā)生。它進(jìn)行程序的全局分析，能識(shí)別沒有被適當(dāng)檢驗(yàn)的數(shù)組下標(biāo)，報(bào)告未被初始化的變量，警告使用空指針，冗余的代碼，等等。軟件除錯(cuò)是軟件項(xiàng)目開發(fā)成本和延誤的主要因素。PClint能夠幫你在程序動(dòng)態(tài)測(cè)試之前發(fā)現(xiàn)編碼錯(cuò)誤。這樣消除錯(cuò)誤的成本更低。

價(jià)格正版正版軟件要200多$網(wǎng)上也可以找到免費(fèi)的★rationalpurify簡(jiǎn)介自動(dòng)化測(cè)試工具RationalPurify是RationalPurifyPlus工具中的一種。Purify是一個(gè)面向VC,VB或者Java開發(fā)的測(cè)試VisualC/C++和Java代碼中與內(nèi)存有關(guān)的錯(cuò)誤，確保整個(gè)應(yīng)用程序的質(zhì)量和可靠性。在查找典型的VisualC/C++程序中的傳統(tǒng)內(nèi)存訪問錯(cuò)誤，以及Java代碼中與垃圾內(nèi)存收集相關(guān)的錯(cuò)誤方面，RationalPurify可以大顯身手。RationalRobot的回歸測(cè)試與RationalPurify結(jié)合使用完成可靠性測(cè)試。

特點(diǎn)使用RationalPurify特有PowerCheck功能，可以按模塊逐個(gè)調(diào)整所需的檢查級(jí)別。這樣您就可以把精力集中在最重要的代碼上。簡(jiǎn)單選擇“最小”或“準(zhǔn)確”即可?！白钚　睓z查可以快速查出常見的運(yùn)行寫入錯(cuò)誤和WindowsAPI錯(cuò)誤；對(duì)于關(guān)鍵模塊，“準(zhǔn)確”檢查將用行業(yè)強(qiáng)度檢查來查找內(nèi)存訪問錯(cuò)誤；這樣您就可以確定調(diào)試的優(yōu)先級(jí)并更有效地工作。使用PowerCheck，對(duì)每個(gè)代碼模塊指定“最小”或“準(zhǔn)確”的錯(cuò)誤檢查。價(jià)格正版十分昂貴網(wǎng)上也有免費(fèi)的★L(fēng)ogiscope

簡(jiǎn)介L(zhǎng)OGISCOPE是法國(guó)Telelogic公司推出的產(chǎn)品。TelelogicLogiscope?是一種軟件質(zhì)量保證(QA)工具，它可以通過自動(dòng)進(jìn)行代碼檢查和對(duì)容易出錯(cuò)的模塊的鑒定與檢測(cè)來幫助擴(kuò)大測(cè)試范圍，從而達(dá)到保證質(zhì)量和完成軟件測(cè)試的目的?？勺远x的軟件測(cè)試功能可幫助您在軟件開發(fā)過程中及早發(fā)現(xiàn)缺陷，這樣您就可以做到按時(shí)交付，將費(fèi)用控制在預(yù)算內(nèi)，同時(shí)又可以提高軟件質(zhì)量。特點(diǎn)1.軟件質(zhì)量分析2.代碼規(guī)范性檢測(cè)3.測(cè)試覆蓋率統(tǒng)計(jì)4.Logiscope可以對(duì)多種語言實(shí)現(xiàn)的代碼進(jìn)行分析，比如C、C++、Java等

價(jià)格800,000RMB★靜態(tài)測(cè)試工具對(duì)比產(chǎn)品功能應(yīng)用范圍價(jià)格供應(yīng)商PC-Lint1強(qiáng)類型檢查2變量跟蹤3順序檢查4弱定義檢查5格式檢查6縮進(jìn)檢查7const檢查8volatile檢查幾乎所有的編譯環(huán)境正版正版軟件要200多$網(wǎng)上也可以找到免費(fèi)的GIMPELSOFTWARE公司rationalpurify主動(dòng)搜查/記錄/分析程序運(yùn)行過程中(掃描頻率不為0)的內(nèi)存/API/COM/資源和句柄的使用狀況/誤用/泄漏C、C++、Java正版十分昂貴網(wǎng)上也有免費(fèi)的IBMLogiscope1.軟件質(zhì)量分析2.代碼規(guī)范性檢測(cè)3.測(cè)試覆蓋率統(tǒng)計(jì)C、C++、Java

800,000RMB法國(guó)Telelogic公司★動(dòng)態(tài)測(cè)試工具1JTEST2CodeTest3VcTester№JTEST簡(jiǎn)介jtest是parasoft公司推出的一款針對(duì)java語言的自動(dòng)化白盒測(cè)試工具,它通過自動(dòng)實(shí)現(xiàn)java的單元測(cè)試和代碼標(biāo)準(zhǔn)校驗(yàn),來提高代碼的可靠性。Jtest先分析每個(gè)java類，然后自動(dòng)生成junit測(cè)試用例并執(zhí)行用例，從而實(shí)現(xiàn)代碼的最大覆蓋，并將代碼運(yùn)行時(shí)未處理的異常暴露出來；另外，它還可以檢查以DbC（DesignbyContract）規(guī)范開發(fā)的代碼的正確性。用戶還可以通過擴(kuò)展測(cè)試用例的自動(dòng)生成器來添加更多的junit用例。Jtest還能按照現(xiàn)有的超過350個(gè)編碼標(biāo)準(zhǔn)來檢查并自動(dòng)糾正大多數(shù)常見的編碼規(guī)則上的偏差，用戶可自定義這些標(biāo)準(zhǔn)，通過簡(jiǎn)單的幾個(gè)點(diǎn)擊，就能預(yù)防類似于未處理異常、函數(shù)錯(cuò)誤、內(nèi)存泄漏、性能問題、安全隱患這樣的代碼問題。優(yōu)勢(shì)

1）使預(yù)防代碼錯(cuò)誤成為可能，從而大大節(jié)約成本，提高軟件質(zhì)量和開發(fā)效率2）使單元測(cè)試——包括白盒、黑盒以及回歸測(cè)試成為可能

3）使代碼規(guī)范檢查和自動(dòng)糾正成為可能

4）鼓勵(lì)開發(fā)團(tuán)隊(duì)橫向協(xié)作來預(yù)防代碼錯(cuò)誤JTEST特征

1）通過簡(jiǎn)單的點(diǎn)擊，自動(dòng)實(shí)現(xiàn)代碼基本錯(cuò)誤的預(yù)防，這包括單元測(cè)試和代碼規(guī)范的檢查

2）生成并執(zhí)行junit單元測(cè)試用例，對(duì)代碼進(jìn)行即時(shí)檢查

3）提供了進(jìn)行黑盒測(cè)試、模型測(cè)試和系統(tǒng)測(cè)試的快速途徑

4）確認(rèn)并阻止代碼中不可捕獲的異常、函數(shù)錯(cuò)誤、內(nèi)存泄漏、性能問題、安全弱點(diǎn)的問題

5）監(jiān)視測(cè)試的覆蓋范圍

6）自動(dòng)執(zhí)行回歸測(cè)試

7）支持DbC編碼規(guī)范

8）檢驗(yàn)超過350個(gè)來自java專家的開發(fā)規(guī)范

9）自動(dòng)糾正違反超過160個(gè)編碼規(guī)范的錯(cuò)誤

10）允許用戶通過圖形方式或自動(dòng)創(chuàng)建方式來自定義編碼規(guī)范

11）支持大型團(tuán)隊(duì)開發(fā)中測(cè)試設(shè)置和測(cè)試文件的共享

12）實(shí)現(xiàn)和IBMWebsphereStudio/EclipseIDE的安全集成★CodeTest簡(jiǎn)介CODETEST是全球第一臺(tái)專為嵌入式系統(tǒng)軟件測(cè)試而設(shè)計(jì)的工具套件，CODETEST為追蹤嵌入式應(yīng)用程序，分析軟件性能，測(cè)試軟件的覆蓋率以及存儲(chǔ)體的動(dòng)態(tài)分配等提供了一個(gè)實(shí)時(shí)在線的高效率解決方案。CODETEST還是一個(gè)可共享的網(wǎng)絡(luò)工具，它將給整個(gè)開發(fā)和測(cè)試團(tuán)隊(duì)帶來高品質(zhì)的測(cè)試手段。

特點(diǎn)包括以下四個(gè)模塊:性能分析、測(cè)試覆蓋分析、動(dòng)態(tài)存儲(chǔ)器分配分析、執(zhí)行追蹤分析（TRACE）

價(jià)格市場(chǎng)價(jià)每套約30萬人民幣★VcTester簡(jiǎn)介VcTester由深圳市領(lǐng)測(cè)科技有限公司自主研發(fā)，專業(yè)服務(wù)于嵌入式白盒測(cè)試領(lǐng)域的測(cè)試工具，它遵循第4代白盒測(cè)試方法（4GWM，The4thGenerationWhite-box-testingMethodology），為有效實(shí)施針對(duì)C語言的單元測(cè)試、集成測(cè)試與協(xié)議測(cè)試，提供系統(tǒng)化的測(cè)試解決方案。VcTester僅支持VC平臺(tái)下C源代碼的白盒測(cè)試,主要應(yīng)用于通信設(shè)備、嵌入式手持終端、醫(yī)療器械等實(shí)時(shí)嵌入式產(chǎn)品的源碼級(jí)測(cè)試。

特點(diǎn)1.腳本化測(cè)試驅(qū)動(dòng)2.腳本樁3.在線測(cè)試4.即時(shí)調(diào)測(cè)5.測(cè)試工程管理

價(jià)格共享版免費(fèi),商用版本價(jià)格參見其官方網(wǎng)站★動(dòng)態(tài)測(cè)試工具對(duì)比產(chǎn)品功能應(yīng)用范圍價(jià)格供應(yīng)商JTEST1.迅速可靠的修改已有代碼2.控制開發(fā)成本和進(jìn)度3.優(yōu)化開發(fā)資源4能更好的控制風(fēng)險(xiǎn)5.對(duì)于java代碼的可讀性具有直觀可視化效果java

網(wǎng)上也有免費(fèi)版ParasoftCodeTest包括以下四個(gè)模塊:性能分析、測(cè)試覆蓋分析、動(dòng)態(tài)存儲(chǔ)器分配分析、執(zhí)行追蹤分析（TRACE）嵌入式系統(tǒng)軟件市場(chǎng)價(jià)每套約30萬人民幣METROWERKSVcTester1.腳本化測(cè)試驅(qū)動(dòng)2.腳本樁

3.在線測(cè)試4.即時(shí)調(diào)測(cè)5.測(cè)試工程管理VC平臺(tái)下C源代碼共享版免費(fèi),商用版本價(jià)格參

見其官方網(wǎng)站深圳市領(lǐng)測(cè)科技有限公司用戶看法測(cè)試工具2.使用過工具，但是價(jià)格等因素限制了進(jìn)一步使用◆3.對(duì)測(cè)試非常了解，經(jīng)常使用IT測(cè)試工具◆1.有想法，要多了解信息◆這種想法在很多中小企業(yè)中存在，他們已經(jīng)意識(shí)到了IT測(cè)試的重要性，但是限于各種條件，現(xiàn)在還處于收集信息的階段。部分用戶代表希望有價(jià)格便宜的第三方測(cè)試機(jī)構(gòu)來幫助自己進(jìn)行測(cè)試。北京青云航空儀表公司黃迪生我們目前比較需要網(wǎng)絡(luò)測(cè)試和軟件測(cè)試的設(shè)備。但因?yàn)榇饲皩?duì)測(cè)試技術(shù)和產(chǎn)品不太熟悉，目前更多地是想了解一下最新的技術(shù)和產(chǎn)品。我們希望廠商能有一些具體的演示和應(yīng)用案例。北京京能熱點(diǎn)股份有限公司信息中心夏驥在此前的IT項(xiàng)目中，我們還沒有使用過專門的測(cè)試工具軟件和設(shè)備。但我們對(duì)新的測(cè)試工具軟件和設(shè)備比較感興趣，目前我們正在做網(wǎng)絡(luò)改造，所以想先了解一下這方面的產(chǎn)品和技術(shù)?！锏谝活愑脩暨@類用戶基本都是一些專業(yè)的IT公司，他們對(duì)測(cè)試工具有明顯的渴求，但是現(xiàn)在的條件限制了應(yīng)用。中科輔龍計(jì)算機(jī)技術(shù)有限公司技術(shù)管理部經(jīng)理林志丹我們用過一些網(wǎng)絡(luò)測(cè)試和軟件測(cè)試的工具軟件，有一些感覺。網(wǎng)絡(luò)測(cè)試和軟件測(cè)試都是工具軟件，它們面臨同樣的問題，就是專業(yè)性強(qiáng)，用戶少，而廠商為了盈利就不得不將價(jià)格定得較高；其次是這類軟件大多比較難以上手，需要專門的培訓(xùn)，但這樣的培訓(xùn)卻往往不是免費(fèi)的。例如Rational相信就不是人人都用得起，用得好。業(yè)界是否可以采用一些新思路，將這類工具軟件采用服務(wù)或者租借的形式向用戶提供呢？長(zhǎng)城軟件系統(tǒng)集成公司許哲源我們平時(shí)所做的測(cè)試基本上都是功能測(cè)試。20個(gè)人以下的可以從網(wǎng)上免費(fèi)下載。在開發(fā)成本可以承受的情況下，項(xiàng)目團(tuán)隊(duì)當(dāng)然愿意選擇性價(jià)比高的測(cè)試工具。★第二類用戶這些用戶每年都會(huì)投入一定的費(fèi)用用于產(chǎn)品運(yùn)維和新產(chǎn)品購(gòu)買，他們對(duì)于IT測(cè)試的認(rèn)識(shí)也是最為深