Entdecken Sie das TÜV-zertifizierte GoogleTest mit Agentic AI für C/C++-Tests!
Details ansehen »
Weiterführende Inhalte
WEBINAR
Moderne Embedded-Software-Teams stehen unter zunehmendem Druck, Software schneller zu liefern und gleichzeitig höchste Standards in Bezug auf Qualität, Sicherheit und Compliance zu gewährleisten. Da KI-generierter Code, die wachsende Komplexität von C/C++, GPU-beschleunigte Anwendungen und sich weiterentwickelnde Toolchains zum Entwicklungsalltag gehören, benötigen Unternehmen intelligentere und stärker automatisierte Verifizierungs-Workflows, die Entwicklung, Test, Compliance und CI/CD-Pipelines umfassen.
Sehen Sie, wie Parasoft-Experten die neuesten Innovationen in C/C++test und C/C++test CT 2026.1 vorstellen. Anhand praktischer Demonstrationen erfahren Sie, wie KI-gestützte Workflows, verbesserte statische Analyse, erweiterte Standardunterstützung und umfassendere Ökosystemintegrationen Teams dabei helfen, die Produktivität ihrer Entwickler zu steigern, die Softwarequalität zu verbessern und Verifizierungsprozesse zu optimieren. Entdecken Sie, wie ein einheitlicher Verifizierungsansatz die Entwicklung beschleunigt und gleichzeitig die Konformität sicherheitskritischer Software gewährleistet.
Sie werden entdecken:
Diese Version von Parasoft C/C++test und C/C++test CT unterstützt Embedded-Software-Teams bei der Automatisierung der Verifizierung, der Nutzung KI-gestützter Workflows und der nahtloseren Integration von Qualitäts- und Compliance-Aktivitäten in den Entwicklungsalltag. Das Ergebnis ist eine schnellere Bereitstellung sichererer und konformer Software.
Eine der größten Herausforderungen für Entwicklungsteams besteht nicht nur darin, Softwarefehler und Verstöße gegen Programmierrichtlinien zu finden, sondern diese auch effizient zu beheben. Diese Herausforderung verschärft sich mit dem zunehmenden Einsatz KI-gestützter Codegenerierung. KI kann zwar die Entwicklung beschleunigen, der von ihr erzeugte Code ist jedoch nicht immer optimal. konform mit Standards wie MISRA C/C++ oder AUTOSAR C++14, was den Aufwand für die Überprüfung und Behebung von Softwarefehlern erhöht.
Parasoft C/C++test 2026.1 führt KI-gestützte Workflows zur Fehlerbehebung ein, die auf KI-Skills basieren. Diese spezialisierten Funktionen ermöglichen KI-Agenten den strukturierten Zugriff auf Parasoft-Verifizierungsdaten, Richtlinien zu Codierungsstandards und Wissen zur Verifizierung eingebetteter Software. Dadurch können präzisere und konformitätsorientierte Empfehlungen zur Fehlerbehebung gegeben werden.
Da KI Entwicklern hilft, schneller Code zu schreiben, muss die Verifizierung Schritt halten. Anstatt jeden Verstoß manuell zu recherchieren, können Entwickler KI-gestützte Lösungen nutzen, um gezielte Hinweise zur Fehlerbehebung zu erhalten und Code-Aktualisierungsvorschläge zu generieren, während sie gleichzeitig die volle Kontrolle über die Überprüfung und Genehmigung von Änderungen behalten.
Das Ergebnis ist ein geringerer Zeitaufwand für die Behebung von Ergebnissen der statischen Codeanalyse, eine höhere Entwicklerproduktivität, schnellere Code-Reviews und ein größeres Vertrauen in die Leistungsfähigkeit des Entwicklers. Einhaltung der Codierungsstandards.
Mit C/C++test 2026.1 wird der VVSG 2.0-Codierungsstandard unterstützt. Zuordnungen zu Common Weakness Enumerations (CWEs) wurden ebenfalls verbessert. Diese Verbesserungen helfen Teams, Schwachstellen früher zu erkennen, Sicherheitsrisiken besser zu verstehen, die Compliance zu stärken und die Auditbereitschaft zu verbessern.
Dies ist besonders vorteilhaft für Organisationen, die spezifische Sicherheitsanforderungen erfüllen müssen. Teams können Verstöße gegen Codierungsstandards und Sicherheitslücken, die die Compliance beeinträchtigen könnten, leichter identifizieren und gleichzeitig Nachweise für Zertifizierungen und Audits generieren. Die erweiterten CWE-Zuordnungen helfen Teams zu verstehen, wie die Ergebnisse mit bekannten Software-Schwachstellen zusammenhängen. Dies ermöglicht eine bessere Priorisierung der Behebungsmaßnahmen und eine stärkere Angleichung an branchenübliche Sicherheitsbest Practices.
Mit der zunehmenden Verbreitung fortschrittlicher eingebetteter Technologien wie KI und Robotik in Unternehmen wird Software immer häufiger auf CPUs und GPUs verteilt. NVIDIA CUDA ist für viele Hochleistungsanwendungen unverzichtbar geworden. Herkömmliche statische Analysetools stoßen jedoch oft an ihre Grenzen bei den für GPUs spezifischen Programmierstrukturen, was zu ungenauen Ergebnissen oder übersehenen Fehlern führt.
C/C++test 2026.1 erweitert Unterstützung für statische Analyse für CUDA C und C++Dies ermöglicht ein besseres Verständnis der CUDA-Sprache und GPU-spezifischer Programmierkonstrukte. Das Ergebnis sind präzisere Analysen, weniger Zeitaufwand für Fehlalarme und eine bessere Transparenz hinsichtlich Fehlern und Sicherheitslücken in CUDA-Anwendungen.
Unternehmen können nun dieselben Sicherheits- und Qualitätsprüfungsverfahren sowohl für CPU-basierte als auch für GPU-beschleunigte Systeme anwenden und so einen konsistenteren und skalierbaren Verifizierungsprozess schaffen. Dies ist wichtig, da die Nutzung von GPUs in Branchen wie der Automobil-, Luft- und Raumfahrtindustrie sowie der industriellen Automatisierung zunimmt.
Die Komplexität von Softwarecode nimmt tendenziell mit der Zeit zu, was die Wartung erschwert, die Überprüfung aufwändiger macht und das Verständnis beeinträchtigt. Dies stellt auch bei KI-generiertem Code eine Herausforderung dar, da sich die Komplexität ohne Überwachung schnell anhäufen kann.
C/C++test 2026.1 bietet eine neue Funktion zur Berichtserstellung über die Codekomplexität. Teams können detaillierte HTML-Berichte generieren, die Einblicke in die Komplexitätsmetriken der gesamten Codebasis ermöglichen, ohne dass die separate Parasoft DTP-Lösung benötigt wird. Dadurch können Teams potenzielle Problembereiche frühzeitig erkennen, technische Schulden überwachen und fundiertere Entscheidungen hinsichtlich Refactoring treffen.
Diese Transparenz gewinnt bei KI-generiertem Code zunehmend an Bedeutung. Einblick in sowohl von Menschen geschriebenen als auch KI-generierten Code trägt zur langfristigen Sicherstellung der Softwarequalität bei. Diese Berichte können lokal von Entwicklern oder automatisch in CI/CD-Pipelines erstellt werden und ermöglichen so eine kontinuierliche Überwachung während des gesamten Softwareentwicklungszyklus.
Im Laufe der Zeit können sich Unterdrückungen statischer Analysen anhäufen. Viele davon waren zwar zum Zeitpunkt ihrer Hinzufügung berechtigt, doch Codeänderungen, sich weiterentwickelnde Standards und Projektaktualisierungen können sie überflüssig machen. Dies verursacht zusätzlichen Wartungsaufwand und kann das Vertrauen in die Unterdrückungsdatensätze erschweren.
C/C++test 2026.1 bietet eine neue Funktion zur direkten Identifizierung ungenutzter Unterdrückungen in statischen Analyseberichten. Teams können so schnell nicht mehr benötigte Unterdrückungen finden und entfernen und dadurch die Analysekonfigurationen sauber und präzise halten. Dies spart Zeit bei der Verwaltung veralteter Unterdrückungen, erhöht das Vertrauen in die Ergebnisse der statischen Analyse und sorgt für übersichtlichere Nachweise für Audits.
Bei der Evaluierung von Verifikationslösungen ist die Toolchain-Kompatibilität ein entscheidender Faktor für Embedded-Entwicklungsteams. Verifikationswerkzeuge müssen sich nahtlos in bestehende Entwicklungsumgebungen einfügen, ohne zusätzlichen Integrationsaufwand zu erfordern oder die Teams zu zwingen, ihre Softwareentwicklungsmethoden zu ändern.
C/C++test 2026.1 erweitert kontinuierlich die Unterstützung für eine Vielzahl moderner Compiler und Toolchain-Umgebungen. Dies unterstützt Unternehmen bei der Modernisierung ihrer Entwicklungsumgebung und ermöglicht gleichzeitig die Beibehaltung ihrer bestehenden Verifizierungsprozesse. Teams können neuere Compilerversionen einsetzen, zusätzliche Zielarchitekturen unterstützen und Parasoft problemlos in ihre bestehenden Arbeitsabläufe integrieren. Dadurch werden Entwicklungsrisiken reduziert und die Einführung vereinfacht.
C/C++test CT erweitert die Funktionen für sicherheitskritische Entwicklungsteams um strukturelle Codeabdeckung, Rückverfolgbarkeit von Anforderungen und Konformitätsberichte. Es kann mit C/C++test zu einer einheitlichen Verifizierungsstrategie kombiniert werden.
Für die Version 2026.1 erweitert C/C++test CT weiterhin die Unterstützung für die TÜV-Zertifizierung von GoogleTestEs bietet außerdem zusätzliche Unterstützung für moderne Compilerumgebungen wie GCC 12 und 15 sowie Clang 20 und 21, aber auch für bestimmte Compiler von TI und Tasking. Dies trägt dazu bei, den Aufwand und das Risiko bei der Werkzeugqualifizierung zu reduzieren.
Die Erreichung einer modifizierten Bedingungs-/Entscheidungsabdeckung (MC/DC) kann eine Herausforderung sein. Abdeckungslücken zu finden ist oft der einfache Teil; die eigentliche Schwierigkeit besteht darin, zu verstehen, warum sie existieren und wie man Testfälle erstellt, um sie zu schließen.
C/C++test CT 2026.1 erweitert seine KI-gestützten Verifizierungsfunktionen, um viele dieser Aktivitäten zu automatisieren. Es kann nun Analyse der MC/DC-AbdeckungslückenSie identifizieren ungedeckte Bedingungen und Entscheidungsergebnisse, empfehlen fehlende Testvektoren, generieren zielgerichtete Testfälle und unterstützen die Begründung der Testabdeckung. Dadurch verbringen Teams weniger Zeit mit der manuellen Analyse von Berichten, beschleunigen die Testerstellung, verbessern die Konsistenz der Compliance-Nachweise und erreichen die Abdeckungsziele effizienter.
Dies ist besonders wertvoll für Organisationen, die Software nach Standards wie ISO 26262, DO 178C und IEC 61508 entwickeln, wo die MC/DC-Abdeckung von entscheidender Bedeutung ist.
Um Reibungsverluste im Entwicklungsprozess zu reduzieren, werden Verifizierungsfunktionen näher an den Ort der Softwareentwicklung integriert. Der Wechsel zwischen IDEs, Dashboards und Analysetools kann umständlich sein.
Parasoft ist begeistert von seinem Integration mit JetBrains CLionDurch diese Integration können Teams direkt in der CLion IDE auf die statischen Analysefunktionen von Parasoft zugreifen. So lassen sich Fehler, Sicherheitslücken und Verstöße gegen Programmierrichtlinien erkennen, ohne CLion verlassen zu müssen. Die Verifizierung wird Teil des täglichen Entwicklungsablaufs, was zu einer früheren Problemerkennung und -behebung, weniger Kontextwechseln und höherer Produktivität führt.
Diese Integration steht im Einklang mit der KI-Strategie von Parasoft und kombiniert moderne IDE-Workflows mit KI-gestützter Analyse und Behebung, um die Problemlösung zu beschleunigen und gleichzeitig die Qualitäts- und Compliance-Erwartungen zu erfüllen.
Dieses Webinar präsentiert außerdem einen KI-gestützten CI-Workflow, der Fehler in der statischen Codeanalyse automatisch behebt. Sobald ein Entwickler einen Pull Request öffnet, löst die CI-Pipeline eine statische Analyse aus. Werden Fehler gefunden, behebt ein KI-Agent diese automatisch. Der Agent wendet die Korrekturen in einem separaten Branch an und erstellt Commits mit Beschreibungen zur einfachen Überprüfung. Anschließend öffnet er einen weiteren Pull Request, damit der Entwickler die Korrekturen zusammenführen kann.
Dieser Workflow nutzt die auf GitHub verfügbaren C++test-Funktionen. Der Agent kann alle Verstöße oder einen nach dem anderen beheben. In der Demo zeigte sich eine Pipeline, die aufgrund von Verstößen fehlschlug. Der KI-Agent behob diese jedoch erfolgreich und erstellte einen automatischen Korrektur-Pull-Request. Nach dessen Zusammenführung lief die Pipeline erfolgreich durch, was darauf hindeutet, dass der Code fehlerfrei und bereit für die Zusammenführung in den Hauptzweig war.
