比較常用的白盒測(cè)試工具有哪些？

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

1、Jtest

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

2、Jcontract

Jcontract在系統(tǒng)級(jí)驗(yàn)證類/部件是否正確工作并被正確使用。Jcontract 是個(gè)獨(dú)立工具，在功能上是Jtest 的補(bǔ)充。可以用Jcontract插裝按DbC注解的Java代碼。將類/部件組裝成系統(tǒng)時(shí)，Jcontract 在運(yùn)行時(shí)監(jiān)視并報(bào)告錯(cuò)用和功能性問題。Jcontract 幫助每個(gè)開發(fā)人員有效地考核類/部件的系統(tǒng)級(jí)行為。

3、CodeWizard

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

4、Insure++

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

5、BoundsChecker

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

6、FailSafe

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

7、CodeAnalyzer

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

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

推薦閱讀：

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

為什么要做白盒測(cè)試？哪些項(xiàng)目適合白盒測(cè)試？

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

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

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

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

如何進(jìn)行代碼審查？代碼審查工具都有哪些？