Automated fault localizing and correction in dynamically analyzed programs

• Published in: 2016 4th IEEE International Colloquium on Information Science and Technology (CiSt) pp. 587 - 592
• Main Authors: Arifi, Sara Mernissi, Ouali, Ismail Nait Abdellah, Benabbou, Rachid, Zahi, Azeddine
• Format: Conference Proceeding
• Language: English
• Published: IEEE 01-10-2016
• Subjects: Context; dynamic analysis; Dynamic programming; fault correction; fault localizing; Intelligent systems; Performance analysis; program evaluation; Runtime; Syntactics
• ISSN: 2327-1884
• DOI: 10.1109/CIST.2016.7804954

Within the context of automated evaluation of programs, two approaches are basically distinguished: static and dynamic analysis methods. The former consists of analyzing a program without executing it. The latter executes the analyzed program with a set of test-cases in order to test its correctness. Despite its several advantages, dynamic analysis method presents a major drawback which can be summed up in the inability to analyze a program which fails in the compilation or the execution stage. The main idea of the proposed method is to present an improvement of the dynamic analysis method through the use of fault localizing and correcting as a preprocessing step which precedes the test-cases execution.