|
|
Automatizované testování webových aplikací
Běloch, Tomáš ; Očenášek, Pavel (oponent) ; Rychlý, Marek (vedoucí práce)
Tato práce se zabývá automatizací v procesu testování webových aplikací. Teoretická část je zaměřena na zajišťování kvality softwarových produktů a služeb. V práci je dále rozebrána problematika automatizace dílčích druhů testování a jsou popsány některé testovací nástroje. Podrobněji se pak teoretická část zabývá nástrojem Selenium a systémy pro kontinuální integraci. Praktická část se zaměřuje na podrobnou analýzu, návrh a realizaci automatizovaných testovacích skriptů pro službu Claudu společnosti IBA CZ, s. r. o. V závěru práce je shrnut její přínos pro autora a společnost a nastíněn další plánovaný vývoj.
|
|
| |
|
|
Vývoj software řízený testem
Navrátil, Dušan ; Rychlý, Marek (oponent) ; Zendulka, Jaroslav (vedoucí práce)
Tato bakalářská práce představuje agilní metodologii zvanou vývoj řízený testy a ilustruje její použití na ukázkovém příkladě pomocí testovacího nástroje. Během ilustrace jsou vysvětleny techniky sloužící k dosažení cíle softwarového projektu. Dále je diskutován vliv vývoje řízeného testy na kvalitu sofwarového produktu.
|
|
|
Testing of generated C compilers for processors in embedded systems
Dolíhal, Luděk ; Kubátová, Hana (oponent) ; Vojnar, Tomáš (oponent) ; Hruška, Tomáš (vedoucí práce)
The embedded systems have become essential for our everyday lives. They are usually highly specialized and optimized single purpose devices. The cores of this devices are usually composed of one or more application specific instruction-set processors. This dissertation thesis is focused on testing of tools for design of application specific instruction set processors (ASIP) and ASIPs itself. The aim is to create a system, that allows testing of the tools such as compiler, assembler, disassembler or debugger. Nevertheless, there is also need for more complex tests, for example integration tests, that ensure there is no incompatibility between the tools. Author created with support of continuous integration server an environment, that helps to reveal and fix errors during the design of the application specific processors and moreover this environment is automatized up to certain point.
|
|
|
Practical Methods of Automated Verification of Concurrent Programs
Fiedor, Jan ; Arcaini, Paolo (oponent) ; Farchi, Eitan (oponent) ; Vojnar, Tomáš (vedoucí práce)
Nowadays, multi-threaded programs are quite common and so are concurrency errors. Over the years, many techniques were developed to detect such errors, yet software developers still struggle to find the right tools to analyse their programs. The reason is simple, working does not always mean practical. Many tools implementing the detection techniques are hard to use, tailored for a specific kind of programs or synchronisation, or do not scale well to handle large software. For some types of concurrency errors, no tools even exist, yet many software developers encounter such errors in their programs. The main goal of this thesis is to develop new techniques for detecting errors in multi-threaded programs. These techniques should be able to handle complex programs, allow one to detect some of the less studied types of concurrency errors, and support a broad variety of programs.
|
|
|
Automatická tvorba testovacích případů z datových toků
Kraut, Daniel ; Fiedor, Tomáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá automatickou tvorbou testovacích případů na úrovni jednotkového testování, pro zdrojové texty v jazyce C. K dosažení automatizace jsou použity metody přístupu k software jako k datovým tokům proměnných. Je zde nastíněn náhled na průběh tvorby testů a funkci CSP solverů, které jsou nezbytnou částí pro rozhodnutelnost těhto problémů. Statická analýza kódu je umožněna knihovnou LibTooling v projektu překladačového front-endu Clang. Jsou uvedeny výstupy z aplikace, jimiž jsou automaticky vytvořené vstupní hodnoty pro testovací případy.
|
|
|
Komparace výsledků talentových zkoušek z atletiky v letech 2007 - 2016
Skalická, Andrea ; Jebavý, Radim (vedoucí práce) ; Vindušková, Jitka (oponent)
Název: Komparace výsledků talentových zkoušek z atletiky v letech 2007 - 2016 Cíle: Cílem práce je porovnání výsledků talentových zkoušek z atletiky na UK FTVS v letech 2007 - 2016. Ve zkoumané skupině jsou jak muži, tak ženy jednooborových i dvouoborových forem studia, prezenční i kombinované formy. Metody: Metodika práce je zaměřena na všechny uchazeče a uchazečky, kteří se v letech 2007 - 2016 přihlásili k talentovým zkouškám a dosáhli minimálního požadovaného bodového zisku 1 bod. Výsledky: Sledují výkonnost uchazečů v běžeckých disciplínách v rozmezí deseti let. Klíčová slova: atletika, testování, talentové zkoušky, motorické testy, 800 m žen, 1500 m mužů, sprint 100 m
|
|
|
Rozcvičení a tonizace ve fotbale
Slicho, Tomáš ; Jebavý, Radim (vedoucí práce) ; Hojka, Vladimír (oponent)
Název: Rozcvičení a tonizace ve fotbale Cíle: Komparace vlivu dvou typů rozcvičení na opakované testy explozivní síly horních a dolních končetin, akcelerační a agility test. Metody: Výzkumný soubor se skládal ze 17 hráčů kategorie starších žáků, kteří absolvovali čtyři testy po dvou vybraných typech rozcvičení, rozcvičení s tonizací a rozcvičení bez tonizace. Měřené testy se skládali z akcelerace na 30 metrů, člunkového běhu, hodu medicinbalem a skoku do dálky. Měřilo se v celkové době tří tréninků, s týdenní pauzou mezi jednotlivými testování, v rámci terénního experimentu. Ve výsledkové části jsme použili metodu analýzy pro rozbor výsledků všech testů. Komparaci jsme využili při porovnávaní výsledků testů po dvou různých typech rozcvičení. Naměřené hodnoty byly zpracovány pomocí tabulek a grafů. Výsledky: Hodnoty hráčů v testech po tonizačním rozcvičení byli lepší nežli výsledky hráčů po rozcvičení bez tonizace, ale na hranici malé věcné významnosti. Největší rozdíl byl v testu akcelerace na 30 m, nejmenší rozdíl byl v hodu medicinbalem. První hypotéza se tak nepotvrdila, druhá byla ale úspěšně potvrzena. Závěr: I když se z výsledků, které jsme naměřili první hypotéza nepotvrdila, můžeme mluvit o tendencích zlepšení ve prospěch experimentální skupiny na úrovni malé věcné významnosti. Klíčová...
|
|
|
Kontinuum léčby virové hepatitidy typu C mezi klienty nízkoprahových programů pro uživatele drog v Praze
Havlíková, Petra ; Mravčík, Viktor (vedoucí práce) ; Janíková, Barbara (oponent)
Východiska: Virová hepatitida typu C (VHC) představuje rozsáhlý veřejnozdravotní problém celosvětově a také v České republice. V ČR žije podle odhadu z roku 2015 až 80 tisíc osob s chronickou VHC, většina z nich je pravděpodobně tvořena injekčními uživateli drog. V současné době probíhají globální i národní snahy o eliminaci VHC, které se soustřeďují především na zkvalitnění léčebného kontinua od zajištění dostupnosti testování přes zapojení této skupiny do léčby, udržení v léčbě, dosažení léčebné odpovědi až po následnou péči. Cíl: Popsat kontinuum péče o injekční uživatele drog v oblasti VHC (zmapovat protestovanost, zjistit, jaká část reaktivních klientů vstupuje do další léčby, kolik klientů léčbu dokončí) a popsat faktory, které na tento proces působí. Na základě získaných dat se pokusit vytvořit doporučení pro pracovníky adiktologických služeb směrem ke zlepšení kontinua péče. Metodika: Bylo provedeno dotazníkové šetření mezi klienty nízkoprahových kontaktních center pro uživatele drog v Praze. Výzkumný soubor tvořilo celkem 60 namátkově vybraných respondentů, vždy 20 z každého ze tří center. Data byla analyzována pomocí deskriptivní statistiky. Sběr dat byl proveden v srpnu 2019. Výsledky: Z celkem 60 respondentů bylo celkem 37 (61,6 %) v posledních 12 měsících testováno na VHC. Celkem 25 z...
|
|
|
Srovnání přístupů k testování anglického a francouzského jazyka v mezinárodních zkouškách
Burgonová, Nicole ; Klinka, Tomáš (vedoucí práce) ; Nováková, Sylva (oponent)
Tato diplomová práce se zabývá anglickými a francouzskými mezinárodními zkouškami a zejména se zaměřuje na to, jak organizace v těchto zkouškách přistupují k testování znalostí daného jazyka. V teoretické části je popsán proces koncepce testů, stejně tak jako požadavky na kvalitní test a úlohy, které testy obsahují. Práce se zaměřuje i na to, co to jsou řečové dovednosti, a jakým způsobem je lze testovat. Prostor je věnován i obecnému představení zvolených institucí a druhům zkoušek, které potenciálnímu zájemci nabízejí. V praktické části jsou jednotlivé zkoušky analyzovány na základě ukázkových testů, které jsou volně dostupné na stránkách institucí, a následně mezi sebou porovnány. Z výsledků vyplývá, že přestože obě instituce a jimi nabízené zkoušky vycházejí ze stejného rámce a zároveň se zaměřují na testování řečových dovedností kandidáta, jejich přístup k testování se značně liší. Tato práce proto také nabízí komentář k těmto objeveným rozdílům a klade si za cíl nabídnout možné alternativy a úpravy, které by mohly pomoci ke kvalitnějšímu testování znalosti těchto jazyků. Dalším cílem je také posloužit hlavně zájemcům, které by zkoušky zajímaly a také učitelům, kteří své studenty na takové zkoušky připravují. KLÍČOVÁ SLOVA anglický jazyk, francouzský jazyk, testování, mezinárodní jazykové...
|
host ::
RSS.