Beschreibung
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.
Autorenporträt
Chiranjeevi Aradhya od 7 lat jest inzynierem oprogramowania Sr w Collins Aerospace. Ma ponad 15 lat doswiadczenia w pracy w przemysle lotniczym nad wszystkimi najnowszymi technologiami, w tym Avionics Embedded, rozwojem produktów i testowaniem systemów lotniczych zgodnie z procesami DO-178B Level A do D.
