Počet záznamů: 1
Knihovna pro statickou analýzu programu
Údaje o názvu Knihovna pro statickou analýzu programu [rukopis] / Jan Holcman Další variantní názvy Statická kontrola běhových vlastností počítačového programu Osobní jméno Holcman, Jan, (autor diplomové práce nebo disertace) Překl.náz Static analysis of a running features of a computer program Vyd.údaje 2022 Fyz.popis 38 s. Poznámka Ved. práce Michal Krupka Oponent Petr Osička Dal.odpovědnost Krupka, Michal (vedoucí diplomové práce nebo disertace) Osička, Petr (oponent) Dal.odpovědnost Univerzita Palackého. Katedra informatiky (udelovatel akademické hodnosti) Klíč.slova statická analýza programu * static program analysis Forma, žánr bakalářské práce bachelor's theses MDT (043)378.22 Země vyd. Česko Jazyk dok. čeština Druh dok. PUBLIKAČNÍ ČINNOST Titul Bc. Studijní program Bakalářský Studijní program Informatika Studijní obor Informatika kniha
Kvalifikační práce Staženo Velikost datum zpřístupnění 00284013-339738024.pdf 0 455.6 KB 27.07.2022 Posudek Typ posudku 00284013-ved-571948617.pdf Posudek vedoucího 00284013-opon-669197416.pdf Posudek oponenta
Tato práce definuje určitý typ vlastností počítačového programu. Dále popisuje způsob, jakým lze rozhodnout, zda daná část programu má, nebo nemá dané vlastnosti tohoto typu. Rozhodování probíhá bez potřeby program spustit a využívá teorii formálních jazyků. Součástí práce je prakticky použitelná knihovna, ve které jsou popsané postupy implementovány.This thesis defines a certain type of a computer program properties. It also describes how to decide whether or not given part of a program has given properties of this type. Deciding process does not need the program to be launched and it utilizes formal language theory. Part of the work is a practically usable library in which described methods are implemented.
Počet záznamů: 1