Vizualizácia výsledkov SMT riešičov
| Thesis title in thesis language (Slovak): | Vizualizácia výsledkov SMT riešičov |
|---|---|
| Thesis title in Czech: | Vizualizace výsledků SMT řešičů |
| Thesis title in English: | Visualization of SMT solvers results |
| Key words: | SMT|vizualizácia|riešiče|porovnanie|webová aplikácia |
| English key words: | SMT|visualization|solvers|comparison|web application |
| Academic year of topic announcement: | 2022/2023 |
| Thesis type: | Bachelor's thesis |
| Thesis language: | slovenština |
| Department: | Department of Distributed and Dependable Systems (32-KDSS) |
| Supervisor: | doc. RNDr. Jan Kofroň, Ph.D. |
| Author: | hidden - assigned and confirmed by the Study Dept. |
| Date of registration: | 07.02.2023 |
| Date of assignment: | 09.02.2023 |
| Confirmed by Study dept. on: | 17.02.2023 |
| Date and time of defence: | 29.06.2023 09:00 |
| Date of electronic submission: | 11.05.2023 |
| Date of submission of printed version: | 11.05.2023 |
| Date of proceeded defence: | 29.06.2023 |
| Opponents: | doc. RNDr. Pavel Parízek, Ph.D. |
| Advisors: | Mgr. Martin Blicha, Ph.D. |
| Guidelines |
| 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. |
| References |
| [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/ |