Vizualizácia výsledkov SMT riešičov

• Název práce v jazyce práce (slovenština): Vizualizácia výsledkov SMT riešičov
• Název práce v češtině: Vizualizace výsledků SMT řešičů
• Název v anglickém jazyce: Visualization of SMT solvers results
• Klíčová slova: SMT|vizualizácia|riešiče|porovnanie|webová aplikácia
• Klíčová slova anglicky: SMT|visualization|solvers|comparison|web application
• Akademický rok vypsání: 2022/2023
• Typ práce: bakalářská práce
• Jazyk práce: slovenština
• Ústav: Katedra distribuovaných a spolehlivých systémů (32-KDSS)
• Vedoucí / školitel: doc. RNDr. Jan Kofroň, Ph.D.
• Řešitel: skrytý - zadáno a potvrzeno stud. odd.
• Datum přihlášení: 07.02.2023
• Datum zadání: 09.02.2023
• Datum potvrzení stud. oddělením: 17.02.2023
• Datum a čas obhajoby: 29.06.2023 09:00
• Datum odevzdání elektronické podoby: 11.05.2023
• Datum odevzdání tištěné podoby: 11.05.2023
• Datum proběhlé obhajoby: 29.06.2023
• Oponenti: doc. RNDr. Pavel Parízek, Ph.D.
• Konzultanti: Mgr. Martin Blicha, Ph.D.

Zásady pro vypracování

Porovnání výkonu různých verzí softwaru při jeho vývoji patří k technikám výrazně přispívajícím k jeho výsledné kvalitě. Ačkoliv existují generická řešení tohoto problému, porovnávání SMT řešičů má svoje specifika, zejména co se týká porovnávání výstupů. Navíc je velmi užitečné nejen porovnávat různé verze jednoho řešiče, ale i různé řešiče mezi sebou, což je opět specifický problém.

Cílem bakalářské práce je navrhnout a implementovat aplikaci (v ideálním případě webovou klient-server aplikaci), která by umožňovala přehledně, tedy formou tabulek a grafů, porovnávat výsledky běhů různých řešičů na základě jejich výstupů (generování výstupů řešičů není součástí práce), ať už pro různé verze jednoho řešiče nebo různých řešičů. Administrátorské rozhraní bude umožňovat vkládání nových vstupních dat formou uploadu souborů na server. Aplikace by měla být použitelná v běžných webových prohlížečích.

Seznam odborné literatury

[1] Blazor, https://dotnet.microsoft.com/en-us/apps/aspnet/web-apps/blazor
[2] Plotly.Blazor, https://github.com/LayTec-AG/Plotly.Blazor
[3] Microsoft.EntityFrameworkCore.Sqlite, https://learn.microsoft.com/en-us/ef/core/