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

Bc. Antonín SLEZÁČEK

Diplomová práce

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 podobě Maven plugin lze snadno zaintegrovat do vývojového procesu a preventivné předejí problémům spojených s nekompatibilitou komponent.

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. This work uses static analysis of the byte-code to detect incompatibilities in the system. As a Maven plugin it is easy to integrate this tool to the development process and with that prevent problems during runtime because of incompatibility of components.

Klíčová slova

java, kompatibilita komponent, maven plugin

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.

ZÁPADOČESKÁ UNIVERZITA V PLZNI

Fakulta aplikovaných věd

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