DocumentCode :
3658660
Title :
Concolic Metamorphic Debugging
Author :
Hao Jin;Yanyan Jiang;Na Liu;Chang Xu;Xiaoxing Ma;Jian Lu
Author_Institution :
State Key Lab. for Novel Software Technol., Nanjing Univ., Nanjing, China
Volume :
2
fYear :
2015
fDate :
7/1/2015 12:00:00 AM
Firstpage :
232
Lastpage :
241
Abstract :
Debugging is challenging and labor-intensive. Debugging programs with weak or no oracle is even more difficult due to lack of passing and failing test runs as well as their comparisons. To address these challenges, we exploit metamorphic relations to construct new programs that are enhanced with synthesized oracle, and combine concolic testing and branch-switching debugging to localize potentially faulty places in original programs. We name our approach concolic metamorphic debugging (or Comedy for short). We experimentally evaluated Comedy with real-world Java programs. The experimental results reported that Comedy successfully generated debugging report for 88.4% of 2,330 faulty programs. The average branch distance between the reported locations and the real fault places is only 1.68. Besides, 36% of the debugging reports precisely locate the fault.
Keywords :
"Debugging","Testing","Switches","Software","Arrays","Java","Concrete"
Publisher :
ieee
Conference_Titel :
Computer Software and Applications Conference (COMPSAC), 2015 IEEE 39th Annual
Electronic_ISBN :
0730-3157
Type :
conf
DOI :
10.1109/COMPSAC.2015.79
Filename :
7273623
Link To Document :
بازگشت