Comparison tools for verifying the composition of modular Java applications

V reálných softwarových projektech se běžně pro různou funkcionalitu využívají knihovny třetích stran. To s sebou však také přináší problémy spojené s nekompatibilitami mezi jednotlivými knihovnami. Pro odhalování těchto problémů existují nástroje ověřující kompozici modulárních Java aplikací. Jedním takovým je nástroj JaCC vyvíjený na Západočeské univerzitě. Problémem při vývoji takového nástroje je však nedostatek testovacích dat. Tato práce řeší daný problém vytvořením sady testovacích dat, které pokrývají co největší množství možných kompatibilních i nekompatibilních změn při vývoji aplikací v jazyce Java. Dále v práci jsou pomocí vytovřených dat otestovány existující nástroje odhalující nekompatibilitu Java aplikací a jsou porovnány s nástrojem JaCC na základě dosažených výsledků na testovacích datech a dalších mimofunkčních charakteristik.ObhájenoIn real software projects is common to use third-party libraries. It brings challenges with incompatibilities between two libraries. There are tools for verifying the composition of modular Java applications to detect these problems. One of these tools is JaCC, which is developed at the University of West Bohemia. The problem by developing the tool is the lack of test data for this tool. The objective of this master's thesis is to create a set of test data to simulate possible compatible and incompatible changes in Java applications. Created data are used for testing existing tools for verifying the composition of modular Java applications. The tools are then compared based on tests results and other non functional characteristics