JTest的使用

jtest

項目中用到了JTest，一款商業化java白盒測試工具，開個頭慢慢補充。

　　簡介:

　　jtest是parasoft公司推出的一款針對java語言的自動化白盒測試工具,它通過自 動實作java的單元測試和代碼标準校驗,來提高代碼的可靠性。Jtest先分析每個java類，然後自動生成junit測試用例并執行用例，進而實作代 碼的最大覆寫，并将代碼運作時未處理的異常暴露出來；另外，它還可以檢查以DbC（Design by Contract）規範開發的代碼的正确性。使用者還可以通過擴充測試用例的自動生成器來添加更多的junit用例。Jtest還能按照現有的超過350個 編碼标準來檢查并自動糾正大多數常見的編碼規則上的偏差，使用者可自定義這些标準，通過簡單的幾個點選，就能預防類似于未處理異常、函數錯誤、記憶體洩漏、性 能問題、安全隐患這樣的代碼問題。

　　另外，jtest 采用parasoft公司的AEP方法論來實作團隊開發中對代碼錯誤标準化管理，這個方法論，也是parasoft提出的基于團隊開發模式下提高軟體品質 和可靠性的一套解決方案，目前還處在探索階段，詳情可參閱 http://www.parasoft.com/jsp/aep/aep.jsp 。

　　優勢：

　　1）使預防代碼錯誤成為可能，進而大大節約成本，提高軟體品質和開發效率

　　2）使單元測試——包括白盒、黑盒以及回歸測試成為可能

　　3）使代碼規範檢查和自動糾正成為可能

　　4）鼓勵開發團隊橫向協作來預防代碼錯誤

　　特征：

　　1）通過簡單的點選，自動實作代碼基本錯誤的預防，這包括單元測試和代碼規範的檢查

　　2）生成并執行junit單元測試用例，對代碼進行即時檢查

　　3）提供了進行黑盒測試、模型測試和系統測試的快速途徑

　　4）确認并阻止代碼中不可捕獲的異常、函數錯誤、記憶體洩漏、性能問題、安全弱點的問題

　　5）監視測試的覆寫範圍

　　6）自動執行回歸測試

　　7）支援DbC編碼規範

　　8）檢驗超過350個來自java專家的開發規範

　　9）自動糾正違反超過160個編碼規範的錯誤

　　10）允許使用者通過圖形方式或自動建立方式來自定義編碼規範

　　11）支援大型團隊開發中測試設定和測試檔案的共享

　　12）實作和IBM Websphere Studio /Eclipse IDE 的安全內建

　　download url:

　　http://www.parasoft.com/jsp/downloads/jtest/jtest_win32_pro_plugin_7.5.72.exe

　　http://www.parasoft.com/jsp/downloads/jtest/jtest_win32_pro_plugin_7.0.50.exe

　　http://www.parasoft.com/jsp/downloads/jtest/jtest_win32_pro_7.5.72.exe

　　http://www.parasoft.com/jsp/downloads/jcontract/jcontract_win32.exe