Detecting Higher-Order Merge Conflicts in Large Software Projects
Mon 26 Oct 2020 22:15 - 22:45 at Farfetch (D. Maria) - IT2 - Misc Chair(s): Rui Abreu
Merge conflicts can occur when multiple developers work concurrently on the same source code corpus. Diverging textual changes (in the same lines of code) are typically easy to resolve with help of common tools like Git. More challenging are higher-order merge conflicts. They arise as the result of unintended interactions between changes in different parts of the source code. Higher-order merge conflicts can be caused by a combination of changes, and so even thorough testing of the individual development branches might not be able to identify them. We suggest an approach based on static analysis and a prototypical tool to detect potential higher-order merge conflicts. Our method identifies potentially dangerous dependencies between changed code fragments in a call graph. An evaluation on SAP HANA, a very large industrial product in C++, shows that the approach is able to identify 62% of higher-order merge conflicts causing build failures over 22 months project development time. The same prototype finds no instance of higher-order merge conflicts causing test failures in SAP HANA during a two month development period. In summary, our method scales well and can identify higher-order merge conflicts which escape traditional testing.
Mon 26 OctDisplayed time zone: Lisbon change
10:45 - 12:15 | IT2 - MiscIndustry Track at Farfetch (D. Maria) +11h Chair(s): Luís Cruz Deflt University of Technology | ||
10:45 30mTalk | EC.LANG - A Language for Specifying Response Time Analyses of Event Chains Industry Track Max Friese Christian-Albrechts-Universität zu Kiel, Johannes Traub Daimler AG, Dirk Nowotka Christian-Albrechts-Universität zu Kiel Link to publication DOI | ||
11:15 30mTalk | Detecting Higher-Order Merge Conflicts in Large Software Projects Industry Track Link to publication DOI | ||
11:45 30mTalk | Scaling Test Case Generation For Expressive Decision Tables Industry Track Supriya Agrawal Tata Consultancy Services Ltd. (TCS), R Venkatesh Tata Consultancy Services Ltd. (TCS), Ulka Shrotri Tata Consultancy Services Ltd. (TCS), Amey Zare Tata Consultancy Services Ltd. (TCS), Sagar Verma Tata Consultancy Services Ltd. (TCS) Link to publication DOI |
21:45 - 23:15 | IT2 - MiscIndustry Track at Farfetch (D. Maria) Chair(s): Rui Abreu Faculty of Engineering, University of Porto, Portugal | ||
21:45 30mTalk | EC.LANG - A Language for Specifying Response Time Analyses of Event Chains Industry Track Max Friese Christian-Albrechts-Universität zu Kiel, Johannes Traub Daimler AG, Dirk Nowotka Christian-Albrechts-Universität zu Kiel Link to publication DOI | ||
22:15 30mTalk | Detecting Higher-Order Merge Conflicts in Large Software Projects Industry Track Link to publication DOI | ||
22:45 30mTalk | Scaling Test Case Generation For Expressive Decision Tables Industry Track Supriya Agrawal Tata Consultancy Services Ltd. (TCS), R Venkatesh Tata Consultancy Services Ltd. (TCS), Ulka Shrotri Tata Consultancy Services Ltd. (TCS), Amey Zare Tata Consultancy Services Ltd. (TCS), Sagar Verma Tata Consultancy Services Ltd. (TCS) Link to publication DOI |