Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1109/CIST.2016.7804954 | 2016 4th IEEE International Colloquium on Information Science and Technology (CiSt) |
Keywords | Field | DocType |
program evaluation,dynamic analysis,fault localizing,fault correction | Drawback,Dynamic programming,Intelligent decision support system,Computer science,Correctness,Preprocessor,Dynamic program analysis,Distributed computing | Conference |
ISSN | ISBN | Citations |
2327-185X | 978-1-5090-0752-3 | 0 |
PageRank | References | Authors |
0.34 | 5 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sara Mernissi Arifi | 1 | 0 | 0.68 |
Ismail Nait Abdellah Ouali | 2 | 0 | 0.34 |
Rachid Benabbou | 3 | 13 | 1.95 |
Azeddine Zahi | 4 | 56 | 6.30 |