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

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

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

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

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

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

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

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

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

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

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

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

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

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

14、航)· 在團隊內(nèi)部或是組織內(nèi)部共享測試設(shè)置· 生成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