Název:
Problematika testování a verifikace softwaru pro leteckou techniku
Překlad názvu:
Methods of Software Testing and Verification for Airborne Systems
Autoři:
Mačišák, Lukáš ; Chudý, Peter (oponent) ; Drahanský, Martin (vedoucí práce) Typ dokumentu: Diplomové práce
Rok:
2011
Jazyk:
cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [cze][eng]
Tato diplomová práce popisuje problematiku certifikace a vývoje softwaru pro leteckou techniku se zaměřením na oblast testování a verifikace v rámci životního cyklu projektu. Práce obsahuje navrhnutý vlastní postup verifikace softwaru ve shodě s požadavky normy RTCA/DO-178B pro konkrétní aplikaci. Součásti je i ukázková realizace takových částí navrhnutého postupu, které se týkají testování softwaru. V závěru jsou popsané možnosti uplatnění navrženého postupu a zhodnocení jeho výsledků.
This Master's Thesis describes methods of software certification and development of airborne systems, focusing on software testing and verification during project's life cycle. Thesis includes also designed software verification plan for concrete application according to RTCA/DO-178B. Another part of thesis illustrates the exemplary realization of tests according to designed verification plan. At the close we describe the options of applying the designed verification plan and evaluation of its results.
Klíčová slova:
avionické systémy; Cantata++; Certifikace softwaru; DO-178B.; integrační testování; kritický software; letecký software; modulární testování; systémové testování; testovací metody a postupy; verifikace softwaru; airborne software; avionics systems; Cantata++; DO-178B.; integration tests; methods of testing; modular tests; Software certification; software verification; system tests
Instituce: Vysoké učení technické v Brně
(web)
Informace o dostupnosti dokumentu:
Plný text je dostupný v Digitální knihovně VUT. Původní záznam: http://hdl.handle.net/11012/54085