Tag Software_Sicherheit

Flaggschiff C/C++test v 2025.1 bietet wichtige Verbesserungen

– Nahtlose Unterstützung des MISRA C:2025-Standards stärkt die Entwicklung sicherheitskritischer Software und senkt zugleich Kosten und Komplexität der Konformität.
– Der KI-Dokumentationsassistent beantwortet aufgabenbezogene Fragen, um die Einarbeitung zu erleichtern und die Produktivität der Entwickler zu steigern.
– Erweiterte statistische Anwendungssicherheitstests mit nahezu 70 neuen CWE-Prüfungen ermöglichen die schnelle Identifizierung von Schwachstellen und die Optimierung der Gesamtsicherheit.

Monrovia (USA)/Berlin – Juni 2025 – Parasoft, ein weltweit führender Anbieter von KI-gestützten Softwaretestlösungen, setzt mit wichtigen Verbesserungen seiner Flaggschiff-Lösung für statische und dynamische Tests neue Maßstäbe für sicherheitskritische Konformität. Sicherheitskritische Software ist für embedded Systeme unverzichtbar, dadurch ist die Einhaltung neuester Sicherheitsstandards entscheidend. Die neue Version Parasoft C/C++test 2025.1 beschleunigt den Weg zu sichererer, zuverlässigerer und qualitativ hochwertigerer Software und reduziert zugleich Ausfälle in der Praxis, den Konformitätsaufwand und die Supportkosten. Dadurch bleibt Entwickler mehr Zeit, um sich auf das Programmieren, Testen und die Bereitstellung von Mehrwert für ihr Unternehmen zu konzentrieren.

„Mit C/C++test 2025.1 machen wir einen großen Schritt vorwärts, um unsere Kunden dabei zu unterstützen, die steigenden Anforderungen an Sicherheit und moderne Softwareentwicklungsmethoden zu erfüllen“, so Igor Kirilenko, Chief Product Officer bei Parasoft. „Die vollständige Unterstützung von MISRA C:2025, die breitere Sicherheitsabdeckung, die Investitionen in die Google Test-Zertifizierung und die praktische Integration von KI spiegeln das Engagement von Parasoft wider, die umfassendste und zukunftsweisendste Lösung für die C- und C++-Softwareentwicklung bereitzustellen.“

Parasoft C/C++test 2025.1 ist perfekt geeignet, um die strengen Anforderungen stark regulierter Branchen zu erfüllen. Mit der neuesten Version können Entwicklungsteams die Codequalität optimieren und eine zukunftssichere Strategie umsetzen, wie sie von Regulierungsgremien wie MISRA, CWE, AUTOSAR, C++14 und OWASP empfohlen wird.

Support für MISRA C:2025 senkt den Aufwand für die Konformität:
MISRA C:2025 bietet inkrementelle Updates für MISRA C:2023 und reduziert den Konformitätsaufwand weiter, indem veraltete Regeln entfernt und bewährte Programmierverfahren verstärkt werden. Neben Verbesserungen der funktionalen Sicherheit optimieren die neuen Richtlinien Audits und stellen klar, dass KI-generierter Code genauso behandelt werden sollte wie handgeschriebener Code. Parasoft hat die Einhaltung dieser neuesten MISRA-Richtlinien frühzeitig priorisiert, um Zertifizierungen und Audits zu beschleunigen und gleichzeitig das Risiko von Nacharbeiten in späten Phasen, Bußgeldern oder Produktrückrufen zu senken.

KI-Dokumentationsassistent liefert schnelle Antworten:
Parasoft stellt zudem einen KI-Assistenten vor, der durch einfache, aufgabenorientierte Abfragen den schnellen Zugriff auf wichtige Informationen in der Parasoft-Benutzerdokumentation und in Produkthandbüchern ermöglicht. Aufbauend auf praktischen KI-Fortschritten des Unternehmens steigert dieser die Produktivität der Entwickler und verbessert die Benutzerfreundlichkeit von C/C++test. Gleichzeitig wird der Zeit- und Arbeitsaufwand für die Schulung neuer Benutzer im Bereich statischer und dynamischer Tests reduziert. Der neue KI-Dokumentationsagent erhöht nicht nur die Nutzung der Testtools von Parasoft und optimiert den ROI bei der Automatisierung von Softwaretests. Er ergänzt den GenAI-Agenten von Parasoft, der in Microsoft CoPilot integriert ist und sich in Microsoft VS Code einbinden lässt, um Verstöße gegen statische Analysen zu finden und zu beheben.

Höhere Anwendungssicherheit und einfachere Entwicklung nach mehreren Standards:
Um die Codequalität zu verbessern und Software-Schwachstellen zu reduzieren, hat Parasoft die Sicherheitstests von C/C++test 2025.1 um beinahe 70 neue statische Analyseregeln erweitert. Indem sie auf Common Weakness Enumerations (CWEs) abzielen, verbessern sie die Funktionen für statische Anwendungssicherheitstests (SAST) deutlich. Das vereinfacht die Einhaltung von Sicherheitsstandards wie ISO 21434 und IEC 62304, da kritische Schwachstellen wie Speicherbeschädigungen und Logikfehler früh in der Entwicklung erkannt werden, wenn ihre Behebung noch weitaus kostengünstiger ist.
Teams, die zwischen mehreren Programmierstandards wechseln oder diese gleichzeitig anwenden, können nun den frustrierenden Prozess der wiederholten Unterdrückung von Verstößen gegen gleichwertige Regeln vermeiden. Die neue Version erkennt vorhandene Unterdrückungen automatisch und wendet sie auf gleichwertige Regeln in verschiedenen Standards an. Das spart nicht nur Zeit, sondern auch Geld.
Priorität liegt auf dem reibungslosen Übergang zu aktualisierten Standards und die mühelose Einführung des Tools. Neben der automatischen Unterdrückungsfunktion sorgt die erweiterte Compiler-Unterstützung dafür, dass C/C++test 2025.1 problemlos in bestehende Workflows integriert werden kann, ohne dass Kompatibilitätsprobleme auftreten.

GoogleTest-Zertifizierung beschleunigt C++-Unit-Tests:
Parasoft schließt eine wichtige Lücke zwischen Open-Source-Testframeworks und Zertifizierungsanforderungen. Eine zukünftige Version von Parasoft C/C++test CT wird TÜV-zertifizierte GoogleTest-Funktionen unterstützen. Das Whitepaper „GoogleTest Adoption Challenges for Safety-Critical Code“ enthält praktische Optionen, mit denen Teams Agilität und regulatorische Anforderungen in Einklang bringen können.

Weitere Information:
– Webinar zum Download: MISRA C:2025 – Everything you need to know (https://www.parasoft.com/webinar/misra-c-2025/)
– Podcast: Testing 1-2-3 I MISRA C:2025 – What“ news & What AI has to do with it (https://testing1-2-3.buzzsprout.com/1801893/episodes/16952826-misra-c-2025-what-s-new-what-ai-has-to-do-with-it) – mit Michal Rozenau, Projektleiter Softwareentwicklung bei Parasoft und Mitglied der MISRA C- und MISRA C++–Arbeitsgruppe.

Parasoft Corp. (https://www.parasoft.com)

Parasoft unterstützt Unternehmen mit seiner KI-basierten Software-Testplattform und automatisierten Testlösungen dabei, Software in gleichbleibend hoher Qualität zu liefern. Die bewährten Technologien von Parasoft sind auf die Märkte für Embedded-, Enterprise- und IoT-Software ausgerichtet. Sie reduzieren den Zeit-, Arbeits- und Kostenaufwand für die Bereitstellung sicherer, zuverlässiger und konformer Software, indem sie tiefgehende Codeanalysen und Unit-Tests, Web-UI- und API-Tests, Service-Virtualisierung und vollständige Code Coverage in die Delivery-Pipeline integrieren. Durch die Kombination all dieser Elemente bietet das preisgekrönte Reporting- und Analyse-Dashboard von Parasoft einen zentralen Überblick über die Qualität und ermöglicht es Unternehmen, zuverlässige Software zu liefern und in den strategisch wichtigsten Ökosystemen und Entwicklungsinitiativen von heute – Safety, Security, Agile, DevOps und Continuous Testing – erfolgreich zu sein.

Firmenkontakt
Parasoft Corp.
Dirk Giesen
E. Huntington Drive 101
91016 Monrovia, CA
001 (626) 256-3680
www.parasoft.com

Pressekontakt
Agentur Lorenzoni GmbH, Public Relations
Beate Lorenzoni
Landshuter Straße 29
85435 Erding
+49 8122 559 17-0
www.lorenzoni.de

– Als einer der ersten Anbieter unterstützt Parasoft den neuen Standard MISRA C:2025 mit der neuen Version C/C++test 2025.1, die für Mai 2025 geplant ist.
– Mehr funktionale Sicherheit bei gleichzeitiger weniger Kosten, Komplexität und Risiko durch jahrzehntelange Erfahrung bei der Standardkonformität.
– Parasoft C/C++test bietet Entwicklern mehr Flexibilität und automatisierte Einhaltung von Standardänderungen und Best Practices in der Programmierung.

Monrovia (USA)/Berlin, März 2025 – Parasoft, ein weltweit führender Anbieter von KI-automatisierten Softwaretestlösungen, Parasoft, ein weltweit führender Anbieter von AI-basierten Softwaretestlösungen, beschleunigt die Markteinführung seiner Lösung C/C++test 2025.1, die den kürzlich veröffentlichten Programmierstandard MISRA C:2025 erfüllt. Aufbauend auf jahrzehntelanger MISRA-Konformität treibt Parasoft als aktives Mitglied der MISRA C- und MISRA C++-Arbeitsgruppen die Entwicklung sicherheitsorientierter und sicherheitskritischer Software weiter voran.
„Unser Ziel ist es, Softwareentwickler bei der Einhaltung der neuesten MISRA-Richtlinien zu unterstützen, um die die Bereitstellung von sicherem und zuverlässigem Code zu optimieren“, sagt Igor Kirilenko, Chief Product Officer bei Parasoft. „Wir sind einer der ersten Anbieter von Software-Testlösungen, die MISRA C:2025 unterstützen. Damit geben wir unseren Kunden mehr Vertrauen in ihre Fähigkeit, die Softwarequalität in einer Zeit des ständigen technologischen Wandels zu verbessern.“

Weniger Aufwand für die Einhaltung von Standards, weniger Sicherheitsrisiken
Parasoft C/C++2025.1 wird voraussichtlich im Mai 2025 verfügbar sein. Die Lösung wird einen nahtlosen Übergang zu den neuesten MISRA-C-Richtlinien gewährleisten und damit den Aufwand für die Einhaltung von Standards verringern und die Komplexität reduzieren. Kunden in stark regulierten Branchen wie der Automobil-, Luftfahrt- und Verteidigungsindustrie, der Medizintechnik, der Industrieautomation und der Bahnindustrie profitieren von der frühzeitigen Möglichkeit, Quellcode in Übereinstimmung mit den neuesten MISRA-Regeln zu entwickeln.

MISRA C:2025 zielt darauf ab, den Aufwand für die Einhaltung der Vorschriften zu reduzieren, indem veraltete Regeln entfernt und bewährte Programmierverfahren gestärkt werden. Insbesondere die funktionale Sicherheit wird durch strengere Regeln für Verknüpfungen und Zeiger verbessert, wodurch das Risiko undefinierten Verhaltens verringert wird. Darüber hinaus erhalten Entwickler mehr Flexibilität bei der Beendigung von Switch-Klauseln (z.B. Return, Continue), wodurch Audits optimiert und zeitaufwändige Nacharbeiten vermieden werden können.

Zukunftssichere Standards angesichts der Zunahme KI-gestützter Tools
Durch die beschleunigte Implementierung des neuen Standards MISRA C:2025 hilft Parasoft seinen Kunden, kostspielige Produktionsverzögerungen und Strafen wegen Nichteinhaltung zu vermeiden. In sicherheitskritischen Branchen ist die frühzeitige Einhaltung der neuesten MISRA-Richtlinien von entscheidender Bedeutung, insbesondere im Hinblick auf den Einsatz von KI-basierten Tools. Die neuesten MISRA-Richtlinien beseitigen beispielsweise Unklarheiten bezüglich des Status von KI-generiertem Code, indem sie klarstellen, dass dieser genauso zu behandeln ist wie handgeschriebener Code.

Ganzheitlicher Ansatz für MISRA C:2025 Konformität
Parasoft C/C++test vereinfacht die Konformität mit vielen Standards für funktionale Sicherheit, Zuverlässigkeit und Programmierung, einschließlich des neuen MISRA C:2025. Die vollständige Abdeckung der MISRA-Richtlinien gewährleistet eine kompromisslose Konformität, während die nahtlose Integration in CI/CD-Workflows den Entwicklern direkt umsetzbares Feedback liefert.
Die neueste Parasoft-Erweiterung für VS Code verwendet GenAI, um die Behebung von Verstößen gegen MISRA und andere Standards zu unterstützen. Mit einem einzigen Klick können Entwickler auf eine situationsspezifische Erklärung der Verstöße und einen Vorschlag zur Fehlerbehebung zugreifen, der den fehlerhaften Code automatisch ersetzt.
Darüber hinaus bietet Parasoft DTP MISRA C:2025-spezifische Konformitätsberichte, die die Code-Zertifizierung optimieren. Die webbasierten Berichte liefern Updates über den Fortschritt des Konformitätsprozesses. Die Verfügbarkeit dieser Berichte, einschließlich Guideline Enforcement Plan, Recategorization Plan, Deviation Report und der Compliance Summary, reduziert den Auditaufwand und vermeidet Stress.

Michal Rozenau, aktives Mitglied der MISRA C und MISRA C++ Arbeitsgruppe und Projektleiter bei Parasoft, wird im „Testing 1-2-3“ Podcast am 9. April, (https://feeds.buzzsprout.com/1801893.rss)die neuesten MISRA C:2025-Regeln und ihre Auswirkungen erläutern.
Parasoft Corp. (https://www.parasoft.com)

Parasoft unterstützt Unternehmen mit seiner KI-basierten Software-Testplattform und automatisierten Testlösungen dabei, kontinuierlich qualitativ hochwertige Software zu liefern. Die bewährten Technologien von Parasoft, die den Embedded-, Enterprise- und IoT-Markt unterstützen, reduzieren den Zeit-, Arbeits- und Kostenaufwand für die Bereitstellung sicherer, zuverlässiger und konformer Software, indem sie alles in die Auslieferungspipeline integrieren, von tiefer Codeanalyse und Unit-Tests bis hin zu Web-UI- und API-Tests sowie Service-Virtualisierung und vollständiger Codeabdeckung. Das preisgekrönte Reporting- und Analyse-Dashboard von Parasoft bietet einen zentralen Überblick über die Qualität und ermöglicht es Unternehmen, mit Zuversicht zu liefern und in den strategisch wichtigsten Ökosystemen und Entwicklungsinitiativen von heute erfolgreich zu sein: Security, Safety-Critical, Agile, DevOps und Continuous Testing.

Firmenkontakt
Parasoft Corp.
Dirk Giesen
E. Huntington Drive 101
91016 Monrovia, CA
001 (626) 256-3680
www.parasoft.com

Pressekontakt
Agentur Lorenzoni GmbH, Public Relations
Beate Lorenzoni
Landshuter Straße 29
85435 Erding
+49 8122 559 17-0
www.lorenzoni.de