Návrhové vzory v paralelních a distribuovaných systémech
Loading...
Date
Authors
ORCID
Advisor
Referee
Mark
P
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract
V tejto práci je opísaný návrh spôsobu zápisu a práce s paralelnými návrhovými vzormi, ktorého prínosom je možnosť navrhovania automatických oprav existujúcich paralelných zdrojových kódov pomocou refaktoringu. Na to, aby bolo možné navrhovaný spôsob zápisu využiť je potrebné, aby táto práca pokrývala oblasti statickej analýzy kódu, formálneho zápisu paralelných návrhových vzorov a refaktoringu. Statická analýza kódu umožňuje porozumieť existujúcim paralelným zdrojovým kódom a definovať miesta, kam sa má vložiť návrhový vzor. Formálny zápis návrhového vzoru umožňuje automaticky aplikovať daný vzor do existujúceho zdrojového kódu. Nakoniec refaktoring umožňuje upraviť existujúci zdrojový kód bez zmeny funkčnosti. Prvá časť práce sa venuje popisu súčasného stavu v týchto troch oblastiach t.j. analýze kódu, návrhovým vzorom a refaktoringu. Druhá časť práce sa venuje opisu metodiky a experimentálnemu overeniu jej nasadenia.
This Ph.D. thesis describes proposed notation and method for working with parallel design patterns, which allowes proposing of automatic corrections to existing parallel source code with help of refactoring. In order to define the proposed notation, this work must cover areas of static code analysis, formal description of parallel design patterns and refactoring. Static code analysis is used to analyse the existing parallel source code for definition of places where you want to insert specified design pattern. Formal description of design pattern allows you to automatically apply the pattern to the existing source code. Finally, refactoring allows you to edit an existing source code without changing its functionality. The first part is devoted to the description of the current status in these three areas e.g. code analysis, design patterns and refactoring. The second part is devoted to a description of the methodology and experimental verification of its deployment.
This Ph.D. thesis describes proposed notation and method for working with parallel design patterns, which allowes proposing of automatic corrections to existing parallel source code with help of refactoring. In order to define the proposed notation, this work must cover areas of static code analysis, formal description of parallel design patterns and refactoring. Static code analysis is used to analyse the existing parallel source code for definition of places where you want to insert specified design pattern. Formal description of design pattern allows you to automatically apply the pattern to the existing source code. Finally, refactoring allows you to edit an existing source code without changing its functionality. The first part is devoted to the description of the current status in these three areas e.g. code analysis, design patterns and refactoring. The second part is devoted to a description of the methodology and experimental verification of its deployment.
Description
Citation
JURNEČKA, P. Návrhové vzory v paralelních a distribuovaných systémech [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. .
Document type
Document version
Date of access to the full text
Language of document
sk
Study field
Výpočetní technika a informatika
Comittee
Date of acceptance
Defence
Result of defence
práce byla úspěšně obhájena
Document licence
Standardní licenční smlouva - přístup k plnému textu bez omezení