Automated fault localizing and correction in dynamically analyzed programs

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...

Full description

Saved in:

Bibliographic Details
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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	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.
ISSN:	2327-1884
DOI:	10.1109/CIST.2016.7804954