Laufzeitanalyselösung – Zuverlässigkeit verbessern

KI-gesteuertes Testen ist jetzt noch intelligenter. Entdecken Sie SOAtest 2025.1. >>

C / C ++ - Laufzeitanalyse

Screenshot des Hauptmenüs der Parasoft C/C++Test-Produkttour.

Laufzeitanalyse für Embedded C-Anwendungen

Parasoft C/C++test findet Laufzeitfehler, Stabilitätsprobleme und Sicherheitslücken wie Speicherlecks, Nullzeiger, nicht initialisierten Speicher und Pufferüberläufe, indem es die Laufzeit beim Ausführen einer hostbasierten oder eingebetteten Anwendung oder einer ausführenden Einheit überwacht in C geschriebene Tests. Die Laufzeitkomponente ist extrem leichtgewichtig und benötigt nur wenig zusätzlichen Code und Datenspeicher. Dies ist ideal für Anwendungsfälle in der Automobilindustrie, um die ISO 21434-Cybersicherheitsanforderungen zu erfüllen, die blinde Flecken in Straßenfahrzeugsoftware aufdecken.

Wie funktioniert es?

Der Parasoft C / C ++ - Test instrumentiert automatisch die Codebasis einer Anwendung, um die Überwachung zu aktivieren, wenn die Anwendung ausgeführt wird, und um schwerwiegende Fehler, Stabilitätsprobleme und Sicherheitslücken zu identifizieren, wie z.

Speicherlecks
Speicherbeschädigung
Nicht initialisierten Speicher lesen
Zugriff auf den Speicher mit einem Zeiger außerhalb des Bereichs (z. B. Pufferüberlauf)
Zugriff auf den Speicher mit einem Nullzeiger
Verwenden von free () für einen ungültigen Zeiger

Die Laufzeitanalyse des Parasoft C / C ++ - Tests bietet vordefinierte Testkonfigurationen, um sowohl native als auch eingebettete Anwendungen mit Speicherzuordnungen im C-Stil (malloc / free) zu unterstützen. Die Laufzeitanalyse kann sowohl während des Komponententests durchgeführt werden, um bestimmte Szenarien und Ausführungspfade zu validieren, als auch während des Funktionstests, um die vollständig integrierte Anwendung zu überwachen.

Fehler, die während des Laufzeittests gefunden wurden, können direkt in der IDE des Entwicklers dargestellt und mit anderen Testergebnissen und Qualitätsmetriken wie Codeabdeckung oder korreliert werden Ergebnisse der statischen Analyse von Parasoft C/C++test, damit der Benutzer sich ein vollständiges Bild der getesteten Anwendung machen kann, was es einfacher macht, die Grundursache von Laufzeitfehlern zu verstehen.

Demo anfordern Nehmen Sie eine Tour

Eigenschaften

Profitieren Sie vom Parasoft-Ansatz

Erkennen Sie echte Fehler und Sicherheitslücken frühzeitig während des Unit- und Integrationstests in der ursprünglichen eingebetteten Laufzeitumgebung

Laufzeitfehler in eingebetteten Umgebungen sind auf einer Hostplattform oft schwer zu reproduzieren (und auf Zielplattformen oft auch schwierig). Durch die Überwachung der Laufzeitausführung einer eingebetteten Anwendung in der ursprünglichen eingebetteten Laufzeitumgebung hilft Parasoft Ihnen, reale Fehler in Ihrer Software aufzudecken.

Verstehen Sie die Grundursache von Fehlern für einen vorbeugenden Ansatz

Durch die Korrelation von Laufzeitfehlern mit statischen Analyseergebnissen bietet Parasoft Benutzern die Möglichkeit, die Hauptursache von Fehlern zu verstehen und zu identifizieren. Auf diese Weise können Teams vorbeugende Verfahren in der gesamten Codebasis anwenden, um zusätzliche versteckte Fehler aufzudecken und das Auftreten von Fehlern in Zukunft zu reduzieren.

Weitere Fehler beim Unit-Test finden

Unit-Tests sind eine wichtige Testpraxis, um sicherzustellen, dass Ihr Code unter Bedingungen, die bei vollständiger Zusammenstellung der Anwendung nur schwer oder gar nicht reproduzierbar sind, wie erwartet funktioniert. Mit dem Parasoft C / C ++ - Test können Sie die Laufzeitanalyse während der Ausführung von Komponententests nutzen, um Laufzeitprobleme aufzudecken, die in der Anwendung vergraben sind und die Sie in Ihrer Vorproduktionsumgebung nicht einfach reproduzieren können.