|
|
Nástroj pro ladění post-mortem
Kapičák, Peter ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Cieľom tejto práce je kontrolovať užívateľom špecifikované vlastnosti nad stopou programu alebo nad log súborom, ktoré by mal program spĺňať alebo naopak, ktoré by nemal spĺňať. Vlastnosti a ich opis sú základom nástroja pre ladenie post-mortem. Sú transformované na deterministický konečný automat aby sa dali overovať v stopách programov a ich opis je dôležitý pre vyhľadávanie konkrétnych udalostí v stopách programov, ktoré sú automatu posielané na vstup. Výstupom nástroja je výsledná správa o tom či boli vlastnosti splnené alebo porušené. Vytvorené riešenie poskytuje overovanie vlastností stôp programov, log súborov bez ohľadu na ich formát a aké udalosti predchádzali porušeniu vlastnosti.
|
|
|
Návrh prostředí pro ladění vícejádrových systémů
Klčo, Michal ; Matula, Peter (oponent) ; Hynek, Jiří (vedoucí práce)
Táto práca popisuje problém ladenia man-core systémov s využitím intergrovaného vývojového prostredia. Predstavuje niektoré z integrovaných prostredí, debuggerov, ich funkcie a analyzuje ich. Táto práca tiež opisuje návrh a implementáciu modifikácií týchto nástrojov, ktoré pomáhajú uživateľovi ladiť many-core systémy efektívnejšie a pohodlnejšie.
|
|
|
Nástroj pro ladění definice platebního formátu
Kuba, Richard ; Rychlý, Marek (oponent) ; Zendulka, Jaroslav (vedoucí práce)
Hlavním cílem této práce je vyvinout a demonstrovat nástroj pro ladění platebních formátů, který by uživatelům transakce (programu) DMEEX usnadňoval odhalování chyb v definičních stromech. Demonstrace nástroje pro ladění je implementována na platformě SAP S/4HANA. V první části práce jsou popisovány platformy SAP R/3 a SAP S/4HANA, s důrazem na vystižení rozdílů mezi nimi. Dále je pak rozebrána problematika platebních formátů a jejich podpora v rámci systémů SAP. V rámci návrhu je popsán sběr a práce s požadavky uživatelů na tento nástroj. Implementovaný produkt umožňuje uživatelům vizualizovat průběh zpracování definičního stromu transakce DMEEX, díky čemuž jeho uživatelům umožňuje jednodušší odhalování chyb v definici stromu nebo v jeho vstupních datech.
|
|
|
Emulace CPU pro výuku asemblerů
Charvát, Lukáš ; Nagy, Jan (oponent) ; Smrčka, Aleš (vedoucí práce)
Práce řeší tvobu emulátoru počítačové architektury se záměrem pro použití při výuce asemblerů. Zatímco většina dnešních emulátorů je zavislá na specifické architektuře, tato práce popisuje přístup, jak vytvořit emulátor, který by umožnoval uživatelům jednoduše vytvářet vlastní architektury, provádět nad nimi operace a zobrazovat jejich aktuální stav.
|
|
|
Automatizované zpracování provozních záznamů v systému BeeeOn
Beňo, Marek ; Krobot, Pavel (oponent) ; Vampola, Pavel (vedoucí práce)
Práca sa zaoberá spracovaním prevádzkových záznamov zo serverových aplikácií. Architektúra systému bola navrhnutá na základe štúdie dostupných technológií. Implementačná časť popisuje návrh jednotného formátu prevádzkových záznamov a implementáciu logovacej knižnice. Ďalej je popísaná inštalácia nástrojov, ich konfigurácia a nasadenie na server. Výsledkom je systém pre spracovanie prevádzkových záznamov navrhnutý s ohľadom na škálovateľnosť systému do budúcnosti. Systém bol otestovaný a nasadený v rámci fakultného projektu BeeeOn .
|
|
|
Simulace procesoru ARM pro výuku programování v asembleru
Ondryáš, Ondřej ; Goldmann, Tomáš (oponent) ; Orság, Filip (vedoucí práce)
Cílem této práce je vytvoření didaktického nástroje pro simulaci činnosti procesoru z rodiny Arm, který je integrován do editoru Visual Studio Code. Nástroj je určen pro výuku programování těchto procesorů na strojové úrovni. Implementuje službu umožňující překlad jazyka symbolických adres instrukční sady A32 a simulaci provádění jejích instrukcí. Využívá k tomu emulační jádro Unicorn a další nástroje s otevřeným zdrojovým kódem. Rozšíření pro editor poskytuje s pomocí služby podporu pro vývoj a ladění programů v tomto jazyce. Při tvorbě programu zobrazuje uživateli vysvětlivky pro použité instrukce a pomáhá s pochopením jejich funkcí. Při ladění umožňuje krokování a různé pohledy na vnitřní stav simulovaného procesoru, obsah registrů i paměti. Výsledkem práce je řešení, které je možné použít při výuce předmětu Pokročilé asemblery na FIT VUT. V budoucnu bude možné rozšířit jej o podporu jiných architektur a poskytnout tak nástroj pro usnadnění výuky i v dalších předmětech zaměřených na programování na strojové úrovni.
|
|
|
Ladící třída pro PHP
Kluvánek, Jakub ; Krček, Petr (oponent) ; Roupec, Jan (vedoucí práce)
Cílem této práce je vytvořit pomůcku, která bude pomáhat při vytváření a ladění PHP aplikací. Práce rovněž obsahuje přehled toho, jak se v PHP zachází s chybami a výjimkami standardním způsobem. Výsledkem je snadno použitelná třída, která je snadno rozšiřitelná o další funkčnost a obsahuje všechny základní nástroje užitečné při vývoji. Další, neméně důležitou funkcí, této ladící třídy je část, která zpracovává chyby na produkčním serveru. Tato část je nezbytná, protože uživateli by se neměly zobrazovat detailní informace o chybě. Chyby totiž můžou obsahovat citlivé informace (předevšim hesla do databáze, strukturu tabulek,...). Třídu již sám v praxi používám na několika projektech a ukázala se velmi přínosnou.
|
|
|
Aplikace pro nahrávání a přehrávání diskrétního stavového grafu
Melkus, Josef ; Doležal, Jan (oponent) ; Smrž, Pavel (vedoucí práce)
Cílem této práce je vytvořit balíček nástrojů pro integrační testování C++ systémů na základě stavových diagramů. Všechny komponenty balíčku jsou od sebe oddělené a umožňují snadnou výměnu za jinou. Součástí tohoto balíčku je knihovna definující vytváření a přechody stavového diagramu. Dalším nástrojem je rozhraní pracující nad touto knihovnou, které zaznamenává přechody stavů za běhu systému. V rámci testů se uložené přechody porovnávají s etalonem. Etalon je běh systému, který pro dané vstupy považujeme za správný. Další částí je program na samotné porovnávání a skript sloužící k automatizaci testů. Vytvořený systém byl otestován v rámci partnerské společnosti.
|
|
|
Vizualization of Automata Algorithms
Kuchyňka, Jiří ; Češka, Milan (oponent) ; Holík, Lukáš (vedoucí práce)
The goal of this thesis is to design and implement a generic system to visualize algorithms that operate over automata. The resulting system completely separates the part that is dedicated to generating data for visualization and the part that is dedicated to visualizing it. The system only specifies their communication interface. This thesis focuses on integrating such system into existing libraries in a way to minimize the requirements on the programmer to start visualizing the state of their algorithm. The thesis also briefly discusses the possibilities of using such a system to visualize the state of an algorithm while stepping through the program during debugging. The proposed system can be used for teaching, research, and practical applications in automata theory. In the future, the system could be extended with tools to visualize Turing machines and algorithms operating on them.
|
|
|
Simulace procesoru ARM pro výuku programování v asembleru
Ondryáš, Ondřej ; Goldmann, Tomáš (oponent) ; Orság, Filip (vedoucí práce)
Cílem této práce je vytvoření didaktického nástroje pro simulaci činnosti procesoru z rodiny Arm, který je integrován do editoru Visual Studio Code. Nástroj je určen pro výuku programování těchto procesorů na strojové úrovni. Implementuje službu umožňující překlad jazyka symbolických adres instrukční sady A32 a simulaci provádění jejích instrukcí. Využívá k tomu emulační jádro Unicorn a další nástroje s otevřeným zdrojovým kódem. Rozšíření pro editor poskytuje s pomocí služby podporu pro vývoj a ladění programů v tomto jazyce. Při tvorbě programu zobrazuje uživateli vysvětlivky pro použité instrukce a pomáhá s pochopením jejich funkcí. Při ladění umožňuje krokování a různé pohledy na vnitřní stav simulovaného procesoru, obsah registrů i paměti. Výsledkem práce je řešení, které je možné použít při výuce předmětu Pokročilé asemblery na FIT VUT. V budoucnu bude možné rozšířit jej o podporu jiných architektur a poskytnout tak nástroj pro usnadnění výuky i v dalších předmětech zaměřených na programování na strojové úrovni.
|
host ::
RSS.