National Repository of Grey Literature 2 records found  Search took 0.00 seconds. 
Methods of Software Testing and Verification for Airborne Systems
Mačišák, Lukáš ; Chudý, Peter (referee) ; Drahanský, Martin (advisor)
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.
Methods of Software Testing and Verification for Airborne Systems
Mačišák, Lukáš ; Chudý, Peter (referee) ; Drahanský, Martin (advisor)
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.

Interested in being notified about new results for this query?
Subscribe to the RSS feed.