Java靜態(tài)分析Java代碼檢查

1、Jtest Java靜態(tài)分析、Java代碼檢查、Java單元測試和Java運行時錯誤監(jiān)測  自動實現JAVA的單元測試和代碼標準校驗· 迅速可靠地修改已有代碼· 控制開發(fā)成本和進度· 優(yōu)化開發(fā)資源· 迅速掌握前沿技術帶來優(yōu)勢的同時控制相應的風險· 對于Java代碼質量和可讀性具備直觀可視化效果利用Parasoft Jtest自動識別并且預防在整個項目開發(fā)周期中Java程序的錯誤  Parasoft Jtest是為Java EE, SOA, Web以及其他Java應用程序的開發(fā)團隊量身定做的一款全面測試Ja

2、va程序的工具。無論是編寫高質量的代碼還是在不破壞原有代碼既有功能的前提下延長其生命周期，Jtest都能提供一個經實踐證明有效的方法以保證代碼按照預期運行。Jtest使開發(fā)團隊能夠迅速可靠地修改代碼，優(yōu)化開發(fā)資源并且控制項目開發(fā)成本和進度。       自動查找隱蔽的運行缺陷       BugDetective是一種新的靜態(tài)分析技術，它能夠查找出隱藏在代碼中的那些導致運行缺陷和造成程序不穩(wěn)定的錯誤。而這些錯誤往往是人工調試和檢測起來耗時且難以發(fā)現的，有的

3、甚至只有在程序實際應用中才會暴露出來，這就大幅增加了修復這些錯誤的成本。BugDetective能通過自動追蹤和仿真執(zhí)行路徑來找出這些錯誤，即使是包含在不同方法和類之間，和（或）包內含有眾多順序調用的復雜程序。BugDetective能診斷以及修復傳統(tǒng)靜態(tài)分析和單元測試容易遺漏的錯誤。在程序開發(fā)周期中盡早發(fā)現這些錯誤能節(jié)省診斷時間，從而避免可能出現的重復工作。 自動代碼檢測       Jtest的靜態(tài)代碼分析能自動檢測代碼是否符合超過800條的程序編碼規(guī)范和任意數量的用戶定制的編碼規(guī)則，幫助開發(fā)者避免出現這些隱蔽

4、且難以修復的編碼錯誤。靜態(tài)代碼分析還能幫助用戶預防一些特殊用法的錯誤，提高安全性，增加代碼的可讀性和可維護性，并且將適合重構的代碼定位。靜態(tài)代碼分析能夠自動解決大多數編碼問題，從而迅速地進行代碼優(yōu)化。      靜態(tài)代碼自動分析排除了在同行代碼走查(Peer Code Re-view)過程中逐行檢查的必要性，使開發(fā)者更加注重于軟件核心價值，比如檢查設計、算法或實現方法等。Jtest的代碼走查模塊能夠自動化同等代碼走查過程，增加了開發(fā)者的參與性與交流。這就使代碼走查的效率得到大幅提升，這對軟件開發(fā)者而言（尤其是那些分布式團隊）是非常關鍵

5、的。對代碼進行自動結合人工的檢查能夠保證代碼質量，使得QA能夠集中于更高級別的檢驗，縮短面市時間以及增加項目的可預測性。 單元，組件以及應用級上檢查并且捕捉代碼行為       程序開發(fā)者和QA通過Jtest不僅能夠建立應用于不同級代碼正確性和可靠性的測試套件(Test Suite)，還能為用于回歸測試的基礎版本捕捉代碼行為。      開發(fā)者可以對Java代碼的方法和類進行即時的獨立調試以便盡早發(fā)現錯誤。為了方便開發(fā)者進行初始測試，Jtest自動生成可擴

6、展的，高覆蓋率的Junit測試套件來發(fā)現可靠性上的問題，從而避免在常規(guī)回歸測試中誘發(fā)嚴重的問題。      一旦Java EE的類被配置到了本地服務器上，Jtest就為這些類自動生成Cactus測試用例，在用戶的真實Java容器里，執(zhí)行這些測試用例。對這些復雜且難以測試的Java EE應用程序(運行在PC或服務器)進行獨立測試，使得一般只能在QA或更后期階段才會暴露出的缺陷在早期就被發(fā)現，從而降低了修復難度和成本。      通過對應用程序實時配置的監(jiān)視，Jtest Trac

7、er能捕捉實際功能測試的行為從而進一步擴展回歸測試用例。只需要使用程序的GUI或是測試客戶端(如Parasoft SOAtest for SOA/Web services或 Parasoft WebKing for Web application)來執(zhí)行想要驗證的用例Jtest Tracer 就能從Junit測試用例中捕捉住這些操作。如果測試用例中的相關功能損壞了，這些相應的測試就會失敗。 自動為常規(guī)回歸測試建立底層測試框架       總的來講，這些測試用例構成了一個健壯的回歸測試套件，自動在初期發(fā)現缺陷并且判斷

8、其對相應代碼的修改是否會破壞既有功能。這樣的回歸測試套件對于開發(fā)者迅速可靠地更改代碼是相當有幫助的，尤其是針對設計復雜并需要不斷升級維護的程序而言更為重要。無論開發(fā)團隊的代碼庫是否經過測試，或只經過很少的測試，Jtest都能迅速為其生成健壯的，低噪聲的回歸測試套件。       自動為常規(guī)回歸測試建立底層測試框架       總的來講，這些測試用例構成了一個健壯的回歸測試套件，自動在初期發(fā)現缺陷并且判斷其對相應代碼的修改是否會破壞既有功能。這樣的回歸測試套

9、件對于開發(fā)者迅速可靠地更改代碼是相當有幫助的，尤其是針對設計復雜并需要不斷升級維護的程序而言更為 重要。無論開發(fā)團隊的代碼庫是否經過測試，或只經過很少的測試，Jtest都能迅速為其生成健壯的，低噪聲的回歸測試套件。 將Jtest加入到團隊的工作流程框架中       Jtest支持部署全團隊的測試標準，并提供可持續(xù)的工作流來將最佳實踐無縫集成入團隊現有流程中。項目架構師首先可以自定義開發(fā)團隊的測試配置，而后Parasoft的Team Configuration Manager(TCM)可以自動地對開發(fā)團隊每個成員的

10、Jtest進行相應配置。開發(fā)者可以直接使用IDE來查找和修復這些問題，避免將這些問題傳遞到源碼控制系統(tǒng)中。其次,Jtest服務器每天定時檢測整個項目的代碼，并且將所發(fā)現的問題通過Email發(fā)送給團隊經理和相關的負責人。開發(fā)者能夠將這些結果直接導入到IDE中來查找代碼中的錯誤。Jtest服務器還能將這些消息發(fā)送到Parasoft Group Reporting System(GRS)，GRS通過收集和分析Jtest或是其它測試工具的數據，并按類別整理到項目質量和狀態(tài)的概要數據中，然后分別提供給項目經理，架構師，開發(fā)者和測試者以供參考。 優(yōu)點 · 迅速可靠地修改已有代

11、碼 無論開發(fā)團隊有大量未經過測試的代碼或是一些簡單的測試，使用Jtest可以迅速地建立一個回歸安全性網絡。· 控制開發(fā)成本和進度 在開發(fā)過程中能夠盡早地發(fā)現錯誤從而大副降低開發(fā)成本和縮短開發(fā)時間。對可能的用戶路徑進行廣泛的測試，避免推遲軟件發(fā)布時間或在軟件發(fā)布后加入補丁。· 優(yōu)化開發(fā)資源 自動診斷大約80%的編碼問題使得開發(fā)者能夠減少在逐行檢查和調試代碼上花費的時間，從而使開發(fā)者的精力集中在設計，算法和實現上。· 迅速掌握前沿技術帶來優(yōu)勢的同時控制相應的風險 降低復雜的企業(yè)級應用程序的調試難度（如SOA/Web服務程序和Java EE的應用）。· 對于J

12、ava代碼質量和可讀性具備直觀可視化效果 通過對代碼質量和預期目標的控制使用戶從整體上把握開發(fā)進度。 功能 · 自動生成敏感的低噪聲回歸測試套件· 自動發(fā)現可能會跨越方法、類或者包的運行缺陷· 捕捉配置代碼運行的真實行為以生成Junit測試用例· 生成可擴展的Junit和Cactus測試用例來定位可靠性和 代碼行為方面的問題· 執(zhí)行測試套件以定位回歸測試和未預見到的副作用· 自動生成敏感的低噪聲回歸測試套件· 用分支覆蓋率來監(jiān)控測試覆蓋率以達到高覆蓋率· 在測試運行時定位內存泄漏· 檢

13、查代碼是否符合超過800多條的內建規(guī)則，包括100條安全性規(guī)則· 對違反250條規(guī)則的代碼進行快速糾正· 可以通過圖形工具或者提供一個含有違反相應規(guī)則的示例代碼來修改參數從而定制用戶自定義規(guī)則· 支持Struts, Spring, Hibernate, EJBs, JSPs, Servlets· 可完整集成于Eclipse, RAD, JBuilder· 可于InterlliJ IDEA和Oracle JDeveloper部分集成(導入結果)· 可與大多數主流的源碼控制系統(tǒng)完整集成· 自動同行代碼走查過程(包括準備，提示和導

14、航)· 在團隊內部或是組織內部共享測試設置· 生成HTML和XML報告· 提供GUI(交互)和命令行(批處理)兩種模式 系統(tǒng)需求        操作系統(tǒng) · Windows: Windows 2000, XP, 2003或Vista，7· Linux: Red Hat 9.0, Fedora Core 1-3或更高,Red Hat E.L. 2,3,4· Solaris: Solaris 8,9,10       硬件配置 · Intel Pentium III 1.0 GHz或更高（推薦）· UltraSPARC proc