白盒工具--NuMega DevPartner Studio

　　這是一組白盒測試工具，主要是用于代碼開發階段，檢查應用的可靠性和穩定性。它提供了先進的錯誤檢查和調試解決方案，充分地改善生產力和開發團隊的軟件開發質量。NuMega產品線是一個全面的SmartDebugging工具包，自動地檢查企業級或Internet級用多語言創建的組件和應用中出現的軟件錯誤和性能問題，并能很快地給予解決。

　　NuMega DecPartner Studio滿足在軟件開發過程中每一個開發人員的需求，無論我們是使用一種或多種語言，NuMega產品都能夠幫助我們提高生產力。它的產品主要有自動地錯誤檢測、性能分析、代碼覆蓋分析等功能，分別用于捕獲、定位錯誤，抽取代碼執行頻度，以及抽取代碼覆蓋率等數據，產品包括：

　　1.BoundsChecker

　　程序員在開發過程中可能會經常遇到這樣的問題：調試時語法沒有問題，代碼也沒有錯誤，但應用程序運行就是不正常甚至死機，其實這有可能是由于邏輯錯誤引起的內存溢出或資源泄露等問題，這些錯誤一般是不容易被檢測出來的。而這類錯誤就是BoundsChecker錯誤檢測范圍之一。

　　通過對被測應用程序的操作，BoundsChecker提供清晰的、詳細的程序錯誤分析，自動查明靜態的堆棧錯誤及內存/資源泄露，并能夠迅速的定位出錯的源代碼，即使在沒有源代碼的情況下也可檢查第三方組件的錯誤。

　　BoundsChecker錯誤檢測范圍主要包括：

　　1).指針和泄露錯誤

　　接口泄露

　　內存泄露

　　資源泄露

　　未分配的指針錯誤

　　2).內存錯誤

　　動態存儲溢出

　　無效的句柄被鎖定

　　句柄沒有被鎖定

　　內存分配沖突

　　?？臻g溢出

　　靜態存儲溢出

　　3).API和OLE錯誤

　　API函數返回失敗

　　API函數未執行

　　無效的變量(包括指針變量、字符串變量等)

　　OLE接口方法的變量無效

　　OLE接口方法失敗

　　線程調用庫函數錯誤

　　BoundsChecker支持的語言和主機平臺:

　　C++, Delphi

　　Windows NT, Windows95/98

　　2.TrueCoverage

　　在開發過程中，對一個應用程序通過手工測試，總會有一部分代碼功能沒有被檢測到，或者說逐個檢測每一個函數的調用是相當費時間的;未被檢測的代碼我們不能保證它的可靠性，以后程序的失敗可能往往就是由這部分未檢測的代碼造成的?，F在我們可以用TrueCoverage來幫助我們解決這些問題，我們在測試程序時，每完成一次應用話路，TrueCoverage就能夠列出在這次對話中所有函數被調用次數、所占比率等，并可以直接定位到源代碼，當然我們也可以合并多個應用話路來進行檢測。所以說TrueCoverage能通過衡量和跟蹤代碼執行及代碼穩定性，幫助開發團隊節省時間和改善代碼可靠性。

　　TrueCoverage支持的語言和主機平臺

　　C++, JAVA, Visual Basic

　　Windows NT, Windows95/98

　　3. TrueTime

　　代碼運行緩慢是開發過程中一個重要問題。一個應用程序運行速度較慢，程序員不容易找到到底是在哪里出現了問題，如果不能解決應用程序的性能將降低并極大的影響應用程序的質量，于是查找和修改性能瓶頸是調整整個代碼性能的關鍵。如何快速的查找性能瓶頸呢?TrueTime的出現就使這個問題變得很容易了。當我們在測試程序時，每完成一次應用話路，TrueTime都能提供這次對話中函數的調用時間，提供詳細的應用程序和組件性能的分析，并自動定位到運行緩慢的代碼。這樣就能幫助程序員盡快地調整應用程序的性能。

　　TrueTime支持的語言和主機平臺

　　C++, JAVA, Visual Basic

　　Windows NT, Windows95/98

　　4. SmartCheck

　　作為一名Visual Basic的開發人員，在開發的過程中經常會遇到許多問題難以解決，包括象隱藏的run-time錯誤、Windows API函數在Visual Basic中正確使用的問題、一些組件的錯誤等等，它們很難被定位到具體的代碼中，令開發人員花費大量時間去尋找并解決。SmartCheck就是能很快地查找到這些問題的一個自動化的工具，它是對于Visual Basic來說最好的run-time調試工具，它檢測所有的Windows API函數調用、內存分配以及其它一些重要的程序錯誤。SmartCheck檢錯的種類包括泄露、接口方法失敗、存儲錯誤、程序和函數失敗和Visual Basic的Runtime錯誤等，它能夠將檢測到的錯誤快速地定位到源代碼。使用SmartCheck將會極大地提高VB開發人員的工作效率。

　　SmartCheck 支持的語言和主機平臺:

　　Visual Basic

　　Windows NT, Windows95/98

　　5. FailSafe

　　FailSafe是用于Visual Basic開發的一個自動錯誤處理和恢復系統。VB開發人員經常能夠遇到程序執行時意外地終止，但是對于為什麼出現錯誤只提供了簡短的、模糊的出錯信息，使開發人員不能方便地發現錯誤的根源。如果使用了FailSafe，它將插入額外的代碼對你的程序進行插裝，當程序執行時，FailSafe通過這些插裝的代碼捕獲、記錄執行時程序和系統的重要信息，直接指出錯誤發生時程序和系統的狀態，這些豐富的信息使開發人員能夠快速且正確的解決問題。

　　FailSafe 支持的語言和主機平臺:

　　Visual Basic

　　Windows NT, Windows95/98

　　6.CodeReview

　　對于Visual Basic開發人員來說，CodeReview是最好的自動源代碼分析工具，它對應用程序的組件、邏輯、Windows和Vb自身潛在的數百個問題進行嚴格地源代碼檢查。CodeReview分析的類型包括Y2K問題，邏輯錯誤，應用程序性能和可用性問題，Windows API調用和標準一致性問題等。CodeReview可以檢測整個的VB工程或指定的模塊，并能定制檢錯的種類;對檢測的結果有詳細的說明，提供幫助和推薦解決方案，而且能夠直接的鏈接到源代碼。

　　CodeReview系統還提供了兩個子模塊，一個是Metrics：通過對VB工程(vbp)的執行，計算出代碼的長度、復雜度、理解度、語言的使用等級、出錯的可能性等數據;另一個是Namer：它調用一個VB工程，自動并規則地對其中的對象重新命名，并備份原來沒有規則命名的工程文件，使開發人員對程序能夠有條理地管理。

原文轉自：http://www.anti-gravitydesign.com