-
Nemecký jazyk
Verifizierung sicherheitskritischer Software in der Avionik
Autor: Chiranjeevi Aradhya
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.... Viac o knihe
Na objednávku, dodanie 2-4 týždne
36.99 €
bežná cena: 41.10 €
O knihe
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.
- Vydavateľstvo: Verlag Unser Wissen
- Rok vydania: 2020
- Formát: Paperback
- Rozmer: 220 x 150 mm
- Jazyk: Nemecký jazyk
- ISBN: 9786203074987
Anglický jazyk 
Ruský jazyk 
