• čeština
    • English
    • русский
    • Deutsch
    • français
    • polski
    • українська
  • čeština 
    • čeština
    • English
    • русский
    • Deutsch
    • français
    • polski
    • українська
  • Přihlásit se
Zobrazit záznam 
  •   Domovská stránka repozitáře
  • Závěrečné práce
  • diplomové práce
  • Fakulta informačních technologií
  • 2020
  • Zobrazit záznam
  •   Domovská stránka repozitáře
  • Závěrečné práce
  • diplomové práce
  • Fakulta informačních technologií
  • 2020
  • Zobrazit záznam
JavaScript is disabled for your browser. Some features of this site may not work without it.

Automatické generování testů pro GNOME GUI aplikace z metadat AT-SPI

Automated Generation of Tests for GNOME GUI Applications Using AT-SPI Metadata

Thumbnail
Zobrazit/otevřít
Posudek-Oponent prace-23191_o.pdf (87.20Kb)
Posudek-Vedouci prace-23191_v.pdf (85.87Kb)
final-thesis.pdf (6.498Mb)
review_129344.html (1.468Kb)
Autor
Krajňák, Martin
Vedoucí práce
Vojnar, Tomáš
Oponent
Smrčka, Aleš
Klasifikace
B
Altmetrics
Metadata
Zobrazit celý záznam
Abstrakt
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.
 
Klíčová slova
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 testing
Jazyk
angličtina (English)
Studijní obor
Bezpečnost informačních technologií
Složení komise
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)
Termín obhajoby
2020-07-15
Průběh obhajoby
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?
Výsledek obhajoby
práce byla úspěšně obhájena
Trvalý odkaz
http://hdl.handle.net/11012/192524
Zdrojový dokument
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.
Kolekce
  • 2020 [134]
Citace PRO

Související záznamy

Zobrazují se záznamy příbuzné na základě názvu, autora a předmětu.

  • Automatické generování testovacích dat informačních systémů 

    Naňo, Andrej
    Nastroj 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, Adam
    Zariadenia, 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ý, Pavol
    Tá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é ...

Portál knihoven VUT | Ústřední knihovna na Facebooku
DSpace software copyright © 2002-2015  DuraSpace
Kontaktujte nás | Vyjádření názoru | Theme by @mire NV
 

 

Procházet

Vše v repozitářiKomunity a kolekceDle data publikováníAutořiNázvyKlíčová slovaTato kolekceDle data publikováníAutořiNázvyKlíčová slova

Můj účet

Přihlásit seZaregistrovat se

Statistiky

Zobrazit statistiky využívání

Portál knihoven VUT | Ústřední knihovna na Facebooku
DSpace software copyright © 2002-2015  DuraSpace
Kontaktujte nás | Vyjádření názoru | Theme by @mire NV