but.committee	prof. Ing. Tomáš Vojnar, Ph.D. (předseda) doc. Mgr. Adam Rogalewicz, Ph.D. (místopředseda) doc. RNDr. Milan Češka, Ph.D. (člen) doc. Ing. Vladimír Drábek, CSc. (člen) Dr. Ing. Petr Peringer (člen) Ing. Aleš Smrčka, Ph.D. (člen)	cs
but.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. Student následně odpověděl otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm A. Otázky u obhajoby: V čem spočívá výhoda univerzálního adaptéru vůči specifickému?	cs
but.jazyk	angličtina (English)
but.program	Informační technologie a umělá inteligence	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Smrčka, Aleš	en
dc.contributor.author	Vašíček, Ondřej	en
dc.contributor.referee	Hrubý, Martin	en
dc.date.accessioned	2021-06-25T07:55:34Z
dc.date.available	2021-06-25T07:55:34Z
dc.date.created	2021	cs
dc.description.abstract	Cílem této práce je poskytnout snadný způsob, jak rozšířit analyzační nástroj o rozhraní splňující standard OSLC. Takové rozhraní umožňuje jednoduchou integraci nástrojů s jinými nástroji nebo systémy, umožňuje jejich vzdálené použití skrze webové služby a umožňuje je jednoduše propojit s databází pro databázové dotazy a pro perzistentní uložení dat. Toto je dosaženo návrhem a implementací OSLC adaptéru pomocí sady nástrojů Eclipse Lyo. Adaptér používá jako rozhraní doménu OSLC Automation a je dostatečně univerzální na to, aby skrze toto rozhraní pokryl funkcionalitu většiny analyzačních nástrojů za pomocí jejich stávajících rozhraní na příkazové řádce. Tato práce poskytuje úvod k OSLC, Eclipse Lyo a souvisejícím konceptům. Dále tato práce definuje požadavky a odlišnosti různých analyzačních nástrojů a diskutuje návrh adaptéru a faktory, které ovlivnily návrhová rozhodnutí. A nakonec prezentuje implementovaný adaptér a jeho vyhodnocení pomocí automatizované testovací sady a pomocí experimentů s řadou analyzačních nástrojů. Nejvýznamnější ukazatel hodnocení vytvořeného adaptéru je to, že už teď je používán v praxi pro přidání OSLC rozhraní k nástrojům ANaConDA, Perun, Spectra (všechny tři vyvíjené na VeriFIT) a HiLiTE (Honeywell).	en
dc.description.abstract	The goal of this work is to provide an easy way of adding an OSLC compliant interface to an analysis tool. Such an interface allows tools to be easily integrated with other tools or systems, allows them to be used remotely due to its web based nature, and allows them to be easily connected with a database for persistency and queries. This is achieved by designing and creating an OSLC adapter using Eclipse Lyo that is universal enough to accommodate the functionality of most analysis tools. This is done by using the OSLC Automation domain interface and by leveraging the current command-line interfaces of analysis tools. This work provides an introduction to OSLC, Eclipse Lyo, and other related topics; defines requirements and differences of analysis tools; covers the design process of the adapter and the factors that impacted design decisions; and finally, presents the implemented adapter and evaluates it by using an automated test suite and then experiments with a set of different analysis tools. The most important evaluation indicator is that the current version of the adapter is already being used in practice to add an OSLC interface to four analysis tools: ANaConDA, Perun, Spectra (all three developed by VeriFIT); and HiLiTE (Honeywell).	cs
dc.description.mark	A	cs
dc.identifier.citation	VAŠÍČEK, O. Adaptér OSLC pro analýzu softwaru [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2021.	cs
dc.identifier.other	136745	cs
dc.identifier.uri	http://hdl.handle.net/11012/200122
dc.language.iso	en	cs
dc.publisher	Vysoké učení technické v Brně. Fakulta informačních technologií	cs
dc.rights	Standardní licenční smlouva - přístup k plnému textu bez omezení	cs
dc.subject	OSLC	en
dc.subject	OSLC adaptér	en
dc.subject	OSLC producent	en
dc.subject	OSLC server	en
dc.subject	OSLC konzument	en
dc.subject	OSLC klient	en
dc.subject	OSLC Automation	en
dc.subject	Eclipse Lyo	en
dc.subject	integrace nástrojů	en
dc.subject	verifikace a analýza software	en
dc.subject	ANaConDA	en
dc.subject	Facebook Infer	en
dc.subject	Perun	en
dc.subject	OSLC	cs
dc.subject	OSLC Adapter	cs
dc.subject	OSLC Provider	cs
dc.subject	OSLC Server	cs
dc.subject	OSLC Consumer	cs
dc.subject	OSLC Client	cs
dc.subject	OSLC Automation	cs
dc.subject	Eclipse Lyo	cs
dc.subject	tool integration	cs
dc.subject	software analysis and verification	cs
dc.subject	ANaConDA	cs
dc.subject	Facebook Infer	cs
dc.subject	Perun	cs
dc.title	Adaptér OSLC pro analýzu softwaru	en
dc.title.alternative	OSLC Adapter for Software Analysis	cs
dc.type	Text	cs
dc.type.driver	masterThesis	en
dc.type.evskp	diplomová práce	cs
dcterms.dateAccepted	2021-06-24	cs
dcterms.modified	2021-09-01-13:10:32	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	136745	en
sync.item.dbtype	ZP	en
sync.item.insts	2021.11.23 00:10:58	en
sync.item.modts	2021.11.22 23:27:43	en
thesis.discipline	Verifikace a testování software	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů	cs
thesis.level	Inženýrský	cs
thesis.name	Ing.	cs

Adaptér OSLC pro analýzu softwaru

Files

Original bundle

Collections