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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.