Verwenden Sie Agentic AI, um intelligentere API-Tests zu generieren. In wenigen Minuten. Erfahren Sie mehr >>
Zivilluftfahrt
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.
Um allen Empfehlungen regulatorischer Standards zu folgen, ist ein Framework aus mehreren Softwaretools erforderlich, die Informationen austauschen können, beispielsweise um Berichte und Dokumentationen zu erstellen. Anstatt zu versuchen, verschiedene unabhängige Softwaretools zu integrieren, was oft zu einem Albtraum wird und wertvolle Zeit verschlingt, die für die Entwicklung von Kernprodukten aufgewendet werden könnte, können Unternehmen die einheitlichen Tools von Parasoft C/C++test und C/C++test CT nutzen. die mit Blick auf das große Ganze entwickelt wurden. Parasoft C/C++-Testlösungen können in den komplexesten Projekten eingesetzt werden.
Reduzieren Sie die Kosten für die Entwicklung hochwertiger Software, ohne die Markteinführungszeit zu beeinträchtigen.
Anstelle mehrerer fragmentierter Lösungen erfüllen Parasoft C/C++test und C/C++test CT mehrere von DO-178C geforderte Softwaretestmethoden, einschließlich der Objektcodeabdeckung. Die Vollständigkeit der Parasoft-Lösung führt zu einem reduzierten Lern- und Einrichtungsaufwand, sodass Entwickler nicht mehrere Tools erlernen müssen und sich auf ihre Kernaktivitäten konzentrieren können. Auch Tool-Integratoren oder -Architekten profitieren davon und sparen Zeit, die sonst für die Implementierung von Schnittstellen zwischen Tools für den Datenaustausch oder die Erstellung einheitlicher Berichte erforderlich wäre.
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.
Parasoft C/C++test wird durch ein spezielles DO-178C-Qualifizierungskit unterstützt, das den Standardspezifikationen für den Tool-Qualifizierungsprozess 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 Qualifizierungs-Support-Tool von Parasoft Benutzer durch alle Schritte, die zur Qualifizierung des Tools erforderlich sind, und automatisiert den Großteil der mühsamen manuellen Arbeit, die zur Qualifizierung des Werkzeugs erforderlich ist. Dazu gehört die Ausführung der Testfälle aus der umfangreichen Testsuite sowie die Erstellung der Abschlussberichte, die zur Dokumentation des Qualifizierungsprozesses erforderlich sind. Das Qualifizierungskit von Parasoft C/C++test CT befindet sich in der Entwicklung.
„Parasoft C/C++test ist jetzt ein integraler Bestandteil unserer kritischen Softwareentwicklungsaktivitäten. Die Integration in unseren Softwareentwicklungsprozess führte zu einer effizienteren Produktion von Softwarecode mit deutlich höherer Ausbeute. Um unsere aktuelle Produktionseffizienz und unser Qualitätsniveau beizubehalten, gehen wir davon aus, dass die bereitgestellte Lösung in unserem Software-Tooling-Arsenal verbleiben muss. Es ist geplant, die Lösung auch für weniger kritische Anwendungsentwicklungen einzusetzen.“
– Peter Matthijs, Avionik-Softwarearchitekt
