Parasoft dotTEST is an automated, non-invasive solution that complements your existing Visual Studio tools with deep static analysis and advanced coverage. It scans your application codebase to identify issues before they become production problems, integrating into the Parasoft portfolio to help you achieve compliance in safety-critical industries.
          
	
    
        
        
        
        
        
	
		
			使用dotTEST進(jìn)行靜態(tài)分析和安全性測(cè)試
		
	
	
		靜態(tài)分析已成為許多合規(guī)監(jiān)管行業(yè)的關(guān)鍵要求,如醫(yī)療(FDA/IEC 62304),工業(yè)自動(dòng)化等。dotTEST的靜態(tài)分析超越了基本的Visual Studio檢查程序,可以準(zhǔn)確地揭示行業(yè)中最廣泛的缺陷,安全漏洞和合規(guī)性問(wèn)題。
	
	
		- 
			通過(guò)完整的路徑分析,您可以快速查找和修復(fù)代碼缺陷,從而實(shí)現(xiàn)準(zhǔn)確的違規(guī)檢測(cè)
		
- 
			支持預(yù)防(模式)和檢測(cè)(基于流)靜態(tài)分析技術(shù),以及代碼結(jié)構(gòu)的一整套指標(biāo)
		
- 
			幫助創(chuàng)建特定于您的開(kāi)發(fā)環(huán)境和基于實(shí)踐模式的自定義規(guī)則
		
- 
			通過(guò)全面了解跨團(tuán)隊(duì)、項(xiàng)目和多語(yǔ)言代碼庫(kù)的合規(guī)性,Parasoft DTP提供集中報(bào)告
		
- 
			易于部署、易于配置和易于自動(dòng)化,適用于小型團(tuán)隊(duì),可跨多個(gè)團(tuán)隊(duì)進(jìn)行擴(kuò)展
		
- 
			超過(guò)450條規(guī)則涵蓋編碼最佳實(shí)踐以及防止SQL注入和XSS攻擊等安全漏洞
		
 
	
		
			使用dotTEST進(jìn)行覆蓋率分析和單元測(cè)試可追溯性
		
	
	
		
			
			
				
					覆蓋率分析
				
				
					dotTEST的高性能代碼覆蓋引擎使您可以查看作為單元、集成和手動(dòng)測(cè)試活動(dòng)的部分底層代碼。根據(jù)每個(gè)測(cè)試用例的粒度覆蓋范圍報(bào)告,可以將這些技術(shù)測(cè)試的結(jié)果發(fā)送到Parasoft DTP,然后將它們合并到一個(gè)集中視圖中,以提供所有測(cè)試實(shí)踐的可見(jiàn)性。
				
			 
		 
 
 
	 
	
		 
 
		
			
			
				
					可追溯性測(cè)試
				
				
					
						安全性合規(guī)行業(yè)的可追溯性要求是將測(cè)試與正在驗(yàn)證的要求相關(guān)聯(lián)。使用dotTEST執(zhí)行單元測(cè)試(MSTest,NUnit等)并將結(jié)果發(fā)送到Parasoft DTP使您可以查看測(cè)試結(jié)果以及覆蓋范圍和靜態(tài)分析違規(guī),并將其合并到一個(gè)與原始記錄系統(tǒng)相關(guān)的集中報(bào)告中。
					
				
 
		 
	 
 
	
		
			使用dotTEST還可以得到
		
	
	
		- 
			自動(dòng)化代碼分析
		
- 
			不用執(zhí)行軟件就能識(shí)別運(yùn)行時(shí)錯(cuò)誤
		
- 
			協(xié)助進(jìn)行高效而完整的團(tuán)隊(duì)代碼審查
		
- 
			自動(dòng)進(jìn)行單元和組件測(cè)試以實(shí)現(xiàn)代碼的即時(shí)驗(yàn)證和回歸測(cè)試
		
- 
			.NET Compact Framework的支持
		
 
	
		
			Desktop和Automation版本對(duì)比
		
	
	
		
			
				
					|  | Desktop | Automation | 
			
			
				
					| 靜態(tài)代碼分析 | 能夠創(chuàng)建自定義編碼指南(規(guī)則和規(guī)則集) |  | 
				
					| 指標(biāo) | 基于閾值的度量分析 | 完整度量標(biāo)準(zhǔn)分析包括與Parasoft DTP的集成 | 
				
					| 單元測(cè)試執(zhí)行 | NUnit MSTest | NUnit MSTest | 
				
					| 覆蓋率分析 | 單元測(cè)試分析以及功能和手動(dòng)測(cè)試期間的應(yīng)用程序監(jiān)控 | 單元測(cè)試分析以及功能和手動(dòng)測(cè)試期間的應(yīng)用程序監(jiān)控 | 
				
					| IDE集成/構(gòu)建集成 | DE與Microsoft Visual Studio 2008-2017的集成 | 用于構(gòu)建與命令執(zhí)行有關(guān)的自動(dòng)化和CI基礎(chǔ)結(jié)構(gòu)的完整集成列表 | 
				
					| 與DTP集成 | 能夠從Parasoft DTP下載和導(dǎo)入調(diào)查結(jié)果以及覆蓋率信息到IDE中 | 能夠從Parasoft DTP下載和導(dǎo)入調(diào)查結(jié)果以及覆蓋率信息到IDE中 | 
			
		
	 
 
	
		
			支持環(huán)境
		
	
	
		架構(gòu)
	
	
		- 
			.NET Framework
		
- 
			.NET Compact Framework
		
- 
			Windows Mobile
		
- 
			Windows Embedded
		
- 
			Compact
		
		系統(tǒng)/開(kāi)發(fā)環(huán)境
	
	
	
		源代碼控制
	
	
		- 
			AccuRev SCM
		
- 
			Borland StarTeam
		
- 
			CVS
		
- 
			IBM Rational ClearCase
		
- 
			IBM Rational Synergy
		
- 
			Git
		
- 
			Microsoft Team Foundation Server
		
- 
			Microsoft Visual SourceSafe
		
- 
			Perforce SCM
		
- 
			Serena Dimensions
		
- 
			Subversion (SVN)
		
 
	Parasoft dotTEST申請(qǐng)免費(fèi)試用 
dotTEST可以:
	- 靜態(tài)分析:靜態(tài)代碼分析,數(shù)據(jù)流靜態(tài)分析,和指標(biāo)分析
- 同行代碼審查過(guò)程自動(dòng)化:準(zhǔn)備,通知,并跟蹤
- 單元測(cè)試:?jiǎn)卧獪y(cè)試的創(chuàng)建,執(zhí)行,優(yōu)化和維護(hù)
- 應(yīng)用測(cè)試:設(shè)定實(shí)際的應(yīng)用程序執(zhí)行環(huán)境,并從它啟動(dòng)測(cè)試
這為團(tuán)隊(duì)提供了一個(gè)切實(shí)可行的辦法,以防止,揭露和糾正錯(cuò)誤,以確保他們的.NET代碼如預(yù)期般運(yùn)作。
從Visual Studio或作為一個(gè)自動(dòng)化過(guò)程的一部分的測(cè)試,可直接運(yùn)行。 為了快速推進(jìn)整治,每個(gè)檢測(cè)到的問(wèn)題是優(yōu)先配置的嚴(yán)重性分配的基礎(chǔ)上,自動(dòng)分配給相關(guān)的代碼開(kāi)發(fā)者,并分發(fā)到IDE,直接鏈接到有問(wèn)題的代碼和如何解決它的描述。
Parasoft的dotTEST需要Microsoft.NET Framework和.NET Compact Framework配合工作,包括C#,VB.NET,ASP.NET和可管理的C + +編程語(yǔ)言 它可以測(cè)試已建成的.NET或NET CF CLR的任何文件或程序集。

合乎規(guī)范的自動(dòng)化代碼分析
通過(guò)建立預(yù)防性的編碼約定,正確實(shí)施的編碼政策可以消除整個(gè)類的編程錯(cuò)誤。 dotTEST靜態(tài)分析代碼來(lái)檢查,這樣的政策的遵守情況。 要配置dotTEST執(zhí)行編碼標(biāo)準(zhǔn)的政策,具體到他們的團(tuán)體或組織,團(tuán)隊(duì)可以定義自己的規(guī)則集,內(nèi)置和自定義規(guī)則。 dotTEST包括400 +規(guī)則,包括微軟的。NET Framework設(shè)計(jì)準(zhǔn)則,CLS遵從性,面向?qū)ο蟮闹笜?biāo),安全性,多。
除了規(guī)則,研究IL代碼,dotTEST還提供了規(guī)則,研究C#源代碼,這使dotTEST檢查很多的代碼,可以不被IL -水平分析確定(例如,格式化的問(wèn)題,空塊,濫用問(wèn)題運(yùn)營(yíng)商等)。 自定義IL級(jí)和C#的規(guī)則,這是一個(gè)圖形RuleWizard編輯器創(chuàng)建,也可以執(zhí)行的具體項(xiàng)目和組織的要求,并防止復(fù)發(fā)后已發(fā)現(xiàn)的單個(gè)實(shí)例應(yīng)用程序特定的缺陷。
確定沒(méi)有執(zhí)行的軟件運(yùn)行時(shí)錯(cuò)誤
BugDetective使用數(shù)據(jù)流分析檢測(cè),而無(wú)需實(shí)際執(zhí)行軟件運(yùn)行時(shí)錯(cuò)誤。 這使得及早和揮灑自如地檢測(cè)關(guān)鍵運(yùn)行時(shí)的錯(cuò)誤,否則手工可能會(huì)花費(fèi)數(shù)周時(shí)間來(lái)尋找。 檢測(cè)到的缺陷包括NullReferenceExceptions,ArgumentNullExceptions,資源泄漏,被零除,NULL,SQL注入,XSS,和其他的安全漏洞檢查前提領(lǐng)。
優(yōu)點(diǎn)
Parasoft的客戶,其中包括“財(cái)富”500強(qiáng)中的58%,依靠dotTEST:
	- 預(yù)防缺陷,影響應(yīng)用程序的安全性,可靠性和性能
- 遵守內(nèi)部或監(jiān)管質(zhì)量的措施
- 確保大型分布式團(tuán)隊(duì)之間的一致性
- 提高生產(chǎn)力,自動(dòng)化繁瑣而又至關(guān)重要的缺陷預(yù)防措施
- 成功實(shí)施TDD,敏捷和XP一樣流行的開(kāi)發(fā)方法
- 您可以受益于在您的公司和其他組織以及軟件開(kāi)發(fā)人員的錯(cuò)誤。 您可以防止巨大的錯(cuò)誤/ pifalls有竊聽(tīng)器的代碼在軟件行業(yè)類。
啟用有效和全面的團(tuán)隊(duì)代碼審查
創(chuàng)新的代碼審查模塊,自動(dòng)同行代碼審查的準(zhǔn)備,通知和跟蹤,解決這個(gè)非常強(qiáng)大的發(fā)展實(shí)踐中已知的缺點(diǎn)。 dotTEST更新的代碼自動(dòng)識(shí)別,匹配與指定的評(píng)論代碼,并跟蹤每個(gè)審查項(xiàng)目的進(jìn)展情況,直至關(guān)閉。 與代碼審查模塊,團(tuán)隊(duì)可以建立一個(gè)防彈的審查過(guò)程中,所有的新代碼得到審查和所有發(fā)現(xiàn)的問(wèn)題都解決了。
自動(dòng)化單元和組件測(cè)試即時(shí)驗(yàn)證表達(dá)式測(cè)試
dotTEST的自動(dòng)化測(cè)試功能顯著降低開(kāi)發(fā)和維護(hù)一個(gè)有效的測(cè)試套件所需的工作。 dotTEST的自動(dòng)化測(cè)試能力,特別是支持持續(xù)集成和敏捷/迭代開(kāi)發(fā)很有幫助。
dotTEST產(chǎn)生任何。NET語(yǔ)言的文件或程序集的完整的NUnit測(cè)試。 通過(guò)使用角的情況下,這些生成的測(cè)試用例檢查功能反應(yīng)意想不到的投入,揭露潛在的可靠性問(wèn)題。 此外,生成的測(cè)試套件即刻建立回歸測(cè)試的基準(zhǔn),并可以很容易地?cái)U(kuò)展,以驗(yàn)證您要驗(yàn)證的特定功能。 總的來(lái)說(shuō),這些測(cè)試用例建立一個(gè)安全網(wǎng)提醒您修改影響應(yīng)用程序的行為。
dotTEST提供了大量的突破性技術(shù),以方便單元測(cè)試,包括:
	- 單元測(cè)試精靈:允許您生成特定對(duì)象的工廠方法和測(cè)試場(chǎng)景dotTEST向?qū)Ы换ァ?你可以精確地控制對(duì)象和測(cè)試場(chǎng)景生成。
- 非交互測(cè)試用例生成:讓您用最少的時(shí)間和精力創(chuàng)建大量的測(cè)試。 這是實(shí)現(xiàn)高代碼覆蓋率和建立回歸基準(zhǔn)尤其有用。
- 應(yīng)用程序中承載測(cè)試:允許啟動(dòng)應(yīng)用程序改變您的應(yīng)用程序或編寫(xiě)額外的代碼單元測(cè)試,在您從幾乎任何一點(diǎn)。 這使您可以在自然環(huán)境中創(chuàng)建復(fù)雜的對(duì)象,并有利于測(cè)試的開(kāi)發(fā)/維護(hù)。
- 廣泛報(bào)道分析:所有測(cè)試測(cè)試dotTEST基于單元測(cè)試手冊(cè)的應(yīng)用程序,并能結(jié)合起來(lái),從多個(gè)測(cè)試覆蓋率信息的運(yùn)行軌道覆蓋信息。 這有助于你精確測(cè)量測(cè)試套件的有效性和完整性,以及展示與測(cè)試和驗(yàn)證的要求遵守。
- 靈活的存根支持 :允許類隔離測(cè)試。 這地址寫(xiě)單元測(cè)試的最大挑戰(zhàn)之一:在不同的國(guó)家越來(lái)越復(fù)雜的對(duì)象。
.NET Compact Framework支持
dotTEST的.NET Compact Framework支持,允許您直接在設(shè)備上運(yùn)行單元測(cè)試。 這使您能夠:
	- 寫(xiě)單元測(cè)試非常現(xiàn)實(shí)的,因?yàn)榇a對(duì).NET CF,從而準(zhǔn)確地代表了現(xiàn)實(shí)的應(yīng)用程序的行為運(yùn)行。
- 自動(dòng)檢查您的代碼對(duì)任何設(shè)備或仿真器,支持Windows Mobile設(shè)備中心(活動(dòng)同步)溝通。
- 訪問(wèn)的API,如原生API,這是只適用于特定的設(shè)備。
特點(diǎn)
	- 遵守與用戶選擇的編碼標(biāo)準(zhǔn)代碼的靜態(tài)分析
- 創(chuàng)建自定義的編碼規(guī)則的圖形RuleWizard編輯器
- 確定潛在的運(yùn)行時(shí)錯(cuò)誤的靜態(tài)代碼路徑模擬
- 精簡(jiǎn)代碼的圖形界面和進(jìn)度跟蹤審查過(guò)程
- 自動(dòng)生成和執(zhí)行單元測(cè)試
- 生成功能的單元測(cè)試的情況下,捕獲實(shí)際的應(yīng)用程序代碼的行為是行使
- 從實(shí)際執(zhí)行環(huán)境中推出測(cè)試
- 在單元測(cè)試中使用的靈活的存根框架
- 回歸測(cè)試的全面支持
- 單元測(cè)試及以后的代碼覆蓋分析(包括應(yīng)用程序級(jí)測(cè)試)
- 測(cè)試直接在目標(biāo)設(shè)備或模擬器
- 全部隊(duì)的部署桌面和命令行用法基礎(chǔ)設(shè)施
- 與Microsoft Visual Studio無(wú)縫集成
平臺(tái)
	- .NET Framework 2.0, 3.0, 3.5, 4
- .NET Compact Framework 2.0, 3.5
- Windows Mobile 5, Windows Mobile 6, Windows CE
環(huán)境
Windows 7, Windows Vista, Windows XP, Windows 2003 Server, Windows 2008 Server
Visual Studio 2010, 2008 or Visual Studio 2005