Problematika testování a verifikace softwaru pro leteckou techniku
| but.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) | cs |
| but.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? | cs |
| but.jazyk | čeština (Czech) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Drahanský, Martin | cs |
| dc.contributor.author | Mačišák, Lukáš | cs |
| dc.contributor.referee | Chudý, Peter | cs |
| dc.date.created | 2011 | cs |
| dc.description.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ů. | cs |
| dc.description.abstract | 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. | en |
| dc.description.mark | B | cs |
| dc.identifier.citation | 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. | cs |
| dc.identifier.other | 42767 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/54085 | |
| dc.language.iso | cs | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
| dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
| dc.subject | Certifikace softwaru | cs |
| dc.subject | verifikace softwaru | cs |
| dc.subject | kritický software | cs |
| dc.subject | letecký software | cs |
| dc.subject | avionické systémy | cs |
| dc.subject | testovací metody a postupy | cs |
| dc.subject | integrační testování | cs |
| dc.subject | modulární testování | cs |
| dc.subject | systémové testování | cs |
| dc.subject | Cantata++ | cs |
| dc.subject | DO-178B. | cs |
| dc.subject | Software certification | en |
| dc.subject | software verification | en |
| dc.subject | airborne software | en |
| dc.subject | avionics systems | en |
| dc.subject | methods of testing | en |
| dc.subject | integration tests | en |
| dc.subject | modular tests | en |
| dc.subject | system tests | en |
| dc.subject | Cantata++ | en |
| dc.subject | DO-178B. | en |
| dc.title | Problematika testování a verifikace softwaru pro leteckou techniku | cs |
| dc.title.alternative | Methods of Software Testing and Verification for Airborne Systems | en |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.dateAccepted | 2011-06-23 | cs |
| dcterms.modified | 2020-05-09-23:42:54 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 42767 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.26 14:51:08 | en |
| sync.item.modts | 2025.01.17 10:30:02 | en |
| thesis.discipline | Management a informační technologie | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů | cs |
| thesis.level | Inženýrský | cs |
| thesis.name | Ing. | cs |