Porovnání nástrojů ověřujících kompozici modulárních Java aplikací

Abstract

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.