Erfahren Sie, wie Sie statische Analysen, Komponententests und andere C- und C++-Softwaretestmethoden einfach in Ihre CI/CD-Pipeline integrieren können. Für Demo registrieren >>

FALLSTUDIEN

Die Bundesbehörde erfüllt den strengen DO-178C-Standard mit einer einheitlichen automatisierten Testlösung

Lesezeit: 2 Minuten

PDF Herunterladen "

Die Bundesbehörde erfüllt den strengen DO-178C-Standard mit einer einheitlichen automatisierten Testlösung

REDUZIERT

Zeit zum Testen von Code

VERRINGERT

Arbeitskosten

ERHÖHT

Produktivität

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.

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.

MACH DEN NÄCHSTEN SCHRITT

Demo anfordern um aus erster Hand den Wert der Verwendung einer einheitlichen C/C++-Testlösung zu sehen.

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