Empfohlenes Webinar: MISRA C++ 2023: Alles, was Sie wissen müssen | Zum Video

Zivilluftfahrt

Softwareentwicklung & Test für die Zivilluftfahrt

Parasoft Civil Aviation Software-Testtools,
Seit über 30 Jahren vertrauenswürdig

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.

Adressieren Sie die moderne Softwareentwicklung von heute
Herausforderungen in der Zivilluftfahrt

Vor Sicherheitsrisiken schützen

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.

Befolgen Sie die von der Industrie empfohlenen Best Practices für Entwicklung und Test

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.

Reduzieren Sie die Komplexität mithilfe eines einheitlichen Tools

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.

Parasofts Lösungen für die Zivilluftfahrt

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/C++ und JSF AV C++.

Profitieren Sie vom Parasoft-Ansatz

Reduzieren Sie die Kosten für die Entwicklung hochwertiger Software, ohne die Markteinführungszeit zu beeinträchtigen.

Mehrere Testmethoden in einem Tool integriert

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.

Erweiterte Berichterstattung und
Analytik

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.

Spezielles Qualifizierungskit
für DO-178C

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.

Sterne

"Der Parasoft C / C ++ - Test ist zur Grundlage für sicherheitsorientierte Tests geworden
Softwareentwicklung bei der Schaeffler Technologies AG und hat
hat in Zeiten eine effiziente Entwicklung und Wartung ermöglicht
von immer größerem Umfang und Komplexität. "

- Schaeffler Technologies AG