|
|
Předpověď nových chyb pomocí dolování dat v historii výsledků testů
Matys, Filip ; Vojnar, Tomáš (oponent) ; Šimková, Hana (vedoucí práce)
Softwarové projekty prochází jak obdobím údržby, tak v případě open source i náročným neřízeným vývojem. Obě tyto fáze jsou náchylné k regresím, tedy chybám vedoucím k degradaci již fungujících částí systému. Z tohoto důvodu je systém podrobován testováním v podobě testovacích sad, což je v mnoha případech časově velmi náročné. Z tohoto důvodu vznikají prediktory, které jsou schopny na základě změn kódu a historie testování odhadnout, kdy k takovým regresím může dojít, pomocí čehož pak lze testování soustředit na tato místa. Tyto prediktory jsou však často postaveny na metrikách kódu, které jsou čistě statické a neřeší sémantiku daného jazyka. Účelem této diplomové práce je vytvořit prediktor, který nebude spoléhat jen na tyto metriky, ale bude schopen analyzovat kód i ze sémantického pohledu.
|
|
|
Pokrytím řízené testování vícevláknových programů
Lietavcová, Zuzana ; Šimková, Hana (oponent) ; Letko, Zdeněk (vedoucí práce)
Tato práce se zabývá problematikou hledání chyb ve vícevláknových programech pomocí techniky pokrytím řízeného testování, jak je chápáno ve studovaném nástroji Maple. Testování se se skládá ze dvou fází. V první fázi se buduje množina pokrytelných chování testovaného programu. Následně se algoritmus snaží dosáhnout těchto chování za pomoci deterministického vykonání testu.Hlavní přínos práce spočívá v uceleném popisu nástroje Maple, včetně technických detailů.Na základě studia jsou identifikovány slabá místa. Některé z nich, konkrétně využívání náhodného rozhodování a prioritizace vynucovaných chování, jsou blíže studovány.Výsledkem je několik úprav nástroje Maple, ze kterých některé vedou k většímu počtu úspěšných dosažení chování a v určitých případech k vyššímu počtu vyvolání chyb, což je experimentálně demonstrováno na sadě vícevláknových programů.
|
|
|
Predikce povahy spamových krátkých textů textovým klasifikátorem
Drápela, Karel ; Křena, Bohuslav (oponent) ; Šimková, Hana (vedoucí práce)
Práce se zabývá kategorizací krátkých spamových textů v SMS zprávách. V první části práce jsou shrnuty aktuální přístupy k textové klasifikaci a následuje popis nejpoužívanějších klasifikátorů. V dalších kapitolách je rozebrána anotace testovacích dat, implementace programu a výsledky klasifikace. Program je schopen klasifikovat texty na základě definovaných kategorií a také odhadnout přesnost klasifikátoru na trénovací sadě. Pro dva navržené typy kategorií dosahuje klasifikátor přesnosti až 82% a 92%. Předzpracování i výběr příznaků měly na přesnost pozitivní vliv. Přesnost je dále možné zvýšit odstraněním části vzorků, které má klasifikátor největší problémy zařadit. Při 80% pokrytí je možné zvýšit přesnost o 8-10%.
|
|
|
Analýza a oznámení o nových ResultCloud výsledcích
Iakymets, Bohdan ; Vojnar, Tomáš (oponent) ; Šimková, Hana (vedoucí práce)
Většinou výsledky testů aplikace jsou stejné a proto nenesou žádnou užitečnou informaci. Vývojáři musejí neustále probírat velké množství zbytečných informací, aby našli něco za jímavého. Tedy vývojář potřebuje nástroj pro analýzu testovacích výsledků a v případě nalezení zajimavé informace to oznámí uživateli. Tento nástroj ušetří spoustu času. Zadání této bakalářské práce je navrhnout a implementovat, mechanismus pro analýzu a oznámení uživateli o zajímavých změnách v výsledcích sady testů. Mechanismy musejí být snadno rozšiřitelné a dobře integrovatelné v ResultCloud. Součástí této práce je prostu dování ResultCloud a na základě získaných znalostí rozšíření ResultCloud o analyzátor a oznamovatele. Nástroj je implementován pomocí AngularJS a PHP.
|
|
|
Alkaloidy rodu Narcissus: isolace, strukturní identifikace, biologická aktivita
Šimková, Hana ; Cahlíková, Lucie (vedoucí práce) ; Opletal, Lubomír (oponent)
Univerzita Karlova, Farmaceutická fakulta v Hradci Králové, Katedra farmaceutické botaniky Řešitel: Hana Šimková Školitel: prof. Ing. Lucie Cahlíková, Ph.D. Název diplomové práce: Alkaloidy rodu Narcissus: isolace, strukturní identifikace, biologická aktivita Klíčová slova: Narcissus, alkaloidy, biologická aktivita, Alzheimerova choroba, cytotoxická aktivita Předmětem této diplomové práce byla izolace alkaloidů se zaměřením na minoritní frakce, které byly získány ze sumárního alkaloidního extraktu Narcissus pseudonarcissus cv. Carlton. Pro účel izolace byla použita metoda preparativní TLC, pomocí které byly z přidělených frakcí izolovány tři látky alkaloidní povahy Fj 3-4/kr, F 7/2-1, F 7/2-3. Tyto látky byly za použití GC-MS, NMR analýzy, optické otáčivosti a následného porovnání s daty v odborné literatuře identifikovány jako alkaloidy homolykorinového typu lykorenin, homolykorin a hippeastrin. U těchto tří alkaloidů byla testována inhibiční aktivita vůči AChE, BuChE, POP a GSK-3β. Jejich inhibiční aktivity vůči AChE a BuChE byly porovnávány se standardy galanthaminem (IC50 AChE = 1,71 ± 0,07 μM, IC50 BuChE = 42,3 ± 1,3 μM) a huperzinem A (IC50 AChE = 0,033 ± 0,001 μM, IC50 BuChE> 1000 μM). Jako standardy pro porovnání inhibiční aktivity vůči POP byly použity Z-Pro-prolinal (IC50 POP = 3,27 ±...
|
|
|
Design archeologického detektoru
Šimková, Hana ; Tauber, Jiří (oponent) ; Rajlich, Jan (vedoucí práce)
Tématem této bakalářské práce je design archeologického detektoru. Hlavním cílem je vytvoření kompaktního zařízení, které splňuje veškeré ergonomické a technické požadavky a zároveň nabízí inovativní tvarování. Výsledný produkt vychází z analýzy současných výrobků dostupných na trhu a determinování jejich problémů. Hlavním přínosem této práce je originální tvarové řešení, které umožňuje nový způsob práce s detektorem.
|
|
|
Analýza dopravní infrastruktury města České Budějovice při vzniku mimořádné události se zaměřením na poskytovatele městské hromadné dopravy
ŠIMKOVÁ, Hana
Tato diplomová práce se zabývá analýzou dopravní infrastruktury města České Budějovice při vzniku mimořádné události, přičemž se konkrétně zaměřuje na poskytovatele městské hromadné dopravy. Cílem bylo zjistit, na jaké úrovni se nachází připravenost poskytovatele městské hromadné dopravy na vznik mimořádné události v rámci dopravní infrastruktury města České Budějovice. Teoretická část diplomové práce se zabývá definicí základních pojmů, které souvisejí s problematikou zvoleného tématu práce. Zejména se pak tato část zaměřuje na jednotlivé druhy dopravy v rámci České republiky a přístup k dopravě z pohledu Evropské unie. Součástí praktické části je základní charakteristika města České Budějovice a dopravy, která se na daném území vyskytuje. Popsána je interakce jednotlivých druhů dopravy s ohledem na integrovaný dopravní systém. Ve výzkumné části je provedena selekce zájmových prvků MHD, které je třeba s ohledem na jejich kritičnost a významnost chránit. Dále je zde uveden řízený rozhovor se zaměstnancem Dopravního podniku města České Budějovice. Pomocí multikriteriální analýzy rizik byla identifikována ta nebezpečí, která jsou schopna ohrozit stanovené zájmové prvky, tzn. zastávky MHD. Na základě všech zjištěných informací a výsledků z analýzy jsou Dopravnímu podniku navrhnuta opatření ke zlepšení připravenosti na vznik mimořádné události. Vzniklá multikriteriální analýzy rizik může posloužit jako základní vstup do případných procesů plánování.
|
|
|
Alkaloidy rodu Narcissus: isolace, strukturní identifikace, biologická aktivita
Šimková, Hana ; Cahlíková, Lucie (vedoucí práce) ; Opletal, Lubomír (oponent)
Univerzita Karlova, Farmaceutická fakulta v Hradci Králové, Katedra farmaceutické botaniky Řešitel: Hana Šimková Školitel: prof. Ing. Lucie Cahlíková, Ph.D. Název diplomové práce: Alkaloidy rodu Narcissus: isolace, strukturní identifikace, biologická aktivita Klíčová slova: Narcissus, alkaloidy, biologická aktivita, Alzheimerova choroba, cytotoxická aktivita Předmětem této diplomové práce byla izolace alkaloidů se zaměřením na minoritní frakce, které byly získány ze sumárního alkaloidního extraktu Narcissus pseudonarcissus cv. Carlton. Pro účel izolace byla použita metoda preparativní TLC, pomocí které byly z přidělených frakcí izolovány tři látky alkaloidní povahy Fj 3-4/kr, F 7/2-1, F 7/2-3. Tyto látky byly za použití GC-MS, NMR analýzy, optické otáčivosti a následného porovnání s daty v odborné literatuře identifikovány jako alkaloidy homolykorinového typu lykorenin, homolykorin a hippeastrin. U těchto tří alkaloidů byla testována inhibiční aktivita vůči AChE, BuChE, POP a GSK-3β. Jejich inhibiční aktivity vůči AChE a BuChE byly porovnávány se standardy galanthaminem (IC50 AChE = 1,71 ± 0,07 μM, IC50 BuChE = 42,3 ± 1,3 μM) a huperzinem A (IC50 AChE = 0,033 ± 0,001 μM, IC50 BuChE> 1000 μM). Jako standardy pro porovnání inhibiční aktivity vůči POP byly použity Z-Pro-prolinal (IC50 POP = 3,27 ±...
|
|
|
Application of Genetic Algorithms and Data Mining in Noise-based Testing of Concurrent Software
Šimková, Hana ; Kofroň, Jan (oponent) ; Lourenco, Joao (oponent) ; Vojnar, Tomáš (vedoucí práce)
This thesis proposes an improvement of the efficiency of testing concurrent software by employing data mining techniques and genetic algorithms in the process of testing concurrent software. Concurrent, or multi-threaded, programming has become very popular over the last few years. However, as the concurrent programming is far more demanding the sequential programming, its increased use leads to a significant increase in the number of errors that appear in commercial software due to errors in synchronization. Finding such errors using traditional testing methods is difficult. Moreover, repeated test executions of traditional testing that are performed in the same environment will typically examine similar interleavings only. Hence, the noise-based injection approach is used for influencing the scheduling by injecting various kinds of noise (delays, context switches, and so on) into the common thread behaviour which stress the software and can to show some rare behaviour. However, for the noise injection to be efficient, one has to choose suitable noise injection heuristics from among the many existing ones as well as to suitably choose values of their various parameters, which is not easy. In this work, there are used data mining methods and genetic algorithms and their combinations to deal with the problem of choosing such noise injection heuristics and values of their parameters. Besides setting up of the goals of the thesis, this proposal also provides a brief summary of the state of the art in application of data mining techniques and genetic algorithms to program testing problems.
|
|
|
Automatické regresní testy pro SW balíčky SDK a CMSIS
Svoboda, Tomáš ; Šimková, Hana (oponent) ; Crha, Adam (vedoucí práce)
Tato bakalářská práce se zabývá návrhem a popisem implementace automatických regresních testů pro softwarové balíčky SDK a CMSIS s využitím systému pro kontinuální integraci Atlassian Bamboo. Cílem bylo vytvořit sadu testů nad vývojovým prostředím MCUXpresso, IAR Workbench a uVision. Dále vytvořit sadu testů pro porovnávání souborových struktur a souborů mezi novými a předešlými verzemi softwarových balíčků. Podstatnou částí této práce je teoretický základ týkající se algoritmu a porovnávání strukturovaných souborů XML a jeho modifikací. Pro vizualizaci výsledků regresních testů, kvůli velkému objemu dat, bylo potřeba vytvořit přehledné výstupní rozhraní.
|
host ::
RSS.