Return to search

Problematika testování a verifikace softwaru pro leteckou techniku / Methods of Software Testing and Verification for Airborne Systems

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.

Identiferoai:union.ndltd.org:nusl.cz/oai:invenio.nusl.cz:236942
Date January 2011
CreatorsMačišák, Lukáš
ContributorsChudý, Peter, Drahanský, Martin
PublisherVysoké učení technické v Brně. Fakulta informačních technologií
Source SetsCzech ETDs
LanguageCzech
Detected LanguageEnglish
Typeinfo:eu-repo/semantics/masterThesis
Rightsinfo:eu-repo/semantics/restrictedAccess

Page generated in 0.0023 seconds