Webový správce pro Unite
Loading...
Date
Authors
Zavadil, Michal
Advisor
Referee
Mark
A
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně. Fakulta informačních technologií
ORCID
Abstract
Nástroje pro statickou a dynamickou analýzu softwaru jsou osvědčené metody pro zajištění vyšší kvality softwaru. Nástroje pro statickou analýzu odhalují chyby přímo ve zdrojovém kódu, zatímco dynamické nástroje spouštějí program a detekují tak problémy, které jsou těžko odhalitelné pro statické metody. Unite je adaptér, který převádí standardní příkazové rozhraní analytických nástrojů na API odpovídající standardu OSLC. Díky OSLC je možné jej snadno integrovat do existujících nástrojů pro správu životního cyklu softwaru. Cílem této práce je vytvořit webový nástroj, který dokáže spravovat k více instancí Unite a spouštět tak analýzy paralelně. Backendová část správce sleduje stav jednotlivých instancí a rovnoměrně rozděluje zátěž, aby bylo dosaženo co nejrychlejšího dokončení analýz a efektivního využití dostupných prostředků. Webové uživatelské rozhraní správce umožňuje snadné zadávání požadavků, přičemž běžné scénáře jsou zjednodušeny pomocí automatického doplňování známých parametrů. Mezi typické akce patří opětovná registrace analyzovaného systému (SUT) a opakované spuštění analýzy.
Static and dynamic software analysis tools are well-established ways to ensure higher software quality. Static tools spot errors in the source code itself, while dynamic tools execute the program and detect issues that static methods identify with difficulty. Unite is an adapter that transforms the standard command-line interface of analysis tools into an OSLC-compliant API. The OSLC standard ensures an easy interface integration into an existing software lifecycle management toolset. This thesis aims to create a web tool that is able to manage multiple Unite instances, thereby running multiple analyses in parallel. The manager has a backend server that monitors the instances and balances the load, ensuring the fastest analysis completion and balanced utilization of resources. Additionally, the manager provides a web user interface that serves to create requests conveniently and supports common use cases by minimizing user interaction and by prefilling known parameters. The common actions include SUT re-registration and analysis rerun.
Static and dynamic software analysis tools are well-established ways to ensure higher software quality. Static tools spot errors in the source code itself, while dynamic tools execute the program and detect issues that static methods identify with difficulty. Unite is an adapter that transforms the standard command-line interface of analysis tools into an OSLC-compliant API. The OSLC standard ensures an easy interface integration into an existing software lifecycle management toolset. This thesis aims to create a web tool that is able to manage multiple Unite instances, thereby running multiple analyses in parallel. The manager has a backend server that monitors the instances and balances the load, ensuring the fastest analysis completion and balanced utilization of resources. Additionally, the manager provides a web user interface that serves to create requests conveniently and supports common use cases by minimizing user interaction and by prefilling known parameters. The common actions include SUT re-registration and analysis rerun.
Description
Keywords
analýza softwaru , verifikace softwaru , statická analýza , dynamická analýza , OSLC , OSLC Automation , Unite , webová aplikace , Svelte , Express.js , vyvažování zátěže , UI/UX , software analysis , software verification , static analysis , dynamic analysis , OSLC , OSLC Automation , Unite , web application , Svelte , Express.js , load balancing , UI/UX
Citation
ZAVADIL, M. Webový správce pro Unite [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2025.
Document type
Document version
Date of access to the full text
Language of document
en
Study field
Informační systémy a databáze
Comittee
doc. Dr. Ing. Dušan Kolář (předseda)
RNDr. Marek Rychlý, Ph.D. (člen)
Ing. Zbyněk Křivka, Ph.D. (člen)
Ing. Šárka Květoňová, Ph.D. (člen)
Ing. Radek Hranický, Ph.D. (člen)
Ing. Jiří Hynek, Ph.D. (člen)
Date of acceptance
2025-06-23
Defence
Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Komise se na základě posudku oponenta, hodnocení vedoucího a přednesené prezentace rozhodla práci hodnotit stupněm A - výborně.
Result of defence
práce byla úspěšně obhájena
