|
|
Generátor testovacích běhů nad GUI
Sojčák, Juraj ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Grafické používateľské rozhrania tvoria významnú časť počítačových systémov. Z tohto dôvodu sú kladené čoraz väčšie nároky na ich správne fungovanie, ktoré môže byť dosiahnuté testovaním. Táto práca popisuje princíp testovania na základe modelu, pomocou ktorého je možné automatizovane generovať testovacie prípady. V tejto práci je definovaný model, ktorý je možné využiť na modelovanie bežne používaných GUI, algoritmus na získavanie takéhoto modelu z GUI a prostriedok na definovanie kritéria pokrytia modelu GUI.
|
|
|
Testování platformy JBoss Drools založené na modelu
Široký, Petr ; Holík, Lukáš (oponent) ; Letko, Zdeněk (vedoucí práce)
Technika testování založeného na modelu (MBT) využívá model chování systému k automatickému generování sady testů, čímž snižuje nákladnost testování oproti konvenčnímu manuálnímu vývoji a udržbě testů. Tato práce se zaměřuje na využití zvoleného MBT nástroje OSMO při testování reálného softwarového produktu. Konkrétně se o jedná kompilátor podnikových pravidel využívaný v systému Drools, který je spoluvyvíjený společností Red Hat. V práci je popsán způsob zavedení MBT přístupu s ohledem na jeho dobré přijetí komunitou vývojářů, dále pak vytvoření modelu možných vstupů testovaného kompilátoru a zhodnocení vytvořené testovací sady. Využití MBT přístupu vedlo k odhalení pěti nahlášených a tří potencionálních a dosud nehlášených chyb v testovaném kódu. Práce na příkladu shrnuje hlavní přednosti i praktické nedostatky využití MBT technik v praxi.
|
|
|
Automated Generation of Tests for GNOME GUI Applications Using AT-SPI Metadata
Krajňák, Martin ; Smrčka, Aleš (oponent) ; Vojnar, Tomáš (vedoucí práce)
The goal of this work is the development of a tool capable of automatic test generation for GUI applications in the GNOME desktop environment. The tests are generated using metadata provided by the assistive technologies, specifically the AT-SPI. The proposed test generator utilizes the given metadata to create a model of a tested application. The model maps the event sequences that are applied on the tested application during the test generation process. The generation process involves the detection of severe bugs in the tested application. The results of the test generation process are automated test cases suitable for regression testing. The functionality of the implemented test generator was successfully verified by testing 5 open-source applications. The testing of applications performed by the proposed tool has proven the ability to reveal new bugs.
|
|
|
Studie využití technologie biosušení komunálních odpadů
Pilnáček, Vojtěch ; Benešová, Libuše (vedoucí práce) ; Innemanová, Petra (oponent)
Hlavním cílem práce bylo navrhnout a zkonstruovat modelový reaktor biosušení a vyzkoušet a porovnat různé režimy provzdušnění. Dalším cílem bylo posoudit využitelnost procesu biosušení pro zpracování odpadu vznikajícího na území ČR. Reaktor se podařilo úspěšně navrhnout, zkonstruovat a uvést do provozu. Byly vyzkoušeny dva režimy provzdušnění: režim řízený podle koncentrace kyslíku a režim řízený podle teploty v horní vrstvě reaktoru. Lepší výsledky z hlediska dosažené výhřevnosti a poklesu vlhkosti podávaly procesy řízené podle teploty. Z hlediska energetické bilance byl lepší proces řízený podle koncentrace kyslíku č. 2. Výsledky ovšem silně závisí na složení odpadu (obsahu organické složky) a vlhkosti okolního vzduchu. Na základě experimentu vyvstávají zajímavé otázky pro další výzkum. Odpad vznikající v ČR je z energetického hlediska vhodný pro zpracování procesem biosušení. Z ekonomického hlediska je hlavním problémem odbyt produkovaného paliva.
|
|
|
Automated Generation of Tests for GNOME GUI Applications Using AT-SPI Metadata
Krajňák, Martin ; Smrčka, Aleš (oponent) ; Vojnar, Tomáš (vedoucí práce)
The goal of this work is the development of a tool capable of automatic test generation for GUI applications in the GNOME desktop environment. The tests are generated using metadata provided by the assistive technologies, specifically the AT-SPI. The proposed test generator utilizes the given metadata to create a model of a tested application. The model maps the event sequences that are applied on the tested application during the test generation process. The generation process involves the detection of severe bugs in the tested application. The results of the test generation process are automated test cases suitable for regression testing. The functionality of the implemented test generator was successfully verified by testing 5 open-source applications. The testing of applications performed by the proposed tool has proven the ability to reveal new bugs.
|
|
|
Generátor testovacích běhů nad GUI
Sojčák, Juraj ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Grafické používateľské rozhrania tvoria významnú časť počítačových systémov. Z tohto dôvodu sú kladené čoraz väčšie nároky na ich správne fungovanie, ktoré môže byť dosiahnuté testovaním. Táto práca popisuje princíp testovania na základe modelu, pomocou ktorého je možné automatizovane generovať testovacie prípady. V tejto práci je definovaný model, ktorý je možné využiť na modelovanie bežne používaných GUI, algoritmus na získavanie takéhoto modelu z GUI a prostriedok na definovanie kritéria pokrytia modelu GUI.
|
|
|
Studie využití technologie biosušení komunálních odpadů
Pilnáček, Vojtěch ; Benešová, Libuše (vedoucí práce) ; Innemanová, Petra (oponent)
Hlavním cílem práce bylo navrhnout a zkonstruovat modelový reaktor biosušení a vyzkoušet a porovnat různé režimy provzdušnění. Dalším cílem bylo posoudit využitelnost procesu biosušení pro zpracování odpadu vznikajícího na území ČR. Reaktor se podařilo úspěšně navrhnout, zkonstruovat a uvést do provozu. Byly vyzkoušeny dva režimy provzdušnění: režim řízený podle koncentrace kyslíku a režim řízený podle teploty v horní vrstvě reaktoru. Lepší výsledky z hlediska dosažené výhřevnosti a poklesu vlhkosti podávaly procesy řízené podle teploty. Z hlediska energetické bilance byl lepší proces řízený podle koncentrace kyslíku č. 2. Výsledky ovšem silně závisí na složení odpadu (obsahu organické složky) a vlhkosti okolního vzduchu. Na základě experimentu vyvstávají zajímavé otázky pro další výzkum. Odpad vznikající v ČR je z energetického hlediska vhodný pro zpracování procesem biosušení. Z ekonomického hlediska je hlavním problémem odbyt produkovaného paliva.
|
|
|
Testování platformy JBoss Drools založené na modelu
Široký, Petr ; Holík, Lukáš (oponent) ; Letko, Zdeněk (vedoucí práce)
Technika testování založeného na modelu (MBT) využívá model chování systému k automatickému generování sady testů, čímž snižuje nákladnost testování oproti konvenčnímu manuálnímu vývoji a udržbě testů. Tato práce se zaměřuje na využití zvoleného MBT nástroje OSMO při testování reálného softwarového produktu. Konkrétně se o jedná kompilátor podnikových pravidel využívaný v systému Drools, který je spoluvyvíjený společností Red Hat. V práci je popsán způsob zavedení MBT přístupu s ohledem na jeho dobré přijetí komunitou vývojářů, dále pak vytvoření modelu možných vstupů testovaného kompilátoru a zhodnocení vytvořené testovací sady. Využití MBT přístupu vedlo k odhalení pěti nahlášených a tří potencionálních a dosud nehlášených chyb v testovaném kódu. Práce na příkladu shrnuje hlavní přednosti i praktické nedostatky využití MBT technik v praxi.
|
host ::
RSS.