L'intento di questo libro è quello di fornire una panoramica delle tecniche di verifica utilizzate per verificare il software avionico critico per la sicurezza in conformità allo standard DO-178B con particolare attenzione al test delle unità software. Una verifica completa del software include il test del software a vari livelli / fasi. L'obiettivo del test del software è quello di dimostrare che il software soddisfa i suoi requisiti e anche di dimostrare con un alto grado di fiducia che gli errori che potrebbero portare a condizioni di guasto inaccettabili, come determinato dal processo di valutazione della sicurezza del sistema, sono stati rimossi. I risultati dei test forniscono un'indicazione dell'affidabilità e della qualità del software.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.