Verificatie van kritieke software op het gebied van luchtvaartveiligheid

De bedoeling van dit boek is om een overzicht te geven van de verificatietechnieken die gebruikt worden om veiligheidskritische Avionics software te verifiëren in overeenstemming met de DO-178B standaard met de nadruk op het testen van de software unit. Een complete softwareverificatie omvat het testen van software op verschillende niveaus / fasen. Het doel van het testen van software is om aan te tonen dat de software aan de eisen voldoet en tevens met een hoge mate van zekerheid aan te tonen dat fouten die tot onaanvaardbare faalcondities zouden kunnen leiden, zoals bepaald door het veiligheidsbeoordelingsproces van het systeem, zijn verwijderd. De testresultaten geven een indicatie van de betrouwbaarheid en kwaliteit van de software.