Static Analyser for BeakerLib Tests

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.


Faculty of Informatics

Date of Completion

fall 2016



Vladimír Štill


David Kutálek


Zuzana Baranová