Automated regression unit test generation for program merges

被引:0
作者
Tao Ji
Liqian Chen
Xiaoguang Mao
Xin Yi
Jiahong Jiang
机构
[1] National University of Defense Technology,College of Computer
[2] Beijing Institute of Tracking and Telecommunication Technology,undefined
来源
Science China Information Sciences | 2022年 / 65卷
关键词
D O I
暂无
中图分类号
学科分类号
摘要
We propose test oracles for real-world program merges including two-way, three-way, and octopus merges. On this basis, we implemented a tool called TOM to automatically generate test cases to reveal merge conflicts. In addition, we designed the benchmark MCon4J to support further studies on merges. In our experiments, a total of 45 conflict three-way merges and 87 conflict octopus merges were detected using TOM, while the verification-based tool SafeMerge failed to work on MCon4J.
引用
收藏
相关论文
共 4 条
[1]  
Mens T(2002)A state-of-the-art survey on software merging IEEE Trans Software Eng 28 449-462
[2]  
Sousa M(2018)Verified three-way program merge Proceedings of the ACM on Programming Languages 2 165-undefined
[3]  
Dillig I(undefined)undefined undefined undefined undefined-undefined
[4]  
Lahiri S K(undefined)undefined undefined undefined undefined-undefined