Comparison tools verifying the backward compatibility of Java libraries

Na katedře informatiky a výpočetní techniky Západočeské univerzity v Plzni je vyvíjen softwarový nástroj Java Compatibility Checker (JaCC) na kontrolu (testovaní) zpětné kompatibility softwaru. Nicméně samotný nástroj je nutné také otestovat, zda dovede nalézt změny provedené v daném softwaru. Testovací data k tomuto účelu však nejsou dostupná. Cílem této práce je tedy vytvořit rozsáhlou sadu testovacích dat simulující inkrementální vývoj s nejrůznějšími změnami v knihovně porušující i zachovávající zpětnou kompatibilitu, neboť je důležité, aby nástroj odhalil porušení, ale zároveň neoznačil zachovávající změnu. Dalším bodem práce je nalézt nástroje na kontrolu zpětné kompatibility a porovnat je na základě testování za použití vytvořených dat a v této práci definovaných mimofunkčních charakteristik.ObhájenoIn the Department of Computer Science and Engineering of University of West Bohemia in Pilsen there is being developed a software tool for checking of backward compatibility called Java Compatibility Checker (JaCC). This tool needs to be tested if it can find incompatible changes in a library successfully. Unfortunately data for this kind of testing does not exist. The goal of this thesis is creation of an extensive set of testing data simulating incremental software development with many different changes in a library either breaking or keeping backward compatibility. It is important for a tool to discover broken compatibility but to not report compatible change. The next part of the thesis is the analysis of tools checking backward compatibility and compare them based on test results using prepared testing data and other non-functional criteria