Empfohlenes Webinar: MISRA C++ 2023: Alles, was Sie wissen müssen | Zum Video

Embedded

Embedded Software Testing für sichere Anwendungen

Stellen Sie mit den einheitlichen Softwaretestlösungen von Parasoft sicher, dass eingebettete Systeme sicher und zuverlässig sind. Automatisieren Sie die Einhaltung der funktionalen Sicherheit und halten Sie sich an die sich ständig ändernden Codierungsstandards. Gewinnen Sie wertvolle Einblicke in die jüngsten Entwicklungen im IoT und in eingebettete sicherheitskritische Märkte, die den Aufstieg von Softwaretestlösungen vorantreiben.

Reduzieren Sie die Lieferkosten für eingebettete Software

Compliance automatisieren

Automatisieren Sie Ihre Compliance mit funktionalen Sicherheitsstandards und sparen Sie Zeit und Geld. Zu den Standards gehören Automobil (ISO 26262, ISO 21434), Militär/Luft- und Raumfahrt (DO-178B/C), Medizin (IEC 62304), Industrieautomation (IEC 61508) und Eisenbahn (EN 50128).

Test auf Anforderungen

Realisieren und automatisieren Sie Ihre Testfälle mit Parasoft, um Ihre Anforderungen an die Vollständigkeit, Korrektheit und Konsistenz der Funktionen zu überprüfen und zu validieren. Testen Sie Ihre Zielhardware, um die Einhaltung der strengsten Sicherheitsintegritätsstufen zu erreichen.

Nahtlos integrieren

Integrieren Sie Compliance in Ihren bestehenden Entwicklungsprozess und Ihr bestehendes Ökosystem, vom Anforderungsmanagement über die Quellcodeverwaltung bis hin zu IDEs und CI / CD.

End-to-End-Testlösungen für eingebettete Systeme

Eingebettete Software erfordert gründliche Tests in jeder Phase des Softwareentwicklungslebenszyklus, vom System- und High-Level-Design bis hin Unit- und Integrationstests. Parasoft deckt alle Ihre Anforderungen mit einer dedizierten, automatisierten Testlösung für jeden Schritt sowohl in der Verifizierungs- als auch in der Validierungsphase ab, damit Sie Compliance erreichen und qualitativ hochwertige Software in großem Maßstab liefern können. Das V-Modell unten zeigt, wie sich Parasoft-Lösungen in Ihren Entwicklungsprozess integrieren.

 

Sytemimplementierung

STATISCHE ANALYSE C, C++, C#, JAMA, VE.NET:

Rückverfolgbarkeit der Anforderungen über alle Entwurfsphasen hinweg

ÜBERPRÜFUNG & VALIDIERUNG
  • Unit Tests
  • Speicher-Debugging
  • Strukturelle Codeabdeckung
  • Sicherheitstests
  • Fuzz-Tests
  • API-Tests
  • UI-Tests
  • Load Testing
  • Service-Virtualisierung
  • Rückverfolgbarkeit
  • Reporting und Analytik
V Infografik

Embedded Software Testing für sicherheitskritische Branchen

Auf elektronischen Geräten in jeder Branche wird Echtzeitsoftware ausgeführt, die sich zu eingebetteten Systemen entwickelt, die komplex und verbunden sind und aus Sicherheitsgründen zertifiziert werden müssen. Die Testlösungen für eingebettete Software von Parasoft gewährleisten Sicherheit, Zuverlässigkeit und Leistung eingebetteter Anwendungen.

Embedded Software Testing Solutions für jede Branche

Verwenden Sie unsere einheitlichen und automatisierten Softwaretestlösungen für statische Analyse, dynamische Analyse, Komponententests und Codeabdeckung (Anweisung, Zweigstelle, MC / DC und Objektcode), um Ihre branchenüblichen Zertifizierungsanforderungen zu beschleunigen und zu erfüllen.

Sichere und zuverlässige Softwareentwicklung

Parasoft integriert Sicherheit in Ihre eingebettete Software durch automatisierte Code-Analyse und durch Anwendung von Standards wie MISRA C / C ++, CERT C / C ++, AUTOSAR C ++ 14, CWE und OWASP für eine vereinfachte Konformität.

Einhaltung der funktionalen Sicherheitsstandards

Nutzen Sie Parasoft, um Ihre funktionalen Sicherheitsstandards für die Automobilindustrie (ISO 26262, ISO 21434), Militär/Luft- und Raumfahrt (DO-178B/C), medizinische Geräte (IEC 62304), industrielle Automatisierung (IEC 61508) und Bahn (EN 50128) Branchen.

TÜV SÜD Zertifizierungs- und Qualifizierungskit

Parasoft C/C++test ist vom TÜV SÜD für ISO 26262, ISO 21434, IEC 61508, IEC 62304 und EN 50128 zertifiziert. Das Qualification Kit von Parasoft ist für alle Ebenen des Standards DO-178B/C erhältlich.

Verbundene Geräte

Die Testlösungen von Parasoft bieten sowohl eingebettete als auch service-basierte Tests, um zuverlässige, skalierbare und sichere verbundene Geräte oder IoT-Initiativen sicherzustellen.

„MISRA“, „MISRA C“ und das Dreieckslogo sind eingetragene Marken von The MISRA Consortium Limited. ©The MISRA Consortium Limited, 2021. Alle Rechte vorbehalten.

Eingebettete Produktsuite

Parasoft C/C++-Testsymbol

Parasoft C / C ++ test

Ausführen statische Analyse, Unit-Tests und Code-Coverage um hochwertigen C- und C++-Code zu entwickeln, der robust, sicher und konform mit Industriestandards ist.

Parasoft Jtest-Symbol

Parasoft Jtest

Erreichen statische Codeanalyse, Unit-Tests und hohe Codeabdeckung mit JUnit, um die Bereitstellung sicherer und zuverlässiger Java-Anwendungen zu beschleunigen.

Parasoft Insure++-Symbol

Parasoft Insure ++

Automatisch erkennen Laufzeitfehler und Sicherheitslücken B. Speicherbeschädigung, Speicherlecks, Stapelüberläufe und Pufferüberlauf/-unterlauf.

Parasoft dotTEST-Symbol

Parasoft dotTEST

Reduzieren Sie das Risiko der C#- oder VB.NET-Entwicklung im Microsoft-Framework mit tiefe statische Analyse, Sicherheit und Abdeckung für Enterprise- und Embedded-Anwendungen.

Parasoft DTP-Symbol

Parasoft DTP

Verschaffen Sie sich einen vollständigen Überblick über Qualität und Einhaltung von aggregierte Berichte und erweiterte Analysen über Parasoft-Testlösungen hinweg.