Automatisierte Modultests für Ada
VectorCAST/Ada ist eine hochautomatisierte Lösung für Modul- und Integrationstests an Ada Codebasen. Es reduziert den Zeit-, Arbeits- und Kostenaufwand, der für die Verifizierung und Validierung von Embedded Applikationen notwendig ist und steigert gleichzeitig die Software-Qualität.
Seit fast 30 Jahren wird VectorCAST/Ada erfolgreich in sicherheitskritischen Projekten wie z.B. in der Avionik ( DO-178 B/C), der Automobilbranche (ISO 26262) und der Bahntechnik (EN50126) eingesetzt.
VectorCAST /Ada Unterstützt Ada 83, Ada 95, Ada 2005, und Ada 2012
Vorteile
- Hohe Benutzerfreundlichkeit
- Nachweisliche Arbeits-, Kosten- und Zeiteinsparungen
- Hundertprozentige Unterstützung des Embedded Compilers (alle Spracherweiterungen)
- Hochpräzise Automation statt manuelle Testerzeugung; Mocks und Treibercode werden automatisch erstellt
Highlights von VectorCAST/Ada
- Erstellung eines vollständigen Test-Frameworks für Modul- und Integrationstests für C und C++
- Automatische Testfallgenerierung auf Basis von Entscheidungspfaden
- Automatische Base-Line-Tests für Legacy Code-Basen
- Testausführung über grafische Benutzeroberfläche oder Skripte
- Analyse des Code-Abdeckungsgrads mit Optimierung für Embedded-Systeme
- Unterstütze Abdeckungsgrade: Statement, Branch, MC/DC, Function, Function-Call
- Testausführung auf dem Host, dem Simulator, Emulator oder der Embedded Hardware
- Bereiche mit hoher Komplexität (Hochrisikocode) werden optisch hervorgehoben
- Unterstützung des Debuggers bei der Ausführung von Testfällen
- TÜV Süd zertifiziert für ISO 26262, IEC 61508, IEC 62304, EN50128 und EN 50657
- Integration mit The MathWorks® Simulink®, Green Hills® INTEGRITY®, IBM® Rational® Rhapsody®, PC-Lint und anderen statischen Analysetools
- Unterstützung von funktionalen Tests durch Integration mit gängigen Anforderungs-Management-Tools wie IBM® Rational® DOORS®,Polarion, PTC Integrity, codeBeamer, YAKINDU u.v.m.
Funktionsweise
VectorCAST /Ada analysiert den zu testenden Code. Für die zu testende(n) Funktion(en) werden Stubs (Mocks) erzeugt um Module isoliert zu überprüfen. Testfälle können auch automatisiert erstellt, die Codeabdeckung visualisiert und wichtige Messwerte und Kenngrößen ausgegeben werden. Dabei ist die Testausführung auf dem Host, einem Simulator, einem Emulator oder der Zielplattform möglich. Testdaten werden getrennt vom Test- Framework verwaltet und können für automatische Regressionstests verwendet werden.
Komponenten des ausführbaren VectorCAST-Frameworks
- Test-Treiber
- Zu testender Quellcode
- Vollständige Stubs (Mocks) für abhängige Funktionen
- Quelldateien für alle abhängigen Module, für die keine Mocks verfügbar sind
Das Test-Framework ist datengesteuert, d.h. Testdaten werden während der Ausführung gelesen. Dadurch erübrigt es sich, für jeden Test ein neues ausführbares Framework kompilieren und linken zu müssen.
VectorCAST/Ada generiert auch Metriken zum Abdeckungsgrad des Codes. Der leicht zu lesende Code Coverage Viewer zeigt bis auf Codezeilenebene an, welche Bereiche bereits getestet wurden und unterstützt dabei alle Abdeckungsgrade, die in den Industrienormen festgelegt sind, z.B.: IEC 62304, ISO 26262, DO-178B/C und IEC 61508.
Compiler
Von Ada unterstützte Compiler
VectorCAST /Ada unterstützt standardmäßig hunderte von Compiler-Target Kombinationen und kann darüber hinaus flexibel an neue Ada-Compiler angepasst werden..
Downloads
-
2019-11-26 ProduktbeschreibungVectorCAST - Automatisches Testen von Software für mehr Qualität
-
2019-10-03 WhitepaperFollowing the ISO 26262-6:2018 Guidelines with VectorCAST
-
2018-09-10 WhitepaperUsing VectorCAST to Satisfy FDA Software Testing Requirements
-
2018-09-10 WhitepaperUsing VectorCAST for DO-178B/C Software Verification
- 2020-03-25 VectorCAST: Introduction to the VectorCAST Test Automation...
- 2020-02-20 VectorCAST: Automated Unit Testing with VectorCAST/C++
- 2020-01-23 VectorCAST: How to Integrate Requirements Management Tools with...
- 2019-12-12 VectorCAST: White-box System Testing with VectorCAST/QA
- 2019-11-26 VectorCAST: Coverage Analysis as the Most Important Metric for...
- 2019-10-29 VectorCAST: How to Avoid Safety Defects and Security...
- 2019-10-29 VectorCAST: Wie man Safety-Probleme und Security-Lücken in...
- 2019-10-24 VectorCAST: Software Testing 101 Testing Fundamentals for High...
- 2019-08-22 VectorCAST: Automating Data and Control Coupling
- 2019-07-09 Meeting the Challenges of Large and Complex Multi-Language...
News & Veranstaltungen
- 2020-04-23 Webinar: VectorCAST: How to Detect Bugs and Serious Vulnerabilities Early...
- 2020-04-23 Webinar: VectorCAST: Optimization of Safety-Critical Software Methods,...
- 2020-04-30 Webinar: VectorCAST: Development of Safety-Relevant Software in the Rail...
- 2020-05-21 Webinar: VectorCAST: What's New in VectorCAST 2020
- 2020-05-28 Webinar: VectorCAST: Entwicklung sicherheitsrelevanter Software in der...
Schulungen
VectorCAST-Workshops
Mit unseren Workshops können Sie Ihr Wissen über VectorCAST erweitern oder vertiefen.
Dabei erhalten Sie ein grundlegendes Verständnis von Modultests und dem Code-Abdeckungsgrad sowie davon, wie die Testautomatisierungsplattform VectorCAST zur Umsetzung dieser Konzepte eingesetzt werden kann.
