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進行靜態分析和安全性測試
靜態分析已成為許多合規監管行業的關鍵要求,如醫療(FDA/IEC 62304),工業自動化等。dotTEST的靜態分析超越了基本的Visual Studio檢查程序,可以準確地揭示行業中最廣泛的缺陷,安全漏洞和合規性問題。
-
通過完整的路徑分析,您可以快速查找和修復代碼缺陷,從而實現準確的違規檢測
-
支持預防(模式)和檢測(基于流)靜態分析技術,以及代碼結構的一整套指標
-
幫助創建特定于您的開發環境和基于實踐模式的自定義規則
-
通過全面了解跨團隊、項目和多語言代碼庫的合規性,Parasoft DTP提供集中報告
-
易于部署、易于配置和易于自動化,適用于小型團隊,可跨多個團隊進行擴展
-
超過450條規則涵蓋編碼最佳實踐以及防止SQL注入和XSS攻擊等安全漏洞
使用dotTEST進行覆蓋率分析和單元測試可追溯性
覆蓋率分析
dotTEST的高性能代碼覆蓋引擎使您可以查看作為單元、集成和手動測試活動的部分底層代碼。根據每個測試用例的粒度覆蓋范圍報告,可以將這些技術測試的結果發送到Parasoft DTP,然后將它們合并到一個集中視圖中,以提供所有測試實踐的可見性。
可追溯性測試
安全性合規行業的可追溯性要求是將測試與正在驗證的要求相關聯。使用dotTEST執行單元測試(MSTest,NUnit等)并將結果發送到Parasoft DTP使您可以查看測試結果以及覆蓋范圍和靜態分析違規,并將其合并到一個與原始記錄系統相關的集中報告中。
使用dotTEST還可以得到
-
自動化代碼分析
-
不用執行軟件就能識別運行時錯誤
-
協助進行高效而完整的團隊代碼審查
-
自動進行單元和組件測試以實現代碼的即時驗證和回歸測試
-
.NET Compact Framework的支持
Desktop和Automation版本對比
|
Desktop
|
Automation
|
靜態代碼分析
|
能夠創建自定義編碼指南(規則和規則集)
|
|
指標
|
基于閾值的度量分析
|
完整度量標準分析包括與Parasoft DTP的集成
|
單元測試執行
|
NUnit MSTest
|
NUnit MSTest
|
覆蓋率分析
|
單元測試分析以及功能和手動測試期間的應用程序監控
|
單元測試分析以及功能和手動測試期間的應用程序監控
|
IDE集成/構建集成
|
DE與Microsoft Visual Studio 2008-2017的集成
|
用于構建與命令執行有關的自動化和CI基礎結構的完整集成列表
|
與DTP集成
|
能夠從Parasoft DTP下載和導入調查結果以及覆蓋率信息到IDE中
|
能夠從Parasoft DTP下載和導入調查結果以及覆蓋率信息到IDE中
|
支持環境
架構
-
.NET Framework
-
.NET Compact Framework
-
Windows Mobile
-
Windows Embedded
-
Compact
系統/開發環境
源代碼控制
-
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申請免費試用
dotTEST可以:
- 靜態分析:靜態代碼分析,數據流靜態分析,和指標分析
- 同行代碼審查過程自動化:準備,通知,并跟蹤
- 單元測試:單元測試的創建,執行,優化和維護
- 應用測試:設定實際的應用程序執行環境,并從它啟動測試
這為團隊提供了一個切實可行的辦法,以防止,揭露和糾正錯誤,以確保他們的.NET代碼如預期般運作。
從Visual Studio或作為一個自動化過程的一部分的測試,可直接運行。 為了快速推進整治,每個檢測到的問題是優先配置的嚴重性分配的基礎上,自動分配給相關的代碼開發者,并分發到IDE,直接鏈接到有問題的代碼和如何解決它的描述。
Parasoft的dotTEST需要Microsoft.NET Framework和.NET Compact Framework配合工作,包括C#,VB.NET,ASP.NET和可管理的C + +編程語言 它可以測試已建成的.NET或NET CF CLR的任何文件或程序集。

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