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

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.