| Název: | Analýza popisů sémantického kontraktu v Java technologiích |
| Další názvy: | Analysis of semantic contracts in Java technologies |
| Autoři: | Mareš, Václav |
| Vedoucí práce/školitel: | Brada Přemysl, Doc. Ing. MSc., Ph.D. |
| Oponent: | Herout Pavel, Doc. Ing. Ph.D. |
| Datum vydání: | 2018 |
| Nakladatel: | Západočeská univerzita v Plzni |
| Typ dokumentu: | diplomová práce |
| URI: | http://hdl.handle.net/11025/31800 |
| Klíčová slova: | design by contract;sémantické kontrakty;guava preconditions;jsr305;java;analýza kódu;dekompilace;zajištění kvality software |
| Klíčová slova v dalším jazyce: | design by contract;semantic contracts;guava preconditions;jsr305;java;code analysis;decompilation;software quality assurance |
| Abstrakt: | Tato diplomová práce se zabývá analýzou popisu sémantického kontraktu v Java technologiích. Hlavní náplní práce je tvorba nástroje, který umožní extrakci vybraných konstrukcí design by contract, které se řadí do kategorie sémantických kontraktů. Aby bylo možné daný nástroj vytvořit, je nejprve nutné navrhnout model, který umožní zachytit reprezentaci různých kontraktů. První část práce je věnována teoretickému úvodu do problematiky kontraktů, zejména pak design by contract a následně rozboru jazyka Java z hlediska gramatiky a tokenizace. Druhá část pak obsahuje informace o implementaci daného nástroje, společně s návrhem modelu a dosaženými výsledky. |
| Abstrakt v dalším jazyce: | This master thesis deals with analysis of descriptions of semantic contracts in Java technologies. Main purpose of this thesis is creation of a tool which enables extraction of chosen constructs of design by contract which is part of semantic contracts. To be able to create the tool it is firstly necessary to design model which enables to store representations of various contracts. First part of this thesis is dedicated to theoretical introduction to contracts especially design by contract and then to analysis of programming language Java from the point of grammar and tokenization. Second part contains information about the implementation of the tool including the design of the model and results of this work. |
| Práva: | Plný text práce je přístupný bez omezení. |
| Vyskytuje se v kolekcích: | Diplomové práce / Theses (KIV) |
Soubory připojené k záznamu:
| Soubor | Popis | Velikost | Formát | |
|---|---|---|---|---|
| vmares_dp.pdf | Plný text práce | 1,07 MB | Adobe PDF | Zobrazit/otevřít |
| A16N0052Phodnoceni-ved.PDF | Posudek vedoucího práce | 412,24 kB | Adobe PDF | Zobrazit/otevřít |
| A16N0052Pposudek-op.PDF | Posudek oponenta práce | 565,96 kB | Adobe PDF | Zobrazit/otevřít |
| A16N0052Pobhajoba.PDF | Průběh obhajoby práce | 208,85 kB | Adobe PDF | Zobrazit/otevřít |
Použijte tento identifikátor k citaci nebo jako odkaz na tento záznam:
http://hdl.handle.net/11025/31800Všechny záznamy v DSpace jsou chráněny autorskými právy, všechna práva vyhrazena.