| Algorithm Debugging and Animation (2007) | |||||||||||||
Abstract | |||||||||||||
| The field of debugging remains to be a great area of concern for individuals working in various computing-related disciplines. With computer programs becoming significantly larger and complex over the years, it is inevitable that programmers would have to address the issue of removing “bugs” from their programs – a process which is both time consuming and resource draining. While new debugging strategies and tools have surfaced over the years, most of them suffer from three major flaws – the lack of automation, insufficient error explanation and poor fault localisation. In our work, we attempt to address these three factors in debugging through the use of Shape Analysis (Wilhem, Sagiv & Reps, 2000), coupled with the use of pre- and post-condition verification in our methodology. This will be achieved through the extension of our existing Shape and Size Analyser prototype system (Chin, Nguyen & Luminita, 2005) with animation and graphical capabilities. The program was built on the Eclipse 3.2 platform, drawing on its support for Java 1.5 SE and GUI features from the Standard Widgets Toolkit (SWT) packages. Further details of our implementation will be documented in this report. | |||||||||||||
Publication details | |||||||||||||
| |||||||||||||