Entdecken Sie das TÜV-zertifizierte GoogleTest mit Agentic AI für C/C++-Tests!
Details ansehen »
Unterstützt durch Parasofts umfassendste Entwicklungstestlösung für C und C++
C/C++test und C/C++test CT liefern präzise Abdeckungsanalysen für C- und C++-Systeme über Unit-, Integrations- und Systemtests hinweg und ermöglichen es Teams, ungetestete Bereiche zu identifizieren, die Vollständigkeit der Verifizierung zu verbessern und auditfähige Nachweise für regulierte Umgebungen zu erstellen.
C/C++-Test-CT Erweitert GoogleTest und andere Unit-Testing-Frameworks um die Codeabdeckung.
Die Lösungen unterstützen Entwicklungsabläufe, die von nativen Desktop-Anwendungen bis hin zu tief eingebetteten Systemen reichen, und eignen sich daher sowohl für moderne softwaredefinierte Systeme als auch für ressourcenbeschränkte Geräte.
Die strukturelle Codeabdeckung misst, welche Teile der internen Programmstruktur (z. B. Anweisungen, Verzweigungen, Master-/Delay-Code) während des Testens ausgeführt werden. Durch die Instrumentierung der Anwendung zeichnet die Abdeckungsanalyse auf, welcher Code von den Testfällen ausgeführt wird. Diese Informationen helfen Teams, die Gründlichkeit der Tests zu bewerten und noch nicht verifizierte Codeabschnitte zu identifizieren.
Die Testabdeckung gibt nicht Aufschluss darüber, ob sich die Software korrekt verhält. Sie liefert objektive Belege dafür, dass die Software über relevante Ausführungspfade hinweg getestet wurde.
Bei sicherheitskritischen Systemen sind diese Nachweise oft erforderlich, um die Vollständigkeit der Verifizierung zu belegen und die Wahrscheinlichkeit zu verringern, dass latente Fehler unentdeckt bleiben.
Die strukturelle Codeabdeckung bietet die notwendige Transparenz, um zu verstehen, wie gründlich die Software getestet wurde und wo zusätzliche Tests erforderlich sind. Durch die Bereitstellung präziser Metriken, effizienter Instrumentierung und auditfähiger Berichte für verschiedene Plattformen ermöglicht Parasoft Unternehmen, Vertrauen in ihre Verifizierungsaktivitäten und ihre Zertifizierungsbereitschaft aufzubauen.
Die strukturelle Testabdeckung verbessert die Testergebnisse, indem sie die getesteten Softwareteile aufzeigt. Sie ersetzt jedoch nicht die funktionale Verifikation. Hohe Testabdeckungsgrade deuten darauf hin, dass Tests viele Codepfade durchlaufen haben; dennoch ist ein aussagekräftiges Testdesign erforderlich, um korrektes Verhalten zu validieren. Die Abdeckungsanalyse hebt ungetestete Bereiche hervor, unterstützt Teams bei der Entwicklung effektiverer Teststrategien und stellt sicher, dass kritische Logik nicht übersehen wird.
Die Lösungen von Parasoft zur Strukturabdeckung werden in einer Vielzahl missions- und sicherheitskritischer Systeme eingesetzt, darunter elektronische Steuergeräte für Kraftfahrzeuge, Avionik-Software, Medizingeräte, industrielle Automatisierungsplattformen, Verteidigungssysteme und autonome Technologien. In diesen Kontexten ist die Möglichkeit, Tests an der Zielhardware zu messen und nachzuweisen, sowie deren Gründlichkeit sowohl für die Gewährleistung der Sicherheit als auch für die behördliche Zulassung unerlässlich.
