Verificación de software crítico para la seguridad de la aviónica

La intención de este libro es proporcionar una visión general de las técnicas de verificación utilizadas para verificar el software de aviónica de seguridad crítica en cumplimiento con la norma DO-178B con énfasis principal en la prueba de la unidad de software. Una verificación de software completa incluye la prueba de software en varios niveles / fases. El objetivo de las pruebas de software es demostrar que el software satisface sus requisitos y también demostrar con un alto grado de confianza que se han eliminado los errores que podrían dar lugar a condiciones de fallo inaceptables, según lo determinado por el proceso de evaluación de la seguridad del sistema. Los resultados de las pruebas proporcionan una indicación de la fiabilidad y la calidad del software.