Bakalářská práce

Installation and Extension of VerifierCloud

Alex Herčko
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 …více

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 …více

Klíčová slova
benchmarking software verification BenchExec VerifierCloud distributed execution Docker GitLab CI/CD .NET C# ASP.NET Core
Zadání práce
VerifierCloud is a software solution for execution of massive experiments in a distributed environment. The software is developed at LMU Munich and used e.g. for evaluation of SV-COMP and Test-Comp competitions. The software is still under development, but it is available on request. The main goal of this thesis is to adopt, install, and configure VerifierCloud to computers in the laboratory Formela and to create suitable documentation and guides for local users. The second goal is to extend VerifierCloud with a common storage of experimental results accessible to laboratory members.
Administrativní informace
Práce zkontrolována:
19. 5. 2023 13:31, Mgr. Marek Trtík, Ph.D., učo 329313
Plný text práce
1,2 MB / soubor PDF
Přílohy (5)
Jazyk práce
angličtina angličtina
Termín obhajoby
26. 6. 2023
Práce byla úspěšně obhájena

Vedoucí

Mgr. Marek Trtík, Ph.D., učo 329313
KTP FI MU

Oponent

doc. Mgr. Jan Obdržálek, PhD., učo 1552
KTP FI MU

Konzultant

prof. RNDr. Jan Strejček, Ph.D., učo 3366
KTP FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Plán
Informatika

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.