Bc. Antonín SLEZÁČEK

Diplomová práce

Statické ověření korektnosti vazeb aplikací třetích stran

Static Verification of Third-party Application Dependencies Correctness
Anotace:
Mezi jeden z nejrozšířenějších staticky typovaných porgramovacích jazyků patří bezesporu Java. Trendem moderního programovaní je využití komponent třetích stran. Závislosti a sestavení často obsarává Apache Maven. Problém je však v slabé definici závislosti. Často pak dochází k nekompatibilitám a pádům za běhu aplikace. Tato práce využívá statické analýzy byte kódu k odhalení nekompatibilit v systému …více
Abstract:
One of most commonly used statically typed programming language is Java. Modern trend in programming is to leverage of using third party components. These dependencies and build cycle can be managed by Apache Maven. The problem lies in very weak definition of component dependency. Then incompatibilities comes to the place very often and as a result of that the application falls during the runtime. …více
 
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 16. 5. 2013
Zveřejnit od: 31. 12. 2999

Obhajoba závěrečné práce

  • Vedoucí: Ing. Kamil Ježek, Ph.D.

Citační záznam

Jak správně citovat práci

SLEZÁČEK, Antonín. Statické ověření korektnosti vazeb aplikací třetích stran. Plzeň, 2013. diplomová práce (Ing.). ZÁPADOČESKÁ UNIVERZITA V PLZNI. Fakulta aplikovaných věd

Plný text práce

Právo: Autor si nepřeje zpřístupnění práce veřejnosti

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • Soubory jsou nedostupné.
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: ZÁPADOČESKÁ UNIVERZITA V PLZNI, Fakulta aplikovaných věd

ZÁPADOČESKÁ UNIVERZITA V PLZNI

Fakulta aplikovaných věd

Magisterský studijní program / obor:
Inženýrská informatika / Softwarové inženýrství