Problematika testování a verifikace softwaru pro leteckou techniku

Methods of Software Testing and Verification for Airborne Systems

Thumbnail
View/Open
Author
Advisor
Drahanský, Martin
Referee
Chudý, Peter
Grade
B
Altmetrics
Metadata
Show full item record
Abstract
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
Certifikace softwaru, verifikace softwaru, kritický software, letecký software, avionické systémy, testovací metody a postupy, integrační testování, modulární testování, systémové testování, Cantata++, DO-178B., Software certification, software verification, airborne software, avionics systems, methods of testing, integration tests, modular tests, system tests, Cantata++, DO-178B.
Language
čeština (Czech)
Study brunch
Management a informační technologie
Composition of Committee
prof. RNDr. Alexandr Meduna, CSc. (předseda) prof. Ing. Tomáš Vojnar, Ph.D. (místopředseda) doc. Ing. Peter Chudý, Ph.D., MBA (člen) Ing. Šárka Květoňová, Ph.D. (člen) Ing. Jiří Luňáček, Ph.D., MBA (člen) Doc. Ing. Valentino Vranić, Ph.D. (člen)
Date of defence
2011-06-23
Process of defence
Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se pak seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm " B ". Otázky u obhajoby: V kontextu popisu na straně 4 vysvětlete prosím definici kritického systému (pravděpodobnost vzniku katastrofické poruchy). Je možné verifikaci kódu plně automatizovat?
Result of the defence
práce byla úspěšně obhájena
Persistent identifier
http://hdl.handle.net/11012/54085
Source
MAČIŠÁK, L. Problematika testování a verifikace softwaru pro leteckou techniku [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2011.
Collections
Citace PRO