Parasoft-Logo

Entdecken Sie das TÜV-zertifizierte GoogleTest mit Agentic AI für C/C++-Tests!
Details ansehen »

Weißer Bannerhintergrund mit grüner abstrakter Welle auf der rechten Seite

Embedded C-Laufzeitanalyse

Unterstützt von Parasoft C / C ++ Test, der umfassendsten Lösung für Entwicklungstests für C und C ++

Laufzeitanalyse für Embedded C-Anwendungen

Die Laufzeitfehlererkennung von C/C++test ermöglicht es Teams, schwerwiegende Laufzeitfehler wie Speicherlecks, Nullzeiger, nicht initialisierten Speicher und Pufferüberläufe automatisch auf Unit- oder Anwendungsebene zu identifizieren.

Die Anpassungsfähigkeit dieser Funktion ermöglicht die Laufzeit-Speicheranalyse für Teams, die mit nicht standardmäßigen Speicherverwaltungsmodellen arbeiten, wie sie beispielsweise in eingebetteten Systemen vorkommen. Da die für diese Analyse verwendete Instrumentierung ressourcenschonend ist, kann sie auf dem Zielsystem, im Simulator oder auf dem Host für eingebettete Tests ausgeführt werden.

Die erfassten Probleme werden dokumentiert und enthalten alle Details, die zum Verständnis und zur Behebung erforderlich sind, darunter Speicherblockgröße, Array-Index, Stack-Trace der Speicherbelegung/Speicherfreigabe usw. Die Abdeckungsmetriken werden erfasst, um Ihnen zu helfen, den Umfang Ihrer Testbemühungen zu messen und zu erweitern.

Wie funktioniert er?

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.

Profitieren Sie vom Parasoft-Ansatz

Identifizieren Sie frühzeitig echte Fehler und Sicherheitslücken.

Durch die Überwachung der Laufzeitausführung einer eingebetteten Anwendung in ihrer ursprünglichen Umgebung unterstützt Parasoft Sie bei der Aufdeckung realer Fehler während Unit- und Integrationstests. Dies ist von entscheidender Bedeutung, da Laufzeitfehler in eingebetteten Umgebungen oft schwer auf einer Host-Plattform – und auch auf Zielplattformen – zu reproduzieren sind.

Fehlerursachen verstehen, um Probleme zu vermeiden

Durch die Korrelation von Laufzeitfehlern mit statischen Analyseergebnissen ermöglicht Parasoft den Nutzern, die Ursache von Fehlern zu ermitteln. Dies unterstützt Teams dabei, präventive Maßnahmen im gesamten Quellcode anzuwenden, um weitere versteckte Fehler aufzudecken und deren Auftreten in Zukunft zu reduzieren.

Weitere Fehler beim Unit-Test finden

Unit-Tests sind eine unerlässliche Testmethode, um sicherzustellen, dass der Code unter Bedingungen wie erwartet funktioniert, die sich im fertigen Zustand der Anwendung nur schwer oder gar nicht reproduzieren lassen. C/C++test ermöglicht die Laufzeitanalyse während der Ausführung von Unit-Tests, um Laufzeitprobleme aufzudecken, die im Code verborgen sind und sich in der Vorproduktionsumgebung nicht ohne Weiteres reproduzieren lassen.

Bild von zwei Männern und einer Frau, die sich unterhalten, lächeln und auf einen Computerbildschirm schauen.

Liefern Sie sicheren, zuverlässigen und konformen C- und C++-Code mit Parasoft C/C++test.

Kostenlos Ausprobieren