Next Article in Journal
Weight Queue Dynamic Active Queue Management Algorithm
Previous Article in Journal
Simultaneous and Non-Simultaneous Quenching for a System of Multi-Dimensional Semi-Linear Heat Equations
Article

Automated Program-Semantic Defect Repair and False-Positive Elimination without Side Effects

College of Computer Science and Technology, China University of Petroleum, Qingdao 266580, China
*
Author to whom correspondence should be addressed.
Symmetry 2020, 12(12), 2076; https://doi.org/10.3390/sym12122076
Received: 22 November 2020 / Revised: 6 December 2020 / Accepted: 7 December 2020 / Published: 14 December 2020
The alarms of the program-semantic defect-detection report based on static analysis include defects and false positives. The repair of defects and the elimination of false positives are time-consuming and laborious, and new defects may be introduced in the process. To solve these problems, the safe constraints interval of related variables and methods are proposed for the semantic defects in the program, and proposes a functionally equivalent no-side-effect program-semantic defect repair and false-positive elimination strategy based on the test-equivalence theory. This paper realizes the automatic repair of the typical semantic defects of Java programs and the automatic elimination of false positives by adding safe constraint patches. After the repair, the program functions are equivalent and the status of each program point is within the safety range, so that the functions before and after the defect repair are consistent, and the functions and semantics before and after the false positives are eliminated. We have evaluated our approach by repairing 5 projects; our results show that the repair strategy does not require manual confirmation of alarms, automated repair of the program effectively, shortened the repair time greatly, and ensured the correctness of the program after the repair. View Full-Text
Keywords: automated program repair; false-positive elimination; program-semantic defect automated program repair; false-positive elimination; program-semantic defect
Show Figures

Figure 1

MDPI and ACS Style

Dong, Y.; Wu, M.; Pang, S.; Zhang, L.; Yin, W.; Wu, M.; Li, H. Automated Program-Semantic Defect Repair and False-Positive Elimination without Side Effects. Symmetry 2020, 12, 2076. https://doi.org/10.3390/sym12122076

AMA Style

Dong Y, Wu M, Pang S, Zhang L, Yin W, Wu M, Li H. Automated Program-Semantic Defect Repair and False-Positive Elimination without Side Effects. Symmetry. 2020; 12(12):2076. https://doi.org/10.3390/sym12122076

Chicago/Turabian Style

Dong, Yukun, Mengying Wu, Shanchen Pang, Li Zhang, Wenjing Yin, Meng Wu, and Haojie Li. 2020. "Automated Program-Semantic Defect Repair and False-Positive Elimination without Side Effects" Symmetry 12, no. 12: 2076. https://doi.org/10.3390/sym12122076

Find Other Styles
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Access Map by Country/Region

1
Back to TopTop