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

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

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

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

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

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

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

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

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

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

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

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

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

13、查代碼是否符合超過800多條的內(nèi)建規(guī)則，包括100條安全性規(guī)則· 對違反250條規(guī)則的代碼進(jìn)行快速糾正· 可以通過圖形工具或者提供一個(gè)含有違反相應(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òng)同行代碼走查過程(包括準(zhǔn)備，提示和導(dǎo)

14、航)· 在團(tuán)隊(duì)內(nèi)部或是組織內(nèi)部共享測試設(shè)置· 生成HTML和XML報(bào)告· 提供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