Vérification Logicielle (Avionique)
- Engineering & Applied Technologies -
Aerospace & Automotive Dictionary
Définition
L'ensemble des activités planifiées et des éléments de preuve démontrant que le logiciel avionique implémente correctement les exigences spécifiées et se comporte comme prévu dans son contexte opérationnel visé.