Seien Sie am 30. April dabei: Vorstellung von Parasoft C/C++test CT für kontinuierliche Tests und Compliance-Exzellenz | Registrierung
Fallstudie
Die Bundesbehörde erfüllt den strengen DO-178C-Standard mit einer einheitlichen automatisierten Testlösung
-
Integrierte und einheitliche Lösung zur Einhaltung des strengen DO-178C-Standards.
-
Höhere Produktivität mit hostbasierter und eingebetteter zielbasierter Automatisierung.
-
Reduzierter Zeit-, Kosten- und Arbeitsaufwand zum Testen von Code.
Lesezeit: 3 Minuten
Zum Abschnitt springen
Überblick
Eine Bundesbehörde entwickelt ein Flugnavigationshilfesystem für die Luftfahrtindustrie, um das globale Positionsbestimmungssystem (GPS) zu erweitern, mit dem Ziel, dessen Genauigkeit und Verfügbarkeit zu verbessern. GPS allein ist nicht für die exakte Standortbestimmung gedacht. Die Implementierung des Flugnavigationshilfesystems ermöglicht präzise Anflüge wie Start und Landung. Das System verwendet bodengestützte Referenzstationen, um Korrekturmeldungen auszusenden, um die Genauigkeit von GPS zu verbessern.
Zum Abschnitt springen
Die Herausforderung
Ein Teil des Flugnavigationshilfesystems stützt sich auf eingebettete Systeme, die mit der Programmiersprache C und in entwickelt wurden Einhaltung von RTCA DO-178C. Einige Teile des Systems werden für Design Assurance Level (DAL) B und andere Teile für DAL D entwickelt. In vielen Fällen umfassen die Validierungs- und Verifizierungsanforderungen strenge Tests und Messungen der während des Tests erzielten Codeabdeckung. DO-178C erfordert eine angemessene Abdeckung. Das Aufzeichnen von Testergebnissen und der Abdeckung sind wichtige Entwicklungsartefakte.
Die Bundesbehörde und ihr Hauptauftragnehmer hatten mit einem veralteten Codeabdeckungssystem zu kämpfen, das mit den modernen Anforderungen des Flugnavigationshilfesystems und der von ihnen geforderten Einhaltung von Vorschriften nicht kompatibel war. Darüber hinaus führte die mangelnde Integration zwischen den verschiedenen Entwicklungs- und Testtools zu Verzögerungen und erhöhtem Aufwand, um Compliance zu erreichen.
Die Vorgehensweise
Die Bundesbehörde musste eine aktualisierte, moderne Test- und Codeabdeckungsmesslösung finden, die mit dem Wind River VxWorks-Betriebssystem und innerhalb der Wind River Workbench IDE funktionieren würde.
Der Hauptauftragnehmer für das Flugnavigationssystem war bereits Parasoft C/C++-Testbenutzer. Aus dieser Beziehung hat die Bundesbehörde das Produkt übernommen. Dies befriedigte ihren Bedarf an einer modernen statischen Analyselösung und löste ihre Probleme mit Komponententests und Codeabdeckung. Die von Parasoft bereitgestellte einheitliche Lösung war eine attraktive Alternative zu ihren Legacy-Tools.
Die Lösung
Die Entwicklungsgruppe für das Flugnavigationssystem wählte Parasoft C/C++test, um Folgendes durchzuführen:
- Statement-Berichterstattung
- Abdeckung von Nebenstellen- und MC/DC-Codes
- Statische Analyse
- Unit-Test
Die Gruppe verwendet die einheitliche Lösung auf Desktop-Ebene innerhalb ihrer IDE, wo Ingenieure Folgendes tun können:
- Überprüfen Sie den Code und nehmen Sie Änderungen vor.
- Führen Sie eine statische Analyse durch.
- Behandeln Sie alle Codierungsstandardabweichungen.
„Parasoft C/C++test hat uns alle Softwaretest-Automatisierungslösungen, die wir brauchten, in einem Paket geliefert, um uns dabei zu helfen, die Einhaltung von DO-178C für eine sehr große Codebasis zu erfüllen.“
—Brenton Graefe, Softwareingenieur
Die Entwicklungsgruppe verwendet Parasoft DTP, um Testkonfigurationen zu hosten und den projektweiten Status von Tests, Abdeckung und Einhaltung von Codierungsstandards bereitzustellen. In diesem Fall folgen sie einem erweiterten MISRA C-basierten Standard.
Die Ergebnisse
Die automatisierte Softwaretestlösung von Parasoft bietet Makro- und Mikrodetailebenen über den Teststatus und die Ergebnisse des Flugnavigationshilfesystems als bisher möglich. Die detaillierte Codeabdeckung von Parasoft C/C++test gibt der Gruppe den Einblick, den sie mit ihrem Legacy-Tool vermisst haben.
Mit Parasoft DTP kann die Gruppe den gesamten Lebenszyklusprozess der Softwareentwicklung einsehen und auf hoher Ebene bestimmen, was sie aus dem Testen herausholen muss.
Der Grad der Testautomatisierung im Projekt hat sich seit der Einführung der Parasoft-Lösung dramatisch erhöht. Dadurch verkürzt sich die Zeit, die zum Testen von Code benötigt wird. Es gibt auch eine Verringerung des Arbeitsaufwands und der Kosten.
Erleben Sie aus erster Hand den Wert der Verwendung einer einheitlichen C/C++-Testlösung.
„MISRA“, „MISRA C“ und das Dreieckslogo sind eingetragene Marken von The MISRA Consortium Limited. ©The MISRA Consortium Limited, 2021. Alle Rechte vorbehalten.
- Industrie: Regierung; Luft- und Raumfahrt
- Firmengröße: 35,000+
- Standort: Washington, D.C
- Lösung: C / C ++ - Test
