比較常用的白盒測試工具有哪些？

每當人們提起測試的時候，大家首先想到的就是，白盒測試和黑盒測試。這兩個測試可以說是被人們廣為熟知的，但是這兩種測試可以使用哪些工具？今天我們先就來了解一下關于白盒測試的工具吧？白盒測試工具是有比較多的，常用的有Jtest、Jcontract以及CodeAnalyzer等等，接下來我們就來具體的了解一下吧。

1、Jtest

是一個代碼分析和動態(tài)類、組件測試工具，是一個集成的、易于使用和自動化的Java單元測試工具。它增強代碼的穩(wěn)定性，防止軟件錯誤。

2、Jcontract

Jcontract在系統(tǒng)級驗證類/部件是否正確工作并被正確使用。Jcontract 是個獨立工具，在功能上是Jtest 的補充?？梢杂肑contract插裝按DbC注解的Java代碼。將類/部件組裝成系統(tǒng)時，Jcontract 在運行時監(jiān)視并報告錯用和功能性問題。Jcontract 幫助每個開發(fā)人員有效地考核類/部件的系統(tǒng)級行為。

3、CodeWizard

CodeWizard 代碼靜態(tài)分析工具，先進的C/C++源代碼分析工具，使用超過500 個編碼規(guī)范自動化地標明危險的，但是編譯器不能檢查到的代碼結(jié)構(gòu)。

4、Insure++

Insure++是一個基于C/C++的自動化的內(nèi)存錯誤、內(nèi)存泄漏的精確檢測工具。 Insure++能夠可視化實時內(nèi)存操作，準確檢測出內(nèi)存泄漏產(chǎn)生的根源。Insure++還能執(zhí)行覆蓋性分析，清楚地指示那些代碼已經(jīng)測試過。

5、BoundsChecker

BoundsChecker Visual C++ Edition 是針對Visual C++開發(fā)人員的首選的運行時的錯誤檢測和調(diào)試工具。它通過駐留在Visual C++ 開發(fā)環(huán)境內(nèi)部的自動調(diào)試處理程序來加速應用程序的開發(fā)，縮短產(chǎn)品發(fā)布的時間。BoundsChecker 對于編程中的錯誤，大多數(shù)是 C++中特有的提供了清晰的詳細的分析。它能夠檢測和診斷出在靜態(tài)，堆棧內(nèi)存中的錯誤以及內(nèi)存和資源泄漏問題。在運行狀態(tài)下，BoundsChecker 驗證超過 8,700 APIs 和 OLE 方法，包括最新的 Windows APIs, ODBC,ActiveX，DirectX, COM 和 Internet APIs。

6、FailSafe

FailSafe是Visual Basic語言環(huán)境下的自動錯誤處理和恢復工具，F(xiàn)ailSafe將插入額外的代碼對你的程序進行插裝，當程序執(zhí)行時，F(xiàn)ailSafe通過這些插裝的代碼捕獲、記錄錯誤信息

7、CodeAnalyzer

CA基于Java開發(fā)，Java Swing的模式支持系統(tǒng)跨平臺運行；支持C、C++、Java等多種編程語言掃描；支持windows平臺、linux平臺、命令行環(huán)境、IDE環(huán)境。規(guī)則包含國軍標5369，國軍標5369（C++），Java sun 編程規(guī)范，Java sun 安全規(guī)則等。CA是根據(jù)預定的規(guī)則對代碼進行掃描分析，檢查代碼是否符合編碼規(guī)范和各種規(guī)則，查找可能的錯誤，無需編寫測試用例可以實現(xiàn)自動化測試，節(jié)省大量的人力。CA支持對源代碼進行解析，得到代碼的控制流程圖，通過對流程圖進行代碼走查，實現(xiàn)代碼級的測試覆蓋，輕松實現(xiàn)XUnit單元測試模塊的構(gòu)建。CA還可以通過時間設定，只檢驗更新的代碼，提高效率。

通過上面的講述，想必大家對于這些工具已經(jīng)有了一定的了解，在這些工具當中，最受小編喜愛的是CodeAnalyzer，它可以實現(xiàn)靜態(tài)分析、代碼走查、代碼規(guī)范檢查以及代碼潛在錯誤分析等。

推薦閱讀：

Java靜態(tài)代碼掃描怎么做？Java靜態(tài)代碼掃描工具的使用方法

為什么要做白盒測試？哪些項目適合白盒測試？

為什么要進行代碼檢查？靜態(tài)代碼分析工具的優(yōu)勢有哪些

什么情況下需要進行靜態(tài)程序分析?常用Java靜態(tài)代碼分析工具的優(yōu)勢

代碼審查和代碼走查的區(qū)別及代碼審查在軟件開發(fā)生命周期中的作用

常用Java靜態(tài)代碼分析工具的分析與比較

如何進行代碼審查？代碼審查工具都有哪些？