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

Bc. Antonín SLEZÁČEK

Master's thesis

Static Verification of Third-party Application Dependencies Correctness

Abstract:

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.

Keywords

java, kompatibilita komponent, maven plugin

Language used: Czech

Date on which the thesis was submitted / produced: 16. 5. 2013

Accessible from:: 31. 12. 2999

Thesis defence

• Supervisor: Ing. Kamil Ježek, Ph.D.

University of West Bohemia

Faculty of Applied Sciences

Master programme / field:
Computer Science and Engineering / Software Engineering