Softwareentwicklungstests für medizinische Geräte

Für Unternehmen, die sich darauf konzentrieren, die Risiken von Sicherheitsbedrohungen in ihren medizinischen Geräten zu verringern, fördert der Parasoft C / C ++ - Test sichere Codierungsmuster und hilft Benutzern, die Einhaltung der Sicherheitscodierungsstandards zu erreichen. Die Unterstützung von Parasoft C / C ++ - Tests für Sicherheitscodierungsstandards ist die umfassendste Lösung auf dem Markt mit integrierten Prüfern zur Überprüfung der Einhaltung von Standards wie CERT C, CERT C ++, UL 2900, CWE und anderen. Ein spezielles Compliance-Reporting erleichtert den Stakeholdern das Verständnis des Risikomanagements.

Um die Kosten für die Einhaltung von Codierungsstandards zu senken, ermöglicht das dedizierte Reporting von Parasoft Benutzern detaillierte, dynamische Einblicke in den Compliance-Prozess. Das zentralisierte Berichtssystem von Parasoft hilft Benutzern dabei, die Testergebnisse zu verstehen, indem Codeverletzungen gemäß den Gruppierungen und Kategorisierungen des ursprünglichen Standards analysiert werden.

Die Compliance-Dokumentation, die zum Nachweis der Compliance erforderlich ist, kann automatisch erstellt werden. Die generierten Berichte und Dokumentationen, die dem branchenweit sehr beliebten MISRA 2020-Standard entsprechen, sparen den Teams wertvolle Zeit und steigern die Leistung.

Parasoft C / C ++ test statisches Analysewerkzeug erkennt komplexe laufzeitähnliche Probleme früh in der Entwicklungsphase, indem Ausführungspfade durch den Code analysiert und potenzielle Fehler gefunden werden. Zusätzlich zu mehr als 2200 Regeln und Checkern erleichtert Parasoft Teams die Überprüfung organisationsspezifischer Codierungsrichtlinien mit einem speziellen Editor zum Erstellen benutzerdefinierter Checker, um die mit dem Tool bereitgestellten integrierten Regeln zu erweitern (oder zu ersetzen). Mit Parasoft C/C++test müssen Benutzer keine Skripte schreiben, und organisationsspezifische Programmierrichtlinien können vollständig automatisiert werden, um den manuellen Prozess der Konformitätsprüfung zu ersetzen.

Die praktischen Ansichten und grafischen Editoren des Parasoft C / C ++ - Tests reduzieren den manuellen Aufwand bei der Erstellung und Wartung von Unit-Testfällen mit einem Unit-Test-Framework, das für sicherheitskritische Softwaretests entwickelt wurde. Stubs und Testfälle mit Werten für die Stimulation der getesteten Software können als Quellcode oder mit grafischen Editoren mit Funktionen zur Generierung von Quellcode erstellt werden.

Benutzer können erstellte Testartefakte zusammen mit den Projektdateien speichern und überprüfen. Die Initialisierung der Variablen und Eingabeparameter für die getestete Softwarestimulation erfolgt genauso wie während des Betriebs der Produktionssoftware, wodurch die Methode zuverlässig und robust wird.

Unit-Tests sind viel einfacher und produktiver, wenn sie zusammen mit einem Stubbing- und Mocking-Framework verwendet werden. Das leistungsstarke Modul des Parasoft C / C ++ - Tests zum Erstellen von Stubs und Mocks hilft beim Testen der Fehlerinjektion, verringert die Abhängigkeiten des getesteten Codes und ermöglicht es Benutzern, noch nicht implementierten Quellcode einfach zu stubben.

Der Parasoft C / C ++ - Test kann verwendet werden, um Komponententests auf der Hostplattform, dem Zielprozessorsimulator oder dem eingebetteten Ziel auszuführen. Diese Flexibilität ermöglicht es Entwicklern, Tests häufig innerhalb der IDE und in der CI / CD-Pipeline auszuführen, wo Simulatoren normalerweise mit realer Hardware verwendet werden. Das Testkabel des Parasoft C / C ++ - Tests wurde optimiert, um minimalen zusätzlichen Aufwand für den binären Footprint und die Prozessorzyklen zu verursachen. Spezielle Integrationen mit eingebetteten IDEs und Debuggern machen die Ausführung von Unit-Testfällen reibungslos und automatisiert.

Der Parasoft C / C ++ - Test zeigt die Ergebnisse der Codeabdeckung auf allen Testebenen an, einschließlich Einheit, Integration und System. Es unterstützt alle Abdeckungsmetriken, die normalerweise für die Entwicklung sicherheitskritischer Software erforderlich sind (Anweisung, Verzweigung, MC / DC, Funktion, Aufruf, Pfad, einfache Bedingung, Leitung, Block usw.).

Parasoft-Benutzer verbringen weniger Zeit mit der Analyse der Abdeckungsergebnisse, um Lücken im Testprozess zu finden. Entwickler können die Ergebnisse der Codeabdeckung in IDE mit dynamischen Ansichten überprüfen und die Ergebnisse je nach Metrik, Funktion und Methode oder einem bestimmten Testfall filtern.

Parasoft lässt sich in das Anforderungsmanagementsystem (RMS) des Teams integrieren, um Rückverfolgbarkeitsberichte bereitzustellen, die die Korrelation zwischen Anforderungen und den folgenden Werten anzeigen:

• Quellcode erstellt, um diese Anforderungen zu implementieren.
• Testfälle zum Testen der Anforderungen erstellt.
• Ergebnisse der durchgeführten Tests und Codeabdeckung.

Rückverfolgbarkeitsberichte bieten klare und vollständige Informationen über den Entwicklungsfortschritt. Teams können leicht feststellen, wie viele Anforderungen bereits implementiert wurden und wie gründlich sie getestet werden.

Der Parasoft C / C ++ - Test ist vom TÜV SÜD als geeignet für die Entwicklung sicherheitskritischer Software zertifiziert. Für Projekte mit einem höheren Risiko automatisiert das Qualifizierungskit des Parasoft C / C ++ - Tests einen wesentlichen Teil des Werkzeugqualifizierungsprozesses, reduziert den manuellen Arbeitsaufwand und beseitigt diese Ablenkung von Softwareteams.

Ein spezielles Tool zur Unterstützung der Qualifizierung führt Benutzer durch alle Schritte, die zur Qualifizierung des Tools erforderlich sind. Es automatisiert den Großteil der mühsamen manuellen Arbeit, die zur Qualifizierung des Tools erforderlich ist, einschließlich der Ausführung der Testfälle aus der bereitgestellten umfassenden Testsuite und der Erstellung der Abschlussberichte, die zur Dokumentation des Qualifizierungsprozesses erforderlich sind.