Static Analyser for BeakerLib Tests

Bc. Zuzana Baranová

Bakalářská práce

Anotace:

Cieľom tejto práce, uskutočnenej v spolupráci s firmou Red Hat, je navrhnúť a implementovať nástroj pre vyhľadávanie chýb (tzv. linter), zameraný na chyby špecifické pre knižnicu BeakerLib, teda cielený na testy, ktoré knižnicu BeakerLib využívajú. Nástroj nadväzuje na kód vyvinutý v rámci projektu bkrdoc. V úvode práce bolo nevyhnutné vymedziť a kategorizovať chyby, ktorých sa programátor môže dopustiť. Keďže knižnica poskytuje dobre definované príkazy, veľa prípadov nesprávneho použitia príkazov možno detekovať bez nutnosti spúšťania testov využitím statickej analýzy, čím sa znižujú náklady a čas strávený testovaním. Funkčnosť výsledného nástroja bola následne posúdená vzhľadom na testy obsahujúce zámerné chyby a testy pochádzajúce z nezávislých projektov.

Abstract:

The aim of this thesis, realized in cooperation with Red Hat, is to design and implement a linter-like tool for BeakerLib-specific mistakes in tests which make use of the BeakerLib library. The tool builds upon code developed within the bkrdoc project. Initially, it was necessary to determine and categorize the possible coding mistakes. As the commands are well-defined, a lot of erroneous use can be detected without the need of actual execution of the tests using static analysis and can thus reduce the cost and time spent on testing. The resulting tool has subsequently been evaluated on both tests containing intentional mistakes and tests written for third-party tools.

Keywords

Linter, Mistake detection, Static analysis, Bash, BeakerLib, Python

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 9. 1. 2017

Obhajoba závěrečné práce

• Obhajoba proběhla 16. 2. 2017
• Vedoucí: RNDr. Vladimír Štill
• Oponent: Mgr. Marek Chalupa

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika