Skriptování v nástroji I3T a automatizace zveřejňování na GitHubu

Martin Herich

Scripting in I3T and automating GitHub publishing

Type of document

diplomová práce
master thesis

Author

Martin Herich

Supervisor

Felkel Petr

Opponent

Kohout Josef

Field of study

Softwarové inženýrství

Study program

Otevřená informatika

Institutions assigning rank

katedra počítačů

Rights

A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.html
Vysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html

Metadata

Show full item record

Abstract

I3T jako interaktivní nástroj pro výuku transformací dosud podporoval pouze statické výukové scénáře, které nedokážou vyhodnocovat postup uživatele. Nástroj lze rozšiřovat jen na úrovni C++ kódu. Do nástroje bylo implementováno skriptovací rozhraní v jazyce Lua, které přidává možnost interakce s aplikací prostřednictvím konzole nebo souborů a umožňuje přidávat interaktivní prvky do tutoriálů. Dále bylo navrženo a zprovozněno automatizované sestavování a publikování binárních verzí aplikace na platformě GitHub. Byla doplněna automatizovaná analýza kódu pomocí nástrojů statické analýzy a přeložené aplikace pomocí testů. Nakonec byla analyzována možnost kompilace nástroje do WebAssembly umožňující jeho použití ve webovém prostředí. Výsledkem je skriptovací rozhraní umožňující další rozšíření tutoriálů a aplikace. Díky automatizaci statické analýzy kódy bylo odhaleno velké množství chyb a nekonzistentního kódu. Zavedení automatizovaných testů pomáhá zabránit zavlečení nových chyb při dalším rozvoji aplikace, a činí tak nástroj stabilnějším.

I3T as an interactive tool for teaching transformations has so far only supported static learning scenarios that cannot evaluate user progress. The tool can only be extended at the C++ code level. A Lua scripting interface has been implemented in the tool, which adds the ability to interact with the application via the console or script files and allows adding interactive elements to tutorials. In addition, automated build and publishing binary versions of the application was designed and implemented on the GitHub platform. Automated code analysis using static analysis tools has been added and checking the compiled application using tests. Finally, the possibility of compiling the tool into WebAssembly was analyzed to enable its use in a web environment. The result is a scripting interface allowing further extension of the tutorials and the application. By automating the static code analysis, a large number of bugs were discovered and inconsistent code was uncovered. The introduction of automated tests helps to prevent the introduction of new bugs when further development of the application, thus making the tool more stable.