Empfohlenes Webinar: Vorstellung von Parasoft C/C++test CT für kontinuierliche Tests und Compliance-Exzellenz | Zum Video

Bild eines großen Flugzeugs, das in den Sonnenuntergang aufsteigt

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

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.

Parasofts Lösungen für die Zivilluftfahrt

Software-Compliance für Flugzeuge beginnt mit Software-Engineering-Standards und Best Practices, ergänzt durch Spezifikationen für die Flugzeugzertifizierung. Parasoft C/C++test und C/C++test CT für C- und C++-Entwicklung und -Tests unterstützen eine breite Palette von Best Practices, die nachweislich die Softwaresicherheit und -zuverlässigkeit in der Avionik verbessern.

Parasoft C/C++-Testlösungen automatisieren statische C- und C++-Analysen und Unit-/Komponententests auf Host und Ziel mit umfassender Codeabdeckung, die mehrere Ebenen 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ü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.

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

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.

Flugzeugwind auf dem Hintergrund des Sonnenaufgangshimmels.
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