Vérification des logiciels critiques pour la sécurité de l'avionique

L'objectif de ce livre est de fournir un aperçu des techniques de vérification utilisées pour vérifier les logiciels d'avionique critiques pour la sécurité conformément à la norme DO-178B, en mettant l'accent sur les tests unitaires des logiciels. Une vérification complète des logiciels comprend des tests de logiciels à différents niveaux/phases. L'objectif des tests de logiciels est de démontrer que le logiciel satisfait à ses exigences et également de démontrer avec un degré élevé de confiance que les erreurs qui pourraient entraîner des conditions de défaillance inacceptables, telles que déterminées par le processus d'évaluation de la sécurité du système, ont été supprimées. Les résultats des tests donnent une indication de la fiabilité et de la qualité du logiciel.