Empfohlenes On-Demand-Webinar: Beschleunigen Sie die Software-Compliance mit KI Jetzt ansehen >>
Avionics-Software erfordert absolute Sicherheit und Zuverlässigkeit. Seit über 30 Jahren unterstützt Parasoft Unternehmen bei der Einhaltung strenger Standards durch erforderliche Best Practices wie Unit-Tests, Strukturcode-Abdeckung, Objektcode-Abdeckung, Softwaremetriken, statische Code-Analyse und Berichterstellung zur Rückverfolgbarkeit von Anforderungen. In der Zivilluftfahrt verlassen sich Organisationen auf DO-178C (für kommerzielle softwarebasierte Luft- und Raumfahrtsysteme) und DO-278 (für softwarebasierte Systeme für Kommunikation, Navigation, Überwachung und Flugverkehrsmanagement). In der Militär- und Verteidigungsindustrie, in der es keine strengen Zertifizierungsspezifikationen gibt, melden sich einige Organisationen freiwillig zur Anpassung der DO-178/278-Standards als bewährter Weg zu ausreichender Sicherheit für erstellte Software. Parasoft bietet eine integrierte Lösung, mit der Unternehmen die strengen Anforderungen erfüllen können DO-178-Standards.
Sicherheit wird zu einem ernsten Problem für die Luft- und Raumfahrt sowie die Verteidigungsavionik. Die Gefahr böswilliger Eingriffe in die Software eines fliegenden Flugzeugs ist ein reales Szenario, das Entwicklungsteams in einem vom Terrorismus geprägten Zeitalter vorhersagen und verhindern müssen. Die sicherheitsorientierte Lösung von Parasoft ermöglicht es Teams, das kritische Feedback zu erhalten, das erforderlich ist, um sicherzustellen, dass robuste und sichere Software auf den Markt gebracht wird.
Angesichts der wachsenden Komplexität von Avioniksystemen können Unternehmen Codierungsstandards verwenden, um die Erstellung von sicherem Code sicherzustellen, sowie zusätzliche Softwareentwicklungs- und Testpraktiken, die durch die in der Luft- und Raumfahrt sowie in der Verteidigung verwendeten Regulierungsstandards vorgeschrieben sind. Parasoft unterstützt Teams mit diesen erforderlichen Techniken, wie z. B. modellbasierter Entwicklung, anforderungsbasierten Tests, Einheiten- und Integrationstests sowie Überwachung der Code- oder Baugruppen- / Objektcodeabdeckung.
Das Befolgen aller Empfehlungen aus regulatorischen Standards erfordert ein Framework, das aus mehreren Softwaretools besteht, die Informationen austauschen können, um beispielsweise Berichte und Dokumentationen zu erstellen. Anstatt zu versuchen, verschiedene unabhängige Softwaretools zu integrieren, was oft zu einem Albtraum wird und wertvolle Zeit für die Entwicklung von Kernprodukten benötigt, können Unternehmen die einheitlichen Tools des Parasoft C / C ++ - Tests nutzen, die mit dem Gesamtbild erstellt wurden Verstand. Der Parasoft C / C ++ - Test kann in den komplexesten Projekten eingesetzt werden.
Die Software-Konformität für Flugzeuge beginnt mit Software-Engineering-Standards und Best Practices, ergänzt durch Spezifikationen für die Flugzeugzertifizierung. Parasoft C / C ++ Test ist ein integriertes Toolkit für die Entwicklung und das Testen von C und C ++, das eine breite Palette von Best Practices unterstützt, die nachweislich die Sicherheit und Zuverlässigkeit von Software in der Avionik verbessern.
Der Parasoft C / C ++ - Test automatisiert die statische Analyse von C und C ++ sowie das Testen von Einheiten / Komponenten auf Host und Ziel mit einer umfassenden Codeabdeckung, die mehrere Ebenen von unterstützt DO-178B / C.. In der statischen Analyse ist eine integrierte Unterstützung für alle gängigen Standards enthalten, die in Luftfahrtsoftware verwendet werden, wie z MISRA C und JSF AV C ++.
Parasoft hilft Unternehmen dabei, die Einhaltung von DO-178B / C zu erreichen. Dies erfordert ausdrücklich, dass der erstellte Quellcode den Softwarecodestandards (DO-178C, 5.3.2.b) entspricht. Alle Organisationen, die DO-178C einhalten möchten, müssen die Einhaltung der Codestandards nachweisen.
Zu diesem Zweck hilft der Parasoft C / C ++ - Test den Teams, die Einhaltung mehrerer Codierungsstandards zu erreichen und die Codequalität zu verbessern. Der Parasoft C / C ++ - Test bietet eine Reihe integrierter Prüfer (Regeln) zur Überprüfung der Einhaltung von Standards wie JSF, MISRA C 2012, MISRA C ++ 2008, AUTOSAR C ++ 14 und HIC ++.
„MISRA“, „MISRA C“ und das Dreieckslogo sind eingetragene Marken von The MISRA Consortium Limited. ©The MISRA Consortium Limited, 2021. Alle Rechte vorbehalten.
Der Parasoft C / C ++ - Test hilft Unternehmen dabei, sichere Codierungsmuster zu fördern und die Einhaltung der Sicherheitscodierungsstandards zu erreichen. Der C / C ++ - Test bietet den umfassendsten Satz integrierter Prüfer (Regeln) auf dem Markt zur Überprüfung der Einhaltung von Standards wie CERT C, CERT C ++, UL 2900 und CWE.
Der Parasoft C / C ++ - Test erkennt komplexe laufzeitähnliche Probleme zu Beginn der Entwicklungsphase, indem Ausführungspfade durch den Code analysiert und potenzielle Fehler gefunden werden. Zusätzlich zu mehr als 2200 Regeln und Prüfern erleichtert Parasoft den Teams das Überprüfen organisationsspezifischer Codierungsrichtlinien. Ein spezieller Editor zum Erstellen benutzerdefinierter Prüfer erweitert (oder ersetzt) die im Tool enthaltenen integrierten Regeln. Mit dem Parasoft C / C ++ - Test müssen Benutzer keine Skripte schreiben, und organisationsspezifische Codierungsrichtlinien können vollständig automatisiert werden, um den manuellen Prozess der Konformitätsprüfung zu ersetzen.
DO-178C listet Unit-Tests nicht explizit als erforderliche Testmethode auf. Die Norm verlangt jedoch, dass eine Testabdeckung mit geringen Anforderungen erreicht wird (DO-178C 6.4.4.b). In den meisten Fällen ist das Testen von Einheiten der praktischste Weg, um dieses Ziel zu erreichen.
Der C / C ++ - Test reduziert den Aufwand für die Erstellung und Wartung von Unit-Testfällen, indem der Umfang der erforderlichen Skripte reduziert und praktische Ansichten und grafische Editoren bereitgestellt werden, um den Prozess zu vereinfachen.
Das Design des Unit-Testing-Frameworks von C ++ test wurde unter Berücksichtigung sicherheitskritischer Softwaretests erstellt. 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 für einen überlegenen Ansatz genauso wie während des Betriebs der Produktionssoftware.
Mit dem C / C ++ - Test können Komponententests auf der Hostplattform, dem Zielprozessorsimulator oder dem eingebetteten Ziel ausgeführt werden. Diese Flexibilität ermöglicht es Entwicklern, Tests häufig in ihrer IDE und in der CI / CD-Pipeline auszuführen, wo Simulatoren normalerweise sowie mit realer Hardware für DO-178C-Konformitätszwecke 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.
Unit-Tests werden viel einfacher und produktiver, wenn sie zusammen mit einem Stubbing / Mocking-Framework verwendet werden können. Das leistungsstarke Modul des Parasoft C / C ++ - Tests zum Erstellen von Stubs und Mocks kann bei der Fehlerinjektion oder beim Testen der Robustheit (DO-178C 6.4.2.2) helfen, Abhängigkeiten des getesteten Codes verringern oder einfach noch nicht implementierten Quellcode einfach stubben .
DO-178C erfordert ausdrücklich das Erreichen einer Testabdeckung der Softwarestruktur (DO-178C 6.4.4.c), um dem Standard zu entsprechen. Parasoft C / C ++ test unterstützt alle für DO-178C erforderlichen Abdeckungsmetriken (Anweisung, Verzweigung, MC / DC) und mehr (Pfad, einfache Bedingung, Zeile, Block, Funktion, Aufruf). Das Tool zeigt Ergebnisse der Codeabdeckung auf allen Testebenen, einschließlich Tests auf Einheiten-, Integrations- und Systemebene.
Der Parasoft C / C ++ - Test reduziert die Zeit, die erforderlich ist, um die Abdeckungsergebnisse zu analysieren und die 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 / Methode oder spezifischem Testfall filtern.
Das Assembly Coverage Tool (ASMTool) von Parasoft erfüllt die Empfehlungen des ausführbaren Objektcodes von DO-178B / C Level A. Mit geringem Aufwand kann ASMTool strukturelle Abdeckungsberichte aus dem ausführbaren Objektcode erstellen. Die strukturelle Abdeckung wird mit leicht überprüfbaren Einblicken in vom Compiler generierten Code gemeldet, der nicht direkt auf Quellcode-Anweisungen zurückgeführt werden kann. Es verfolgt auch switch-Anweisungen und bietet einen vollständigen Einblick in die Testausführungspfade auf der Ebene der Maschinensprachenanweisungen.
ASMTool unterstützt auch das Sammeln von Structural Coverage sowohl aus dem Software-Integrationsprozess (Zielhardwaretest) als auch aus der Desktop-Entwicklungsumgebung (Parasoft C / C ++ test für Unit-Tests).
Mithilfe des Berichts zur Rückverfolgbarkeit der Anforderungen von Parasoft C / C ++ - Tests können Unternehmen die Einhaltung von DO-178C erreichen, in dem anforderungsbasierte Tests explizit als Ziel aufgeführt sind (DO-178C 6.4.4.1). Parasoft lässt sich in das Anforderungsmanagementsystem des Teams integrieren, um Rückverfolgbarkeitsberichte bereitzustellen, die die Korrelation zwischen Anforderungen und Anforderungen anzeigen
wie folgt vor:
● Quellcode, der zur Implementierung dieser Anforderungen erstellt wurde.
● Testfälle, die zum Testen der Anforderungen erstellt wurden.
● Ergebnisse der durchgeführten Tests und Ergebnisse der Codeabdeckung.
Rückverfolgbarkeitsberichte bieten klare und vollständige Informationen über den Entwicklungsfortschritt, und Teams können leicht feststellen, wie viele Anforderungen bereits implementiert wurden und wie gründlich sie getestet werden.
DO-178C führt 5 Softwareebenen (SLs) A bis E ein. Die Softwareebene für ein System wird während des Sicherheitsbewertungsprozesses basierend auf dem Fehlerzustand bestimmt, der sich aus dem anomalen Verhalten der Software ergeben kann. Software-Level A stellt das strengste Level mit den strengsten Praktiken dar, die für die Entwicklung und das Testen von Software für die Luft- und Raumfahrt erforderlich sind.
Zur Unterstützung der Werkzeugqualifizierung gemäß DO-178C / DO-330 wird der Parasoft C / C ++ - Test mit einem speziellen Qualifizierungskit unterstützt, das den Werkzeugqualifizierungsprozess automatisiert und die Benutzer durch alle Schritte führt, die zur Durchführung der Qualifizierung und Erstellung erforderlich sind notwendige Dokumentation. Ein spezielles Tool zur Unterstützung der Qualifizierung 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.
Reduzieren Sie die Kosten für die Entwicklung hochwertiger Software, ohne die Markteinführungszeit zu beeinträchtigen.
Anstelle mehrerer fragmentierter Lösungen erfüllt der Parasoft C / C ++ - Test mehrere von DO-178C geforderte Softwaretestmethoden, einschließlich der Objektcodeabdeckung. Die Vollständigkeit der Parasoft-Lösung führt zu einem geringeren Lern- und Einrichtungsaufwand, bei dem Entwickler nicht mehrere Tools erlernen müssen und sich auf ihre Kernaktivitäten konzentrieren können. Werkzeugintegratoren oder Architekten profitieren ebenfalls davon und sparen Zeit, die ansonsten für die Implementierung von Schnittstellen zwischen Werkzeugen zum Datenaustausch oder zur Erstellung einheitlicher Berichte erforderlich ist.
Das hochentwickelte Berichts- und Analysesystem von Parasoft lässt sich in das gesamte Test-Toolkit für teamweite Datenintegration, bequemes Berichtswesen und erweiterte Analyse integrieren. Die Process Intelligence Engine von Parasoft sammelt relevante Informationen aus verschiedenen Quellen wie Quellcode, Anforderungsmanagementsystemen, Testtools und ALMs, um überlegene Datenanalysen bereitzustellen, mit denen Teams ihre Bemühungen auf produktivste Weise konzentrieren und die Produktivität steigern können, indem sie Trends in der Entwicklung überwachen Prozess.
Der Parasoft C / C ++ - Test wird mit einem speziellen DO-178C-Qualifizierungskit unterstützt, das den Standardspezifikationen für den Werkzeugqualifizierungsprozess entspricht. Anstatt nur Qualifizierungsunterstützung in Form der Sammlung von Testfällen und Vorlagen für Skripte und Berichte bereitzustellen, die viele Anpassungen erfordern, führt das automatisierte Qualifizierungsunterstützungstool von Parasoft die Benutzer durch alle Schritte, die zur Qualifizierung des Tools erforderlich sind, und automatisiert die Mehrheit der mühsamen manuellen Arbeit, die erforderlich ist, um das Werkzeug zu qualifizieren. Dies umfasst die Ausführung der Testfälle aus der bereitgestellten umfassenden Testsuite sowie die Erstellung der Abschlussberichte, die zur Dokumentation des Qualifizierungsprozesses erforderlich sind.
