Analyse des statischen C / C ++ - Codes

Der Parasoft C / C ++ - Test erkennt zu Beginn der Entwicklungsphase komplexe laufzeitähnliche Probleme - ohne dass kostspielige Laufzeitprüfungen durchgeführt werden müssen. Der C / C ++ - Test analysiert die Ausführungspfade durch den Code und findet mögliche Probleme (z. B. Nullzeiger-Dereferenzierung, Division durch Null, Speicherlecks) und Sicherheitslücken (z. B. fehlerhafte Datendatei, Pufferüberläufe, Befehlsinjektion, SQL-Injektion).

Parasoft C/C++test bietet einen Satz integrierter C/C++-Codeprüfer (Regeln) zur Überprüfung der Einhaltung von Standards wie MISRA C 2023, MISRA C 2012, MISRA C++ 2023, MISRA C++ 202x, JSF AV C++, SEI CERT C /C++, AUTOSAR C++14, HIC++ und mehr. Eine solche Analyse wird empfohlen/erforderlich für regulierte Branchen (Automobil, Medizin, Luftfahrt usw.), die Entwicklung funktionaler Sicherheit (mit Standards wie ISO 26262, IEC 61508 oder DO-178C) und Sicherheit (SEI CERT C/C++, CWE, OWASP) . Parasoft Compliance Packs bieten Benutzern branchenspezifische Konfigurationen sowie dynamische Dashboards für Compliance-Berichte, damit die Beteiligten den Fortschritt leicht verstehen können.

Mit dem C / C ++ - Test können Benutzer unternehmensspezifische oder teamspezifische Richtlinien und Codierungsstandards mit ihrem speziellen Editor zum Erstellen benutzerdefinierter Regeln (Prüfer) überprüfen, sodass Benutzer die mit C / C + bereitgestellten integrierten Regeln erweitern (oder ersetzen) können + Test, ohne irgendwelche Skripte zu schreiben.

Während der statischen Analyse von C / C ++ gesammelte Codemetriken bieten weitere Einblicke in die Codequalität und helfen Ihnen, Fehler zu beseitigen. Diese Metriken werden auf der Ebene der Granularität pro Einheit und Build gesammelt und analysiert. Teams können diese Informationen verwenden, um auf zu komplexen Code mit hohem Risiko zuzugreifen, beispielsweise als Kandidaten für bessere Tests oder Refactoring.

Die Ergebnisse der statischen Code-Analysetools des C / C ++ - Tests können im dynamischen Berichts-Dashboard von Parasoft angezeigt werden. Dies ermöglicht eine automatisierte Nachbearbeitung und erweiterte Berichtsstrategien unter Verwendung historischer Daten. Es ist einfach, die Ergebnisse des statischen Analysators über Builds hinweg im Laufe der Zeit anzuzeigen, selbst wenn Sie mit großen Codebasen und Legacy-Code arbeiten, bei denen die Sichtbarkeit des Codes normalerweise schwierig ist, sodass Sie sich schnell auf die Qualität des neu hinzugefügten Codes konzentrieren können.

Mit Widgets, die die Einhaltung eines bestimmten Codierungsstandards automatisch verfolgen, erhalten Benutzer einen dynamischen Überblick über den Compliance-Prozess und können problemlos automatische Berichte für Code-Audits erstellen.

Parasoft ist nicht nur für die Verwendung in sicherheitskritischen Projekten von TÜV SÜD unabhängig zertifiziert, sondern berechtigt auch zur Verwendung statischer C / C ++ - Analysetools ohne weiteren Qualifizierungs- / Validierungsaufwand Qualifikationskits die weit über die einfache Dokumentation hinausgehen und den Zeit- und Arbeitsaufwand für die Werkzeugqualifizierung für Standards wie ISO 26262, DO-178C, IEC 61508, IEC 62304 und EN 50128 drastisch reduzieren.

Eine einheitliche Testlösung bedeutet, dass nur ein Anbieter betroffen ist. Die Qualifizierungskits von Parasoft bieten eine zertifizierbare und qualifizierbare Test-Tool-Suite, die das Risiko sicherheitskritischer Tests und Qualifizierungen verringert und gleichzeitig Zeit spart, da nur eine einzige Lösung für mehrere Testverfahren qualifiziert werden muss.