Installation and Extension of VerifierCloud

Bc. Alex Herčko

Bakalářská práce

Anotace:

Vývoj softvérových nástrojov si vyžaduje testovanie ich korektnosti, v ideálnom prípade na veľkom množstve vstupných dát. Okrem toho môže byť užitočné zmerať zdroje, ktoré nástroj využíva, a porovnať ich merania s predchádzajúcimi verziami toho istého nástroja alebo ich porovnať s inými nástrojmi, ktoré riešia rovnaké problémy. Tieto úlohy plní framework BenchExec. VerifierCloud je distribuovaný systém založený na nástroji BenchExec. VerifierCloud je distribuovaný systém založený na nástroji BenchExec. VerifierCloud je distribuovaný systém založený na nástroji BenchExec. Táto práca sa zameriava na VerifierCloud, jeho inštaláciu a nasadenie na účely testovania a porovnávania softvérových verifikátorov a iného softvéru, ktorý možno spúšťať a porovnávať pomocou nástroja BenchExec. VerifierCloud umožňuje rýchlejšie a pohodlnejšie spúšťanie benchmarkov. Táto práca tiež implementuje BenchStore, ktorý umožňuje ukladať a získavať výsledky vygenerované programom BenchExec/VerifierCloud, čo používateľom poskytuje pohodlnejší spôsob porovnávania výsledkov rôznych benchmarkov.

Abstract:

Developing a software tool requires testing for its correctness, ideally on a large set of input data. Additionally, it can be helpful to measure the resources used by the tool and to compare the measurements against previous versions of the same tool or compare them with other tools that solve the same problems. These are the tasks that the framework BenchExec accomplishes. VerifierCloud is a distributed system based on BenchExec. This thesis focuses on VerifierCloud, installing and deploying it for testing and benchmarking software verifiers and other software that can be executed and benchmarked by BenchExec. VerifierCloud allows for faster and more convenient benchmark execution. This thesis also implements BenchStore, which allows storing and retrieving results generated by BenchExec/VerifierCloud, giving users a more convenient way to compare the results of different benchmarking runs.

Keywords

benchmarking, software verification, BenchExec, VerifierCloud, distributed execution, Docker, GitLab CI/CD, .NET C#, ASP.NET Core

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 18. 5. 2023

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

• Obhajoba proběhla 26. 6. 2023
• Vedoucí: Mgr. Marek Trtík, Ph.D.
• Oponent: doc. Mgr. Jan Obdržálek, PhD.

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Informatika / Informatika