TY - GEN
T1 - TailorFix
T2 - 9th IEEE International Conference on Software Engineering and Service Science, ICSESS 2018
AU - Ma, Chunyan
AU - Zhao, Tong
AU - Li, Shangru
AU - Zhang, Tao
N1 - Publisher Copyright:
© 2018 IEEE.
PY - 2018/7/2
Y1 - 2018/7/2
N2 - The repair of software faults is an important task of software engineering. In this paper, an automated repair framework, called TailorFix is designed and implemented based on abstract syntax tree and repair operators, which is easily expandable by adding different types of repair operators. The TailorFix can be combined with a variety of fault localization technologies. In this paper, we integrate the Delta Debugging technique, as an example, into TailorFix, to achieve a fully automated fault localization and repair for assignment statements of C programs. By classifying faults of assignment statements and designing nine kinds of repair operators, a repair method that applies mutation technology to abstract syntax tree is proposed based on the location information of the Delta Debugging. Finally, experimental subjects of SIR (Software-artifact Infrastructure Repository) are used to verify the effectiveness of the TailorFix. With TailorFix, the average rate is high (on average 85.67%for various types of faults) for assignment statements. The proposed TailorFix framework can achieves more accurate repairs using the corresponding repair operators with respect to abstract syntax tree of different grammar structures, and does not require manual repair patterns, specifications, constraint solving, or search space.
AB - The repair of software faults is an important task of software engineering. In this paper, an automated repair framework, called TailorFix is designed and implemented based on abstract syntax tree and repair operators, which is easily expandable by adding different types of repair operators. The TailorFix can be combined with a variety of fault localization technologies. In this paper, we integrate the Delta Debugging technique, as an example, into TailorFix, to achieve a fully automated fault localization and repair for assignment statements of C programs. By classifying faults of assignment statements and designing nine kinds of repair operators, a repair method that applies mutation technology to abstract syntax tree is proposed based on the location information of the Delta Debugging. Finally, experimental subjects of SIR (Software-artifact Infrastructure Repository) are used to verify the effectiveness of the TailorFix. With TailorFix, the average rate is high (on average 85.67%for various types of faults) for assignment statements. The proposed TailorFix framework can achieves more accurate repairs using the corresponding repair operators with respect to abstract syntax tree of different grammar structures, and does not require manual repair patterns, specifications, constraint solving, or search space.
KW - an automated repair framework
KW - Delta Debugging
KW - fault localization technologies
KW - repair operator
UR - http://www.scopus.com/inward/record.url?scp=85063619541&partnerID=8YFLogxK
U2 - 10.1109/ICSESS.2018.8663714
DO - 10.1109/ICSESS.2018.8663714
M3 - 会议稿件
AN - SCOPUS:85063619541
T3 - Proceedings of the IEEE International Conference on Software Engineering and Service Sciences, ICSESS
SP - 978
EP - 982
BT - ICSESS 2018 - Proceedings of 2018 IEEE 9th International Conference on Software Engineering and Service Science
A2 - Wenzheng, Li
A2 - Babu, M. Surendra Prasad
PB - IEEE Computer Society
Y2 - 23 November 2018 through 25 November 2018
ER -