Andere Kunden interessierten sich auch für
![Huidige problematische situaties op het gebied van werk Science-Technology-Society in Cuba]( "Huidige problematische situaties op het gebied van werk Science-Technology-Society in Cuba")
Huidige problematische situaties op het gebied van werk Science-Technology-Society in Cuba46,99 €![De grondwet van het gebied van plattelandsontwikkeling]( "De grondwet van het gebied van plattelandsontwikkeling")
De grondwet van het gebied van plattelandsontwikkeling51,99 €![Plattelandsontwikkeling in Latijns-Amerika en het Caribisch gebied]( "Plattelandsontwikkeling in Latijns-Amerika en het Caribisch gebied")
Plattelandsontwikkeling in Latijns-Amerika en het Caribisch gebied51,99 €![Invloeden van het binnenlands vervoer op de plattelandseconomie]( "Invloeden van het binnenlands vervoer op de plattelandseconomie")
Invloeden van het binnenlands vervoer op de plattelandseconomie32,99 €![Het probleem van de koffie-export op het sociaal-economisch leven]( "Het probleem van de koffie-export op het sociaal-economisch leven")
Het probleem van de koffie-export op het sociaal-economisch leven26,99 €![Impact van motortaxi's op het jeugdwerk in Kameroen:]( "Impact van motortaxi's op het jeugdwerk in Kameroen:")
Impact van motortaxi's op het jeugdwerk in Kameroen:26,99 €![Alcoholisme op het platteland]( "Alcoholisme op het platteland")
Alcoholisme op het platteland36,99 €
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.