Problematika testování a verifikace softwaru pro leteckou techniku
Methods of Software Testing and Verification for Airborne Systems
Author
Advisor
Drahanský, MartinReferee
Chudý, PeterGrade
BAltmetrics
Metadata
Show full item recordAbstract
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í technologieComposition 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-23Process 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ájenaPersistent identifier
http://hdl.handle.net/11012/54085Source
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
- 2011 [229]
Citace PRO
Related items
Showing items related by title, author, creator and subject.
-
Numerická analýza smršťování vybraných silikátových kompozitů
Drbušková, MagdalénaPráce je rozdělena na dvě hlavní části. V první, teoretické části je popsána problematika smršťování včetně porovnání české normy a Model Code 2010, Vol. 1. Druhá, praktická část diplomové práce se zaměřuje na numerickou ... -
Zajištění kvality webových aplikací pomocí nástrojů automatického testování
Reš, RadimTato diplomová práce se zabývá problematikou zajištění kvality webových aplikací pomocí nástrojů automatického testování. Cílem této práce je navrhnout a implementovat řešení pro automatické regresní testování mapové webové ... -
Aplikace agilní metodiky v podniku
Bednařík, JaroslavTato bakalářská práce se věnuje agilnímu projektovému řízení, konkrétně metodice Scrum. Teoretická část popisuje jednotlivé aktivní i pasivní části této metodiky a jejich přínos při řízení projektu. Praktická část prezentuje ...