Localizing Program Logical Errors Using Extraction of Knowledge from Invariants

Program logical error localization and program testing are two of the most important sections in software engineering. Programmers or companies that produce programs will lose their credit and profit effectively if one of their programs delivered to a customer has any drawback. Nowadays there are many methods to test a program. This paper suggests a framework to localize the program logical errors by extraction of knowledge from invariants using a clustering technique.

[1]  Lori A. Clarke,et al.  Data flow analysis for verifying properties of concurrent programs , 1994, SIGSOFT '94.

[2]  Riccardo Poli,et al.  Generalized cycle crossover for graph partitioning , 2006, GECCO '06.

[3]  Michael D. Ernst,et al.  Efficient incremental algorithms for dynamic detection of likely invariants , 2004, SIGSOFT '04/FSE-12.

[4]  Stephen McCamant,et al.  The Daikon system for dynamic detection of likely invariants , 2007, Sci. Comput. Program..

[5]  Penny Grubb,et al.  Software maintenance , 1996 .

[6]  Cagatay Catal,et al.  Software fault prediction: A literature review and current trends , 2011, Expert Syst. Appl..

[7]  William G. Griswold,et al.  Automated support for program refactoring using invariants , 2001, Proceedings IEEE International Conference on Software Maintenance. ICSM 2001.

[8]  Michael D. Ernst,et al.  Automatic generation of program specifications , 2002, ISSTA '02.

[9]  Ambuj K. Singh,et al.  Query-based debugging of object-oriented programs , 1997, OOPSLA '97.

[10]  Alexander L. Wolf,et al.  Discovering models of software processes from event-based data , 1998, TSEM.

[11]  William G. Griswold,et al.  Dynamically Discovering Program Invariants Involving Collections , 2000 .

[12]  Tim Menzies,et al.  Data Mining Static Code Attributes to Learn Defect Predictors , 2007 .

[13]  Yang Meng Tan,et al.  LCLint: a tool for using specifications to check code , 1994, SIGSOFT '94.

[14]  Alexander L. Wolf,et al.  Event-based detection of concurrency , 1998, SIGSOFT '98/FSE-6.

[15]  Melanie Mitchell,et al.  An introduction to genetic algorithms , 1996 .

[16]  Banu Diri,et al.  Investigating the effect of dataset size, metrics sets, and feature selection techniques on software fault prediction problem , 2009, Inf. Sci..