|
|
Sada testů pro projekt OpenLDAP/NSS
Špůrek, David ; Očenášek, Pavel (oponent) ; Smrčka, Aleš (vedoucí práce)
Cílem práce je vytvořit sadu testů pro projekt OpenLDAP/NSS. Práce objasňuje principy testování, možnosti automatizace testování v prostředí GNU/Linux a vysvětluje pojmy LDAP i NSS. Testy jsou navrženy pro distribuci Fedora/Red Hat Enterprise Linux a jsou automatizovány pomocí skriptování v shellu s využitím knihovny Beakerlib pro testování. Pro návrh testů je použita metoda black box. Testy se zaměřují na integraci OpenLDAP a NSS. V práci jsou navrhnuty a implementovány testy pro balíky openldap-clients, kerberos, nss-pam-ldapd, samba a autofs.
|
|
|
Automatizované testování robotickým manipulátorem
Pernikář, Aleš ; Davídek, Daniel (oponent) ; Richter, Miloslav (vedoucí práce)
Tato bakalářská práce se zabývá automatizováním testovacích procedur software pomocí automaticky řízeného robotického manipulátoru. Práce stanovuje požadavky na počáteční podmínky testů, jejich průběh a způsob vyhodnocení výsledků. Dále popisuje testované prostředí YSoft SafeQ a multifunkční tiskárny, na kterých se daný software využívá. V práci jsou navrhnuty algoritmy pro řízení manipulátoru a získávání výsledků ze snímacích zařízení. Dále jsou popsány vlastní navrhnuté knihovny pro vytvoření rozhraní mezi testovacím prostředí a testovacím nástrojem. Při realizování testů je využito prostředí Robot Framework, v němž jsou navrhnuty testovací plány, které jsou následně realizovány na vzdáleném zařízení pomocí testovacího rozhraní Atlassian Bamboo.
|
|
|
Testování software při uplatnění vývoje řízeného doménou
Polešovský, Tomáš ; Bartík, Vladimír (oponent) ; Rychlý, Marek (vedoucí práce)
Tato práce se zabývá možnostmi automatizace testování software se zaměřením na aplikace vyvíjené pomocí techniky Domain-driven design (DDD). Na tomto teoretickém základě byl poté vytvořen generátor automatických testů v programovacím jazyce Java. Celé řešení demonstruje informační systém půjčovny aut, který ke své činnosti využívá framework Apache ISIS. Vygenerované testy spadají do agilní metodiky Behaviour-driven design (BDD).
|
|
|
Zajištění kvality webových aplikací pomocí nástrojů automatického testování
Reš, Radim ; Očenášek, Pavel (oponent) ; Kreslíková, Jitka (vedoucí práce)
Tato diplomová práce se zabývá problematikou zajištění kvality webových aplikací pomocí nástrojů automatického testování. Cílem této práce je navrhnout a implementovat řešení pro automatické regresní testování mapové webové aplikace. V první části práce jsou proto popsané principy zajištění kvality softwaru se zaměřením na testování softwaru. V následující části navazuje kapitola o možnostech automatického testování software založené na analýze dostupných nástrojů pro podporu automatického testování webových aplikací. Další kapitoly diplomové práce se zabývají volbou vhodného nástroje automatického testování, návrhem a implementací řešení pro automatické regresní testování mapové webové aplikace.
|
|
|
Analýza kódu v jazyce C pro účely testování zpětného překladu
Dítě, Viktor ; Kolář, Dušan (oponent) ; Matula, Peter (vedoucí práce)
Cílem této práce je rozšíření aplikačního rámce pro tvorbu regresních testů o novou funkcionalitu pro analýzu kódu v jazyce C . Tento aplikační rámec je vytvořen v jazyce Python a pro analýzu zdrojového kódu využívá překladač clang . Práce obsahuje popis oboru zpětného inženýrství a zpětného překladače společnosti AVG . Dále je stručně představena oblast testování software a jazyk C . Následuje popis navržených a implementovaných rozšíření. Tato rozšíření jsou předvedena na ukázkových testech. V závěru nalezneme shrnutí výsledků práce.
|
|
|
Analysis and Testing of Concurrent Programs
Letko, Zdeněk ; Lourenco, Joao (oponent) ; Sekanina, Lukáš (oponent) ; Vojnar, Tomáš (vedoucí práce)
The thesis starts by providing a taxonomy of concurrency-related errors and an overview of their dynamic detection. Then, concurrency coverage metrics which measure how well the synchronisation and concurrency-related behaviour of tested programs has been examined are proposed together with a~methodology for deriving such metrics. The proposed metrics are especially suitable for saturation-based and search-based testing. Next, a novel coverage-based noise injection techniques that maximise the number of interleavings witnessed during testing are proposed. A comparison of various existing noise injection heuristics and the newly proposed heuristics on a set of benchmarks is provided, showing that the proposed techniques win over the existing ones in some cases. Finally, a novel use of stochastic optimisation algorithms in the area of concurrency testing is proposed in the form of their application for finding suitable combinations of values of the many parameters of tests and the noise injection techniques. The approach has been implemented in a prototype way and tested on a set of benchmark programs, showing its potential to significantly improve the testing process.
|
|
|
Statická detekce častých chyb JBoss aplikačního serveru
Vyvial, Pavel ; Rogalewicz, Adam (oponent) ; Letko, Zdeněk (vedoucí práce)
Práce si klade za úkol poskytnout čtenáři popis statické analýzy prováděné prostřednictvím nástroje FindBugs nad aplikačním serverem JBoss od společnosti Red Hat. Na základě analýzy vybraných chyb byly vytvořeny vzory pro jejich detekci, které byly následně naimplementovány jako zásuvné moduly statického analyzátoru FindBugs (tzv. detektory). Vytvořené detektory byly otestovány na vývojové verzi JBoss aplikačního serveru a výsledky jsou publikovány v závěru práce.
|
|
|
Návrh infrastruktury pro testování React komponent
Pokladova, Tamara
Tato diplomová práce se zabývá problematikou testování webových aplikací napsaných v jazyce React.js (Typescript) a metodami efektivní organizace udrži-telné testovací infrastruktury v zadaných podmínkách. Části práce popisují jak formální teoretické přístupy k řešení problémů tak i neformální praktické. Zámě-rem práce je kromě toho zvýšení povědomí o procesu testování – popis výhod správně testovaných produktů lze taky najít v pasážích práce. Výstupem teoretické části je obecnější doporučení v podobě schématu a popisu sekvence kroků nápo-mocných při provádění testovacích aktivit. Praktický přínos této práce spočívá v zřízení testovací infrastruktury pro konkrétní firmu-zadavatele přizpůsobením univerzálního postupu jejím potřebám a stavu.
|
|
|
Analýza kódu v jazyce C pro účely testování zpětného překladu
Dítě, Viktor ; Kolář, Dušan (oponent) ; Matula, Peter (vedoucí práce)
Cílem této práce je rozšíření aplikačního rámce pro tvorbu regresních testů o novou funkcionalitu pro analýzu kódu v jazyce C . Tento aplikační rámec je vytvořen v jazyce Python a pro analýzu zdrojového kódu využívá překladač clang . Práce obsahuje popis oboru zpětného inženýrství a zpětného překladače společnosti AVG . Dále je stručně představena oblast testování software a jazyk C . Následuje popis navržených a implementovaných rozšíření. Tato rozšíření jsou předvedena na ukázkových testech. V závěru nalezneme shrnutí výsledků práce.
|
|
|
Testování software při uplatnění vývoje řízeného doménou
Polešovský, Tomáš ; Bartík, Vladimír (oponent) ; Rychlý, Marek (vedoucí práce)
Tato práce se zabývá možnostmi automatizace testování software se zaměřením na aplikace vyvíjené pomocí techniky Domain-driven design (DDD). Na tomto teoretickém základě byl poté vytvořen generátor automatických testů v programovacím jazyce Java. Celé řešení demonstruje informační systém půjčovny aut, který ke své činnosti využívá framework Apache ISIS. Vygenerované testy spadají do agilní metodiky Behaviour-driven design (BDD).
|
host ::
RSS.