Andere Kunden interessierten sich auch für
![Verificação de Software Crítico de Segurança Aviónica]( "Verificação de Software Crítico de Segurança Aviónica")
Verificação de Software Crítico de Segurança Aviónica26,99 €![Avionics Safety Critical Software Verification]( "Avionics Safety Critical Software Verification")
Avionics Safety Critical Software Verification26,99 €![La gestión del conocimiento y el desarrollo de software]( "La gestión del conocimiento y el desarrollo de software")
La gestión del conocimiento y el desarrollo de software36,99 €![The Unity Game Engine and the Circuits of Cultural Software]( "The Unity Game Engine and the Circuits of Cultural Software")
The Unity Game Engine and the Circuits of Cultural Software41,99 €![A Holistic View of Software and Hardware Reuse]( "A Holistic View of Software and Hardware Reuse")
A Holistic View of Software and Hardware Reuse37,99 €![A Holistic View of Software and Hardware Reuse]( "A Holistic View of Software and Hardware Reuse")
A Holistic View of Software and Hardware Reuse37,99 €![Politiken der freien und Open Source Software in Lateinamerika]( "Politiken der freien und Open Source Software in Lateinamerika")
Politiken der freien und Open Source Software in Lateinamerika128,00 €
Die Absicht dieses Buches ist es, einen Überblick über die Verifikationstechniken zu geben, die zur Verifikation sicherheitskritischer Avionik-Software gemäß DO-178B-Standard eingesetzt werden, wobei der Schwerpunkt auf dem Testen der Software-Einheit liegt. Eine vollständige Software-Verifikation umfasst das Testen von Software auf verschiedenen Ebenen / Phasen. Das Ziel des Softwaretests besteht darin, nachzuweisen, dass die Software ihre Anforderungen erfüllt, und auch mit einem hohen Maß an Vertrauen nachzuweisen, dass Fehler, die zu inakzeptablen Ausfallbedingungen führen könnten, wie sie durch den Systemsicherheitsbewertungsprozess bestimmt werden, beseitigt wurden. Die Testergebnisse liefern einen Hinweis auf die Zuverlässigkeit und Qualität der Software.