VectorCAST/Ada
VectorCAST/Ada automatisiert die Erzeugung von Testtreibern und Stubs und stellt Ihrem Team damit ein vollständiges, ausführbares Test-Harness zur Verfügung, ohne dass Testcode manuell geschrieben werden muss. Unit- und Integrationstests für Ada waren bislang ein arbeitsintensiver Prozess. VectorCAST/Ada ändert dies, indem es die Erzeugung des Test-Harness automatisch handhabt, sodass sich die Entwickler auf die Erstellung gründlicher Testfälle konzentrieren können, anstatt sich mit der umgebenden Infrastruktur zu befassen.
Tests können nativ auf einem Host, auf einem Zielsystem-Simulator oder mithilfe von VectorCAST RSP direkt auf Embedded-Zielhardware ausgeführt werden. In einer Host-Umgebung entwickelte Testfälle können auf Ihrem Zielsystem erneut ausgeführt werden, um das Verhalten des Cross-Compilers und die Leistung unter realen Bedingungen zu validieren.
Für wen eignet sich VectorCAST/Ada?
VectorCAST/Ada wird von Ada-Entwicklern und Testingenieuren in missionskritischen und sicherheitskritischen Programmen verwendet, einschließlich Luft- und Raumfahrt, Bahntechnik und anderer regulierter Branchen. Es unterstützt Ada 83, Ada 95, Ada 2005 und Ada 2012 und eignet sich sowohl für neue als auch für bestehende Codebasen (Legacy Code).
Vorteile
VectorCAST/Ada ersetzt den manuellen Aufwand bei der Erzeugung von Ada-Testumgebungen durch einen automatisierten, wiederholbaren Prozess, der sowohl die Validierung von Neuentwicklungen als auch von Legacy-Code unterstützt.
Kein manuelles Schreiben von Testumgebungen mehr
Treiber und Stubs werden automatisch aus Ihrem Quellcode generiert. Ihre Entwickler definieren die Testlogik, nicht die dazugehörige Infrastruktur.
Gleiche Sorgfalt für Ada-Legacy-Code
VectorCAST/Ada eignet sich sowohl für neue als auch für bestehende Ada-Anwendungen. Die nachträgliche Einführung von Unit-Tests für Legacy-Code ist ohne umfangreiche Überarbeitungen problemlos möglich.
Nachweis der Testabdeckung gemäß Luftfahrt- und Militärstandards
Die Analyse der Code-Abdeckung ist auf die Anforderungen von Industrienormen wie DO-178C abgestimmt. Der Coverage-Viewer zeigt ungetestete Zeilen direkt im Quellcode an.
Tests auf Host, Simulator oder Embedded-Zielsystem ausführen
Testfälle lassen sich ohne Umschreiben vom Host auf das Embedded-Zielsystem übertragen. VectorCAST RSP wickelt die Ausführung auf der Zielhardware automatisch und nahtlos ab.
Automatisierte Regressionstests
Testdaten werden getrennt von der Testumgebung verwaltet. Regressionsläufe werden auf Basis des aktualisierten Quellcodes durchgeführt, ohne dass die ausführbare Testdatei bei jeder Änderung neu kompiliert werden muss.
Anwendungsbereiche
VectorCAST/Ada wird in Programmen verwendet, in denen Ada die Hauptsprache ist und die Korrektheit der Software missions- oder sicherheitskritisch ist.
Luft- und Raumfahrt
Unit- und Integrationstests für luftfahrttechnische Softwarekomponenten gemäß DO-178B und DO-178C, einschließlich des Nachweises der Testabdeckung auf den Ebenen, die für höhere Design-Assurance-Level (DAL) erforderlich sind.
Industrie
Systematische Verifikation der Software für Ada-Komponenten in Programmen, die der Norm IEC 61508 unterliegen.
Bahntechnik
Software-Verifikation und -validierung für Ada-Komponenten in Programmen, die der Norm EN 50716:2023 unterliegen.
Key Features
VectorCAST/Ada automatisiert alle Phasen des Workflows für Ada-Unit- und Integrationstests, von der Generierung von Test-Harnesses über die Generierung von Abdeckungsberichten bis hin zur Ausführung von Regressionstests.
Erstellung und Ausführung von Tests
Automatische Generierung der Testumgebung
Erzeugt die gesamte Testinfrastruktur aus Ihrem Ada-Quellcode. Kein manuelles Schreiben von Testcode erforderlich.
Datengesteuerte Ausführung
Die Testumgebung liest Testdaten zur Laufzeit ein. Keine Neukompilierung bei Änderungen an einzelnen Testfällen erforderlich.
Automatische Generierung von Testfällen
Generiert Testfälle auf der Grundlage von Entscheidungspfaden und bietet damit einen Ausgangspunkt für die manuelle Testentwicklung.
Regressiontests
Testfälle werden automatisch erneut gegen den aktualisierten Quellcode ausgeführt. Die Wiedergabe (Playback) des Testablaufs unterstützt die Fehlersuche bei fehlgeschlagenen Tests.
Tests auf der Zielhardware (On-Target Testing)
Führen Sie Tests über VectorCAST RSP direkt auf der Embedded-Zielhardware aus. Für den Übergang vom Host zum Zielsystem ist keine Überarbeitung der Tests erforderlich.
Analyse und Transparenz
Analyse der Codeabdeckung
Abdeckungskennzahlen identifizieren ungeprüfte Codezeilen. Konfigurierbar auf die von DO-178 und anderen Normen geforderten Abdeckungsgrade.
Analyse der Code-Komplexität
Statische Komplexitätsmetriken heben risikoreichen Code hervor und unterstützen bei der Priorisierung des Testaufwands.
Unterstützung für Ada-Standards und Toolchains
Von Ada 83 bis Ada 2012. Integrationen mit AdaCore GNAT, Green Hills AdaMULTI, DDC-I SCORE, Atego ObjectAda, IBM Rational Rhapsody und DOORS.
Frequently Asked Questions
