Software-Verifikationsdienstleistungen gemäß DO-178C und DO-278A
Software-Verifizierungsprozess
Wir bieten Techniker für die Softwareverifizierung, die Erfahrung mit dem Prozess und mit automatisierten Verifizierungstools haben.
Wir haben Erfahrung mit der Überprüfung komplexer Parameter Data Item Files (PDIF): Wir minimieren die Anzahl der Testfälle, die erforderlich sind, um alle möglichen Kombinationen von Feldern zu testen.
Wir testen Software auf dem Host, im Simulator oder auf dem Zielsystem, wobei wir Testfälle wiederverwenden.
Umfassende Erfahrung in der Verwendung von VectorCast: Wir bieten interne Verifikationsunterstützung
Die Verifizierung umfasst:
- Überprüfung der Softwareanforderungen
- Verifizierung des Software-Codierungsstandards
- Überprüfung des Quellcodes durch statische Codeanalyse
- Anforderungsgesteuerte Software-Integrations- und Einheitstests
- Strukturelle Code-Abdeckungsanalyse
- Rückverfolgbarkeit von Anforderungen und Testfällen
- Qualifizierung von Software-Verifikationswerkzeugen
