Sirvi Autor "Holter, Karoliine, juhendaja" järgi

Nüüd näidatakse 1 - 2 2

listelement.badge.access-status Avatud juurdepääs ,
Verifitseerimistööriistade kombineerimine andmejooksude tõhusamaks avastamiseks
(Tartu Ülikool, 2025) Matsiselts, Chris; Vojdani, Vesal, juhendaja; Holter, Karoliine, juhendaja; Tartu Ülikool. Loodus- ja täppisteaduste valdkond; Tartu Ülikool. Arvutiteaduse instituut
The purpose of this Bachelor’s thesis is to create a tool, CoOpeRace CLI, that utilizes the principles of verification cooperation to combine existing verification tools into a single meta-verifier and to find the best configuration of available verification tools for detecting data races. The work provides an overview of software verification, the SV-COMP competition, and the CoOpeRace project. Additionally, the tools developed during the work and the results of experiments conducted using the CoOpeRace CLI are presented.
listelement.badge.access-status Avatud juurdepääs ,
Visual Studio Code pistikprogrammi testimine GobPie näitel
(Tartu Ülikool, 2024) Taivere, Anette; Holter, Karoliine, juhendaja; Tartu Ülikool. Loodus- ja täppisteaduste valdkond; Tartu Ülikool. Arvutiteaduse instituut
Testing is an important part of the software development process. This work aims to explore and apply testing methods to the Visual Studio Code extension GobPie to prevent errors and make the program more reliable. To achieve this, the functionalities of the GobPie extension were studied, requirements were identified, and automated tests were written in Java programming language based on these requirements. Code coverage metrics were used to evaluate the quality of the written tests. Several bugs were discovered in the GobPie extension and fixed throughout the process, and code maintenance was performed to increase code efficiency.