Back to Search
Start Over
Automated Program-Semantic Defect Repair and False-Positive Elimination without Side Effects
- Source :
- Symmetry, Vol 12, Iss 2076, p 2076 (2020), Symmetry, Volume 12, Issue 12
- Publication Year :
- 2020
- Publisher :
- MDPI AG, 2020.
-
Abstract
- 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<br />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.
- Subjects :
- Defect repair
Correctness
Physics and Astronomy (miscellaneous)
Computer science
Semantics (computer science)
General Mathematics
02 engineering and technology
Machine learning
computer.software_genre
automated program repair
020204 information systems
0202 electrical engineering, electronic engineering, information engineering
Computer Science (miscellaneous)
False positive paradox
Repair time
false-positive elimination
program-semantic defect
business.industry
lcsh:Mathematics
Process (computing)
nutritional and metabolic diseases
020207 software engineering
Static analysis
lcsh:QA1-939
nervous system diseases
Chemistry (miscellaneous)
Artificial intelligence
business
computer
Subjects
Details
- Language :
- English
- ISSN :
- 20738994
- Volume :
- 12
- Issue :
- 2076
- Database :
- OpenAIRE
- Journal :
- Symmetry
- Accession number :
- edsair.doi.dedup.....a3f0b695733debe926bf44c337bad67d