|
|
Problematika testování a verifikace softwaru pro leteckou techniku
Mačišák, Lukáš ; Chudý, Peter (oponent) ; Drahanský, Martin (vedoucí práce)
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ů.
|
|
|
Inovace systému pro automatizované integrační testy elektronických jednotek vozidel
Kyloušek, Josef ; Orság, Filip (oponent) ; Drahanský, Martin (vedoucí práce)
Tato diplomová práce se zabývá problematikou softwarových nástrojů pro automatizované integrační testy elektronických jednotek vozidel. Konkrétně je zaměřena na nástroj TestAut 2, který je vyvíjen společností e4t a využíván pro testování vozů značky Škoda. Cílem této práce je porovnání tohoto nástroje s podobnými produkty v automobilovém průmyslu. Práce tedy obsahuje analýzu stávajícího nástroje TestAut 2 a popis principů a vlastností nástrojů EXAM, MODENA a PROVEtech. Z těchto získaných informací je vybrána množina principů považovaných za výhodné. V další části práce je popsána implementace těchto principů do nástroje TestAut 2, testování jejich funkčnosti a zhodnocení jejich přínosu. Závěrem je navrhnuto další vylepšení upravovaného nástroje.
|
|
|
Aplikace pro nahrávání a přehrávání diskrétního stavového grafu
Melkus, Josef ; Doležal, Jan (oponent) ; Smrž, Pavel (vedoucí práce)
Cílem této práce je vytvořit balíček nástrojů pro integrační testování C++ systémů na základě stavových diagramů. Všechny komponenty balíčku jsou od sebe oddělené a umožňují snadnou výměnu za jinou. Součástí tohoto balíčku je knihovna definující vytváření a přechody stavového diagramu. Dalším nástrojem je rozhraní pracující nad touto knihovnou, které zaznamenává přechody stavů za běhu systému. V rámci testů se uložené přechody porovnávají s etalonem. Etalon je běh systému, který pro dané vstupy považujeme za správný. Další částí je program na samotné porovnávání a skript sloužící k automatizaci testů. Vytvořený systém byl otestován v rámci partnerské společnosti.
|
|
|
Aplikace pro nahrávání a přehrávání diskrétního stavového grafu
Melkus, Josef ; Doležal, Jan (oponent) ; Smrž, Pavel (vedoucí práce)
Cílem této práce je vytvořit balíček nástrojů pro integrační testování C++ systémů na základě stavových diagramů. Všechny komponenty balíčku jsou od sebe oddělené a umožňují snadnou výměnu za jinou. Součástí tohoto balíčku je knihovna definující vytváření a přechody stavového diagramu. Dalším nástrojem je rozhraní pracující nad touto knihovnou, které zaznamenává přechody stavů za běhu systému. V rámci testů se uložené přechody porovnávají s etalonem. Etalon je běh systému, který pro dané vstupy považujeme za správný. Další částí je program na samotné porovnávání a skript sloužící k automatizaci testů. Vytvořený systém byl otestován v rámci partnerské společnosti.
|
|
|
Inovace systému pro automatizované integrační testy elektronických jednotek vozidel
Kyloušek, Josef ; Orság, Filip (oponent) ; Drahanský, Martin (vedoucí práce)
Tato diplomová práce se zabývá problematikou softwarových nástrojů pro automatizované integrační testy elektronických jednotek vozidel. Konkrétně je zaměřena na nástroj TestAut 2, který je vyvíjen společností e4t a využíván pro testování vozů značky Škoda. Cílem této práce je porovnání tohoto nástroje s podobnými produkty v automobilovém průmyslu. Práce tedy obsahuje analýzu stávajícího nástroje TestAut 2 a popis principů a vlastností nástrojů EXAM, MODENA a PROVEtech. Z těchto získaných informací je vybrána množina principů považovaných za výhodné. V další části práce je popsána implementace těchto principů do nástroje TestAut 2, testování jejich funkčnosti a zhodnocení jejich přínosu. Závěrem je navrhnuto další vylepšení upravovaného nástroje.
|
|
|
Problematika testování a verifikace softwaru pro leteckou techniku
Mačišák, Lukáš ; Chudý, Peter (oponent) ; Drahanský, Martin (vedoucí práce)
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ů.
|
host ::
RSS.