Automatické generování testů pro GNOME GUI aplikace z metadat AT-SPI
Automated Generation of Tests for GNOME GUI Applications Using AT-SPI Metadata

Автор
Advisor
Vojnar, TomášReferee
Smrčka, AlešGrade
BAltmetrics
Metadata
Показать полную информациюАннотации
Cieľom tejto práce je vývoj nástroja na automatické generovanie testov pre aplikácie s grafickým užívateľským rozhraním v~prostredí GNOME. Na generovanie testov sú použité metadáta asistenčných technológií, konrétne AT-SPI. Navrhnutý generátor testov využíva dané metadáta na vytvorenie modelu testovanej aplikácie. Model mapuje sekvencie udalostí, ktoré generátor vykoná na testovanej aplikácii počas generovania testov. Súčasťou procesu generovania je zároveň detekcia závažných chýb v testovaných aplikáciách. Výstupom procesu generovania sú automatizované testy, ktoré sú vhodné na regresné testovanie. Funkčnosť implementovaného generátora testov bola úspešne overená testovaním 5 aplikácií s otvoreným zdrojovým kódom. Počas testovania aplikácií navrhnutým nástrojom sa preukázala schopnosť detekovať nové chyby. 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.
Keywords
testovanie grafických uživateľských rozhraní, testovanie GUI, GNOME, AT-SPI, MBT, testovanie aplikácií s otvorených zdrojovým kódom, generovanie testov, asistenčné technológie, testovanie na základe modelu, black-box testovanie, GUI testing, GNOME, AT-SPI, MBT, open-source application testing, test generation, accessibility technologies, model based testing, black-box testingLanguage
angličtina (English)Study brunch
Bezpečnost informačních technologiíComposition of Committee
prof. Ing. Martin Drahanský, Ph.D. (předseda) doc. Mgr. Adam Rogalewicz, Ph.D. (místopředseda) Ing. Ondřej Lengál, Ph.D. (člen) Mgr. Kamil Malinka, Ph.D. (člen) Ing. Filip Orság, Ph.D. (člen) Ing. Vladimír Veselý, Ph.D. (člen)Date of defence
2020-07-15Process of defence
Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm B. Otázky u obhajoby: Is there a plan for further development of the test generation tool? Nástroj AT-SPI je primárně určen k testování, nebo pro zlepšení přístupnosti pro nevidomé? Jaké informace poskytuje?Result of the defence
práce byla úspěšně obhájenaSource
KRAJŇÁK, M. Automatické generování testů pro GNOME GUI aplikace z metadat AT-SPI [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2020.Collections
- 2020 [134]
Citace PRO
Related items
Showing items related by title, author, creator and subject.
-
Automatické generování testovacích dat informačních systémů
Naňo, AndrejNastroj ISAGENumoznuje automaticke generovanie komplexnych sturkturovanych testovacich vstupov imitujucich realnu komunikaciu z prostredia modernych informacnych systemov. Komplexne data, typicky so strukturou stromu v ... -
Black-box analýza zabezpečení Wi-Fi
Venger, AdamZariadenia, na ktoré sa každodenne spoliehame, sú stále zložitejšie a využívajú zložitejšie protokoly. Jedným z týchto protokolov je Wi-Fi. S rastúcou zložitosťou sa zvyšuje aj potenciál pre implementačné chyby. Táto práca ... -
Nástroj na testování síťových aplikací
Hornický, PavolTáto diplomová práca sa zaoberá problematikou testovania softvéru. Podrobnejšie popisuje rôzne druhy a spôsoby testovania, ako sú testovanie bielej skrinky, testovanie čiernej skrinky, jednotkové, integračné či regresné ...