Our paper [1] in collaboration with Chenguang Zhu, Mengshi Zhang, Xiuheng Wu, and Xiufeng Xu was accepted by TOSEM. A quick summary of the paper is given below.
Modern software systems are complex and they heavily rely on external libraries developed by different teams and organizations. Such systems suffer from higher instability due to incompatibility issues caused by library upgrades. In this paper, we address the problem by investigating the impact of a library upgrade on the behaviors of its clients. We developed CompCheck, an automated upgrade compatibility checking framework which generates incompatibility-revealing tests based on previous examples. CompCheck first establishes an offline knowledge base of incompatibility issues by mining from open source projects and their upgrades. It then discovers incompatibilities for a specific client project, by searching for similar library usages in the knowledge base and generating tests to reveal the problems. We evaluated CompCheck on 202 call sites of 35 open-source projects and the results show that CompCheck successfully revealed incompatibility issues on 76 call sites, 72.7% and 94.9% more than two existing techniques, confirming CompCheck’s applicability and effectiveness.
References
- Zhu, C., Zhang, M., Wu, X., Xu, X., & Li, Y. (2023). Client-Specific Upgrade Compatibility Checking via Knowledge-Guided Discovery. ACM Transactions on Software Engineering and Methodology, 32(4), 1–31.