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

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