1、白盒測試工具阿俊_出品前言白盒測試也稱結構測試或邏輯驅動測試，它是按照白盒測試也稱結構測試或邏輯驅動測試，它是按照程序內部的結構測試程序，通過測試來檢測產品內程序內部的結構測試程序，通過測試來檢測產品內部動作是否按照設計規格說明書的規定正常進行，部動作是否按照設計規格說明書的規定正常進行，檢驗程序中的每條通路是否都能按預定要求正確工檢驗程序中的每條通路是否都能按預定要求正確工作。作。 這一方法是把測試對象看作一個打開的盒子，這一方法是把測試對象看作一個打開的盒子，測試人員依據程序內部邏輯結構相關信息，設計或測試人員依據程序內部邏輯結構相關信息，設計或選擇測試用例，對程序所有邏輯路徑進行測試，通

2、選擇測試用例，對程序所有邏輯路徑進行測試，通過在不同點檢查程序的狀態，確定實際的狀態是否過在不同點檢查程序的狀態，確定實際的狀態是否與預期的狀態一致。與預期的狀態一致。白盒測試特點：白盒測試特點：1.依據軟件設計說明書進行測試依據軟件設計說明書進行測試2.對程序內部細節的嚴密檢查對程序內部細節的嚴密檢查 3.針對特定條件設計針對特定條件設計測試用例測試用例 4.對軟件的邏輯路徑進行覆蓋對軟件的邏輯路徑進行覆蓋測試測試白盒測試工具目前不下白盒測試工具目前不下20種種 但是常用的但是常用的56種，種，IBMIBM一家就有至少一家就有至少5 5種種 還收購了好多其他公司的產還收購了好多其他公司的產品

3、品, ,后面會有所介紹。后面會有所介紹。簡介軟件測試工具，對于軟件測試技術的應用和軟件項軟件測試工具，對于軟件測試技術的應用和軟件項目實施過程幾乎是完全離不開的，軟件測試工具對目實施過程幾乎是完全離不開的，軟件測試工具對于實際測試工作的作用和重要性也毋庸置疑。隨著于實際測試工作的作用和重要性也毋庸置疑。隨著軟件自動化測試技術的不斷發展，測試工具與軟件軟件自動化測試技術的不斷發展，測試工具與軟件測試緊密結合，軟件業界測試緊密結合，軟件業界90%以上的企業在研發、以上的企業在研發、測試及質量管理的過程中都使用了測試工具。因此，測試及質量管理的過程中都使用了測試工具。因此，學習、認識、掌握和運用各類

4、測試工具，已成為軟學習、認識、掌握和運用各類測試工具，已成為軟件測試人員的必備專業技能。件測試人員的必備專業技能。白盒測試工具是對源代碼進行的測試，測試的主要白盒測試工具是對源代碼進行的測試，測試的主要內容包括詞法分析與語法分析、靜態錯誤分析、動內容包括詞法分析與語法分析、靜態錯誤分析、動態檢測等。但是對于不同的開發語言，測試工具實態檢測等。但是對于不同的開發語言，測試工具實現的方式和內容差別是較大的。目前測試工具主要現的方式和內容差別是較大的。目前測試工具主要支持的開發語言包括：標準支持的開發語言包括：標準C、C+、Visual C+、Java、Visual J+等。等。根據測試工具原理不同

5、劃分靜態測試工具在不執行程序的情況下分析軟件特性。本類工具主要集中在軟件需求文檔、設計文檔以及程序結構方面，可以進行類型分析、接口分析、輸入/輸出規格說明分析，等等。 動態測試工具直接執行被測程序已提供測試活動。本類工具是功能確認、接口測試、覆蓋率測試、性能分析、內存分析等靜態測試工具1PC-Lint 2rational purify3Logiscope PC-Lint 簡介簡介是一個歷史悠久，功能異常強勁的靜態是一個歷史悠久，功能異常強勁的靜態代碼檢測工具。經過這么多年的發展，代碼檢測工具。經過這么多年的發展，它不但能夠監測出許多語法邏輯上的隱它不但能夠監測出許多語法邏輯上的隱患，而且也能夠

6、有效地幫你提出許多程患，而且也能夠有效地幫你提出許多程序在空間利用、運行效率上的改進點，序在空間利用、運行效率上的改進點，在很多專業級的軟件公司，比如在很多專業級的軟件公司，比如MicrosoftMicrosoft， PC-LintPC-Lint檢查無錯誤無警檢查無錯誤無警告是代碼首先要過的第一關，對于小公告是代碼首先要過的第一關，對于小公司和個人開發而言，司和個人開發而言，PC-LintPC-Lint也非常重也非常重要，因為基于開發成本考慮，小公司和要，因為基于開發成本考慮，小公司和個人往往不能拿出很多很全面的測試，個人往往不能拿出很多很全面的測試，這時候，這時候，PC-LintPC-Lin

7、t的強勁功能可以很好的強勁功能可以很好地提高軟件的質量。地提高軟件的質量。特點特點PCLintPCLint識別并報告識別并報告C C語言中的編程語言中的編程陷阱和格式缺陷的發生。它進行程陷阱和格式缺陷的發生。它進行程序的全局分析，能識別沒有被適當序的全局分析，能識別沒有被適當檢驗的數組下標，報告未被初始化檢驗的數組下標，報告未被初始化的變量，警告使用空指針，冗余的的變量，警告使用空指針，冗余的代碼，等等。軟件除錯是軟件項目代碼，等等。軟件除錯是軟件項目開發成本和延誤的主要因素。開發成本和延誤的主要因素。PClintPClint能夠幫你在程序動態測試之能夠幫你在程序動態測試之前發現編碼錯誤。這樣

8、消除錯誤的前發現編碼錯誤。這樣消除錯誤的成本更低。成本更低。價格價格正版正版軟件要正版正版軟件要200200多多$ $網上也可以找到免費的網上也可以找到免費的rational purify簡介簡介自動化測試工具自動化測試工具Rational PurifyRational Purify是是Rational PurifyPlusRational PurifyPlus工具中的一種。工具中的一種。PurifyPurify是一個面向是一個面向VC, VBVC, VB或者或者JavaJava開發開發的測試的測試Visual C/C+ Visual C/C+ 和和Java Java 代碼中與代碼中與內存有關

9、的錯誤，確保整個應用程序的內存有關的錯誤，確保整個應用程序的質量和可靠性。在查找典型的質量和可靠性。在查找典型的Visual Visual C/C+ C/C+ 程序中的傳統內存訪問錯誤，以程序中的傳統內存訪問錯誤，以及及Java Java 代碼中與垃圾內存收集相關的代碼中與垃圾內存收集相關的錯誤方面，錯誤方面，Rational Purify Rational Purify 可以大顯可以大顯身手。身手。Rational RobotRational Robot的回歸測試與的回歸測試與Rational PurifyRational Purify結合使用完成可靠性結合使用完成可靠性測試。測試。特點特點

10、使用使用Rational Purify Rational Purify 特有特有PowerCheck PowerCheck 功能，可以按模塊逐個調整所需的檢查功能，可以按模塊逐個調整所需的檢查級別。這樣您就可以把精力集中在最重級別。這樣您就可以把精力集中在最重要的代碼上。簡單選擇要的代碼上。簡單選擇“最小最小”或或“準準確確”即可。即可。“最小最小”檢查可以快速查出檢查可以快速查出常見的運行寫入錯誤和常見的運行寫入錯誤和Windows API Windows API 錯錯誤；對于關鍵模塊，誤；對于關鍵模塊，“準確準確” ” 檢查將檢查將用行業強度檢查來查找內存訪問錯誤；用行業強度檢查來查找內存

11、訪問錯誤；這樣您就可以確定調試的優先級并更有這樣您就可以確定調試的優先級并更有效地工作。使用效地工作。使用PowerCheckPowerCheck，對每個代，對每個代碼模塊指定碼模塊指定“最小最小”或或“準確準確” ” 的錯的錯誤檢查。誤檢查。價格價格正版十分昂貴正版十分昂貴網上也有免費的網上也有免費的Logiscope 簡介簡介LOGISCOPELOGISCOPE是法國是法國TelelogicTelelogic公司推出的公司推出的產品。產品。Telelogic Logiscope Telelogic Logiscope 是一種是一種軟件質量保證軟件質量保證 (QA) (QA) 工具，它可以通

12、過工具，它可以通過自動進行代碼檢查和對容易出錯的模塊自動進行代碼檢查和對容易出錯的模塊的鑒定與檢測來幫助擴大測試范圍，從的鑒定與檢測來幫助擴大測試范圍，從而達到保證質量和完成軟件測試的目的。而達到保證質量和完成軟件測試的目的。可自定義的軟件測試功能可幫助您在軟可自定義的軟件測試功能可幫助您在軟件開發過程中及早發現缺陷，這樣您就件開發過程中及早發現缺陷，這樣您就可以做到按時交付，將費用控制在預算可以做到按時交付，將費用控制在預算內，同時又可以提高軟件質量。內，同時又可以提高軟件質量。特點特點1. 1. 軟件質量分析軟件質量分析2. 2. 代碼規范性檢測代碼規范性檢測3. 3. 測試覆蓋率統計測試

13、覆蓋率統計4. Logiscope 4. Logiscope 可以對多種語言實現的可以對多種語言實現的代碼進行分析，比如代碼進行分析，比如C C、C+C+、JavaJava等等價格價格800,000 RMB 800,000 RMB 靜態測試工具對比產品功能產品功能應用范圍應用范圍價格價格供應商供應商PC-LintPC-Lint1 1 強類型檢查強類型檢查 2 2 變量跟蹤變量跟蹤3 3 順序檢查順序檢查 4 4 弱定義檢查弱定義檢查5 5 格式檢查格式檢查 6 6 縮進檢查縮進檢查7 const7 const檢查檢查 8 volatile8 volatile檢查檢查幾乎所有的幾乎所有的編譯環境

14、編譯環境正版正版軟件要正版正版軟件要200200多多$ $網上也可以找到網上也可以找到免費的免費的GIMPEL GIMPEL SOFTWARESOFTWARE公司公司rational rational purifypurify主動搜查主動搜查/ /記錄記錄/ /分析程序運分析程序運行過程中行過程中( (掃描頻率不為掃描頻率不為0)0)的內存的內存/API/COM/API/COM/資源和句資源和句柄的使用狀況柄的使用狀況/ /誤用誤用/ /泄漏泄漏C C、C+C+、JavaJava正版十分昂貴正版十分昂貴網上也有免費的網上也有免費的IBMIBMLogiscopeLogiscope1. 1. 軟件

15、質量分析軟件質量分析2. 2. 代碼規范性檢測代碼規范性檢測3. 3. 測試覆蓋率統計測試覆蓋率統計C C、C+C+、JavaJava 800,000 RMB 800,000 RMB 法國法國TelelogicTelelogic公司公司動態測試工具1JTEST2CodeTest 3VcTester JTEST簡介簡介jtestjtest是是parasoftparasoft公司推出的一款針對公司推出的一款針對javajava語言的自動化白盒測試工具語言的自動化白盒測試工具, ,它通過自動它通過自動實現實現javajava的單元測試和代碼標準校驗的單元測試和代碼標準校驗, ,來提高代碼的可靠性。來

16、提高代碼的可靠性。JtestJtest先分析每個先分析每個javajava類，然后自動生成類，然后自動生成 junitjunit測試用例并執行用例，從而實現代碼的最大覆蓋，并將代測試用例并執行用例，從而實現代碼的最大覆蓋，并將代碼運行時未處理的異常暴露出來；另外，它還可以檢查以碼運行時未處理的異常暴露出來；另外，它還可以檢查以DbCDbC（Design by ContractDesign by Contract）規范開發的代碼的正確性。用戶還可以通過擴展測試用例的自動生成器來添加更多規范開發的代碼的正確性。用戶還可以通過擴展測試用例的自動生成器來添加更多的的junitjunit用例。用例。Jt

17、estJtest還能按照現有的超過還能按照現有的超過350350個編碼標準來檢查并自動糾正大多數常個編碼標準來檢查并自動糾正大多數常見的編碼規則上的偏差，用戶可自定義這些標準，通過簡單的幾個點擊，就能預防見的編碼規則上的偏差，用戶可自定義這些標準，通過簡單的幾個點擊，就能預防類似于未處理異常、函數錯誤、內存泄漏、性能問題、安全隱患這樣的代碼問題。類似于未處理異常、函數錯誤、內存泄漏、性能問題、安全隱患這樣的代碼問題。優勢優勢 1 1）使預防代碼錯誤成為可能，從而大大節約成本，提高軟件質量和）使預防代碼錯誤成為可能，從而大大節約成本，提高軟件質量和 開發效率開發效率 2 2）使單元測試）使單元測

18、試包括白盒、黑盒以及回歸測試成為可能包括白盒、黑盒以及回歸測試成為可能 3 3）使代碼規范檢查和自動糾正成為可能）使代碼規范檢查和自動糾正成為可能 4 4）鼓勵開發團隊橫向協作來預防代碼錯誤）鼓勵開發團隊橫向協作來預防代碼錯誤JTEST特征特征 1 1）通過簡單的點擊，自動實現代碼基本錯誤的預防，這包括單元測試和代碼）通過簡單的點擊，自動實現代碼基本錯誤的預防，這包括單元測試和代碼規范的檢查規范的檢查 2 2）生成并執行）生成并執行junitjunit單元測試用例，對代碼進行即時檢查單元測試用例，對代碼進行即時檢查 3 3）提供了進行黑盒測試、模型測試和系統測試的快速途徑）提供了進行黑盒測試、

19、模型測試和系統測試的快速途徑 4 4）確認并阻止代碼中不可捕獲的異常、函數錯誤、內存泄漏、性能問題、安）確認并阻止代碼中不可捕獲的異常、函數錯誤、內存泄漏、性能問題、安全弱點的問題全弱點的問題 5 5）監視測試的覆蓋范圍）監視測試的覆蓋范圍 6 6）自動執行回歸測試）自動執行回歸測試 7 7）支持）支持DbCDbC編碼規范編碼規范 8 8）檢驗超過）檢驗超過350350個來自個來自javajava專家的開發規范專家的開發規范 9 9）自動糾正違反超過）自動糾正違反超過160160個編碼規范的錯誤個編碼規范的錯誤 1010）允許用戶通過圖形方式或自動創建方式來自定義編碼規范）允許用戶通過圖形方式

20、或自動創建方式來自定義編碼規范 1111）支持大型團隊開發中測試設置和測試文件的共享）支持大型團隊開發中測試設置和測試文件的共享 1212）實現和）實現和IBM Websphere Studio /Eclipse IDE IBM Websphere Studio /Eclipse IDE 的安全集成的安全集成CodeTest簡介簡介CODETESTCODETEST是全球第一臺專為嵌入式系統是全球第一臺專為嵌入式系統軟件測試而設計的工具套件，軟件測試而設計的工具套件，CODETESTCODETEST為追蹤嵌入式應用程序，分析軟件性能，為追蹤嵌入式應用程序，分析軟件性能，測試軟件的覆蓋率以及存儲體

21、的動態分測試軟件的覆蓋率以及存儲體的動態分配等提供了一個實時在線的高效率解決配等提供了一個實時在線的高效率解決方案。方案。CODETESTCODETEST還是一個可共享的網絡還是一個可共享的網絡工具，它將給整個開發和測試團隊帶來工具，它將給整個開發和測試團隊帶來高品質的測試手段。高品質的測試手段。特點特點包括以下四個模塊包括以下四個模塊: :性能分析、測試覆性能分析、測試覆蓋分析、動態存儲器分配分析、執行追蓋分析、動態存儲器分配分析、執行追蹤分析（蹤分析（TRACETRACE） 價格價格市場價每套約市場價每套約3030萬人民幣萬人民幣VcTester簡介簡介VcTesterVcTester由深

22、圳市領測科技有限公由深圳市領測科技有限公司自主研發，專業服務于嵌入式白司自主研發，專業服務于嵌入式白盒測試領域的測試工具，它遵循第盒測試領域的測試工具，它遵循第4 4代白盒測試方法（代白盒測試方法（4GWM4GWM，The 4th The 4th Generation White-box-testing Generation White-box-testing MethodologyMethodology），為有效實施針對），為有效實施針對C C語言的單元測試、集成測試與協議語言的單元測試、集成測試與協議測試，提供系統化的測試解決方案。測試，提供系統化的測試解決方案。VcTesterVcTes

23、ter僅支持僅支持VCVC平臺下平臺下C C源代碼源代碼的白盒測試的白盒測試, , 主要應用于通信設備、主要應用于通信設備、嵌入式手持終端、醫療器械等實時嵌入式手持終端、醫療器械等實時嵌入式產品的源碼級測試。嵌入式產品的源碼級測試。特點特點1.1.腳本化測試驅動腳本化測試驅動2.2.腳本樁腳本樁3.3.在線測試在線測試4.4.即時調測即時調測5.5.測試工程管理測試工程管理價格價格共享版免費共享版免費, ,商用版本價格參見其官方商用版本價格參見其官方網站網站動態測試工具對比產品功能產品功能應用范圍應用范圍價格價格供應商供應商JTESTJTEST1.1.迅速可靠的修改已有代碼迅速可靠的修改已有代

24、碼2.2.控制開發成本和進度控制開發成本和進度3.3.優化開發資源優化開發資源4 4能更好的控制風險能更好的控制風險5.5.對于對于javajava代碼的可讀性具代碼的可讀性具有直觀可視化效果有直觀可視化效果javajava 網上也有免費版網上也有免費版ParasoftParasoftCodeTestCodeTest包括以下四個模塊包括以下四個模塊: :性能分性能分析、測試覆蓋分析、動態存析、測試覆蓋分析、動態存儲器分配分析、執行追蹤分儲器分配分析、執行追蹤分析（析（TRACETRACE）嵌入式系統嵌入式系統軟件軟件市場價每套約市場價每套約3030萬人民幣萬人民幣METROWERKSMETRO

25、WERKSVcTesterVcTester1.1.腳本化測試驅動腳本化測試驅動2.2.腳本樁腳本樁 3.3.在線測試在線測試4.4.即時調測即時調測5.5.測試工程管理測試工程管理VCVC平臺下平臺下C C源代碼源代碼共享版免費共享版免費, ,商用版本價格參商用版本價格參 見其官方網站見其官方網站深圳市領測科深圳市領測科技有限公司技有限公司 用戶看法測試工具2 2. .使用過工使用過工具，但是價具，但是價格等因素限格等因素限制了進一步制了進一步使用使用3.3.對測試非常了解，經常使用對測試非常了解，經常使用ITIT測試工具測試工具1.1.有想法，要多了解信息有想法，要多了解信息這種想法在很多中

26、小企業中存在，他們已經意識到了這種想法在很多中小企業中存在，他們已經意識到了IT測試的重要性，但是限于各種測試的重要性，但是限于各種條件，現在還處于收集信息的階段。部分用戶代表希望有價格便宜的第三方測試機構條件，現在還處于收集信息的階段。部分用戶代表希望有價格便宜的第三方測試機構來幫助自己進行測試。來幫助自己進行測試。北京青云航空儀表公司北京青云航空儀表公司 黃迪生黃迪生我們目前比較需要網絡測試和軟件測試的設備。但因為此前對測試技術和產品不我們目前比較需要網絡測試和軟件測試的設備。但因為此前對測試技術和產品不太熟悉，目前更多地是想了解一下最新的技術和產品。我們希望廠商能有一些具體的太熟悉，目前

27、更多地是想了解一下最新的技術和產品。我們希望廠商能有一些具體的演示和應用案例。演示和應用案例。北京京能熱點股份有限公司信息中心北京京能熱點股份有限公司信息中心 夏驥夏驥在此前的在此前的IT項目中，我們還沒有使用過專門的測試工具軟件和設備。但我們對新項目中，我們還沒有使用過專門的測試工具軟件和設備。但我們對新的測試工具軟件和設備比較感興趣，目前我們正在做網絡改造，所以想先了解一下這的測試工具軟件和設備比較感興趣，目前我們正在做網絡改造，所以想先了解一下這方面的產品和技術。方面的產品和技術。第一類用戶這類用戶基本都是一些專業的這類用戶基本都是一些專業的IT公司，他們對測試工具有明顯的渴求，但是現在的條公司，他們對測試工具有明顯的渴求，但是現在的條件限制了應用。件限制了應用。中科輔龍計算機技術有限公司技術管理部經理中科輔龍計算機技術有限公司技術管理部經理 林志丹林志丹我們用過一些網絡測試和軟件測試的工具軟件，有一些感覺。網絡測試和軟件測我們用過一些網絡測試和軟件測試的工具軟件，有一些感覺。網絡測試和軟件測試都是工具軟件，它們面臨同樣的問題，就是專業性強，用戶少，而廠商為了盈利就試都是工具軟件，它們面臨同樣的問題，就是專業性強，用戶少，而廠商為了盈利就不得不將價格定得較高；其次是這類軟件大多比較難以上手，需要專門的培訓，但這不得不將價格定得較高；其次是這類