| Title: | Analýza popisů sémantického kontraktu v Java technologiích |
| Other Titles: | Analysis of semantic contracts in Java technologies |
| Authors: | Mareš, Václav |
| Advisor: | Brada Přemysl, Doc. Ing. MSc., Ph.D. |
| Referee: | Herout Pavel, Doc. Ing. Ph.D. |
| Issue Date: | 2018 |
| Publisher: | Západočeská univerzita v Plzni |
| Document type: | diplomová práce |
| URI: | http://hdl.handle.net/11025/31800 |
| Keywords: | design by contract;sémantické kontrakty;guava preconditions;jsr305;java;analýza kódu;dekompilace;zajištění kvality software |
| Keywords in different language: | design by contract;semantic contracts;guava preconditions;jsr305;java;code analysis;decompilation;software quality assurance |
| Abstract: | 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. |
| Abstract in different language: | 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. |
| Rights: | Plný text práce je přístupný bez omezení. |
| Appears in Collections: | Diplomové práce / Theses (KIV) |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| vmares_dp.pdf | Plný text práce | 1,07 MB | Adobe PDF | View/Open |
| A16N0052Phodnoceni-ved.PDF | Posudek vedoucího práce | 412,24 kB | Adobe PDF | View/Open |
| A16N0052Pposudek-op.PDF | Posudek oponenta práce | 565,96 kB | Adobe PDF | View/Open |
| A16N0052Pobhajoba.PDF | Průběh obhajoby práce | 208,85 kB | Adobe PDF | View/Open |
Please use this identifier to cite or link to this item:
http://hdl.handle.net/11025/31800Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.