Parasoft C/C++test 2022.2 unterstützt das neue MISRA C:2012 Amendment 3 und eine Entwurfsversion von MISRA C++ 202x. Erfahren Sie mehr >>

Statische .NET-Analyse

Tools zur Analyse statischer .NET-Codes

Unterstützt von Parasoft dotTEST

Statische C # - und .NET-Analyse mit Parasoft dotTEST

Parasoft dotTEST überprüft die C # - und VB.NET-Codequalität und überprüft die Einhaltung von Branchen- und Sicherheitsstandards (wie OWASP, CWE, UL 2900 oder PCI), indem die umfassendsten statischen Analysetechniken angewendet werden, um Code zu validieren und sicherzustellen, dass Fehler am Code verhindert werden früheste Phase des Softwareentwicklungsprozesses.

Wie funktioniert es?

Parasoft dotTEST bietet das branchenweit umfassendste Set an Statische Analyse-Checker für C# und .NET die verwendet werden können, um die Einhaltung von Sicherheitsstandards zu überprüfen, Laufzeitprobleme frühzeitig zu erkennen (z. B. Nullzeiger, Speicherlecks usw.), Codeduplikate zu finden und die Komplexität/Struktur des Codes zu verstehen, um sicherzustellen, dass Ihr Code sowohl zuverlässig als auch wartbar ist.

Parasoft dotTEST verwendet mehrere Code-Parsing-Engines, um den C # - oder .NET-Code in der Entwicklung zu analysieren und ein tiefes Verständnis dafür zu erlangen, und wendet über 450 verschiedene Regeln an, um kritische Verstöße im Code schnell zu finden. Die Regeln werden priorisiert und in vordefinierte Konfigurationen gruppiert, sodass Benutzer die Analyse schnell verstehen und priorisieren können.

Die statische Code-Analyse kann entweder in der IDE (Visual Studio) oder über die Befehlszeilenschnittstelle für Automatisierungs- und kontinuierliche Integrationsszenarien durchgeführt werden. Auf die Ergebnisse der Analyse kann sofort in der IDE und aus generierten Berichten (HTML, PDF, XML) zugegriffen und für die weitere Nachbearbeitung, Berichterstellung und Analyse von Parasofts preisgekrönter Process Intelligence Engine aggregiert werden.

Während Sie in Ihrem Team skalieren, bietet dotTEST erweiterte Funktionen, um die statische Analyse von C # und .NET zu einem wartbaren Element des Entwicklungsprozesses zu machen, indem unerwünschte Ergebnisse unterdrückt, Ergebnisse priorisiert, Entwicklern Ergebnisse zugewiesen und vieles mehr.

Eigenschaften

Parasoft dotTEST erkennt komplexe Laufzeitprobleme früh in der Entwicklungsphase, ohne dass kostspielige Laufzeitprüfungen durchgeführt werden müssen. Durch die Analyse der Ausführungspfade durch den Code findet dotTEST mögliche Probleme wie Nullzeiger-Dereferenzierung, Division durch Null, Speicherlecks und mehr.

Parasoft dotTEST bietet eine Reihe integrierter Regeln zur Überprüfung der Einhaltung von Standards wie OWASP, CWE, PCI und mehr. Eine solche Analyse wird für regulierte Branchen (Automobil, Medizin, Finanzen usw.) empfohlen / erforderlich.

Die hochgradig anpassbare Code-Analyse von Parasoft dotTEST ermöglicht es Organisationen und Teams, benutzerdefinierte Testkonfigurationen zu erstellen und zu implementieren, die nur Regeln enthalten, die für die spezifischen Richtlinien und Codierungsstandards des Unternehmens relevant sind. Testkonfigurationen und statische Analyseregeln können auf dem Desktop des Entwicklers, direkt in der IDE oder auf einem zentralen Berichtsserver angepasst werden, um Teams bei der Durchsetzung derselben Entwicklungsstrategien im gesamten Unternehmen zu unterstützen.

Parasoft-Benutzer können statische Analyseergebnisse bequem und effektiv in der IDE und auf einem zentralen Berichtsserver überprüfen, der eine Verbindung zu anderen Testaktivitäten herstellt und Nachbearbeitung, dynamische Berichts-Dashboards sowie historische Daten und Trends ermöglicht.

Die integrierten Regeln von Parasoft dotTEST können durch die Aktivierung von MCA-Regeln in Testkonfigurationen (fast 350 zusätzliche Regeln) weiter erweitert werden. Verstöße von MCA können auf die gleiche Weise wie alle anderen integrierten Regelverletzungen gemeldet werden - in der Benutzeroberfläche angezeigt und auf dem zentralen Berichtsserver verarbeitet.

Profitieren Sie vom Parasoft-Ansatz

Die umfassendste Sicherheits- und Konformitätsanalyse für .NET

Sicherheit ist das Hauptanliegen der heutigen .NET-Anwendungen. Unabhängig davon, ob die Anwendung ein medizinisches Gerät antreibt oder die kritischen Geschäftsabläufe eines Unternehmens steuert, muss sichergestellt werden, dass der Code sicher ist und den Industriestandards (wie OWASP und CWE) entspricht. dotTEST bietet die umfassendste Sicherheitslösung für .NET-Entwicklungsteams, sowohl mit umfassender Analyse als auch mit der Berichterstellung, die zum Nachweis der Konformität bei Audits erforderlich ist.

Effiziente Team-Workflows erstellen

Parasoft dotTEST fügt sich nahtlos in den Workflow Ihres Teams ein und verfügt über eine IDE-Integration, die es dem Entwickler ermöglicht, Code vor dem Einstieg in die Quellcodeverwaltung sowie die Befehlszeilenautomatisierung zu validieren, um die Konformität als Teil des CI-Prozesses zu validieren und zu bestätigen. Durch die zentrale Koordination der Konfiguration und Kommunikation der Analyse in IDE und CI kann dotTEST sicherstellen, dass Ihr Team auf derselben Seite ist und so effizient wie möglich arbeitet.

Eine vollständige Sicht auf Qualität mit Aggregation von Qualitätspraktiken

Die statischen Analyseergebnisse von Parasoft dotTEST werden im zentralen Berichts- und Analyse-Dashboard von Parasoft zusammengefasst. Es enthält Daten aus allen Qualitätspraktiken, von der Codeanalyse über Unit-Tests und automatisierte Funktionstests von APIs und Webanwendungen bis hin zur vollständigen Abdeckungsanalyse. Dies bietet nicht nur einen vollständigen Überblick über die Qualität, sondern ermöglicht auch die erweiterte Analyse der Process Intelligence Engine (PIE) von Parasoft, mit deren Hilfe Unternehmen vertrauensvoll beschleunigen können.