Original title:
Problematika testování a verifikace softwaru pro leteckou techniku
Translated title:
Methods of Software Testing and Verification for Airborne Systems
Authors:
Mačišák, Lukáš ; Chudý, Peter (referee) ; Drahanský, Martin (advisor) Document type: Master’s theses
Year:
2011
Language:
cze Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[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.
Keywords:
airborne software; avionics systems; Cantata++; DO-178B.; integration tests; methods of testing; modular tests; Software certification; software verification; system tests; 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
Institution: Brno University of Technology
(web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library. Original record: http://hdl.handle.net/11012/54085