Author: Linkoeping University. Dept. of Computer and Information SciencePublisher:
ISBN:
Category : Debugging in computer science
Languages : en
Pages : 10
Book Description
Generalized Algorithmic Debugging and Testing
Author: Linkoeping University. Dept. of Computer and Information SciencePublisher:
ISBN:
Category : Debugging in computer science
Languages : en
Pages : 10
Book Description
Generalized Algorithmic Debugging
Author: N. ShahmehriPublisher:
ISBN: 9789178708284
Category : Debugging in computer science
Languages : en
Pages : 189
Book Description
Abstract: "This thesis presents a novel method for semi-automatic program debugging -- the Generalized Algorithmic Debugging Technique, GADT. The notion of declarative algorithmic debugging was first introduced for logic programming. However, this is the first algorithmic debugging method based on the principle of declarative debugging which can handle the debugging of programs written in an imperative language including loops and side-effects. In order to localize a bug, the debugging algorithm incrementally acquires knowledge about the debugged program. The knowledge is supplied by the user. The algorithm terminates when the bug has been localized to within the body of a procedure or an explicit loop. The generalized algorithmic debugging method uses program transformation and program flow analysis techniques to transform the subject program to a largely side-effect-free internal form which is used for bug localization. Thus, this algorithm defines two views of a program: (1) The user view which is the original program with side-effects and (2) the transformed view which is the transformed side-effect-free version of the original program. Transparent program debugging is supported by maintaining a mapping between these two views. The bug localization algorithm works on the transformed version, whereas user interactions are defined in terms of the user view. We have presented a general technique which it [sic] is not based on any ad-hoc assumptions about the subject program. The flexibility of this method has made it possible to further improve the bug localization algorithm by employing a number of other techniques, i.e. program slicing and test database lookup, thus increasing the degree of automation provided by GADT. These extensions are topics for ongoing research projects and future work. A survey and evaluation of a number of automated debugging systems and the techniques behind these systems are also presented. We have introduced several criteria for comparing these techniques with GADT. A prototype implementation of the generalized algorithmic debugging technique has been carried out to verify its feasibility, and to provide feedback for further refinement of the method. This has already resulted in a more efficient set of transformations, described in the thesis, compared to the initial prototype."
Automated and Algorithmic Debugging
Author: Peter A. FritzsonPublisher: Springer Science & Business Media
ISBN: 9783540574170
Category : Computers
Languages : en
Pages : 392
Book Description
Debugging has always been a costly part of software development, and many attempts have been made to provide automatic computer support for this task.Automated debugging has seen major develoments over the last decade. Onesuccessful development is algorithmic debugging, which originated in logic programming but was later generalized to concurrent, imperative, and lazy functional languages. Important advances have also been made in knowledge-based program debugging, and in approaches to automated debugging based on static and dynamic program slicing based on dataflow and dependence analysis technology. This is the first collected volume of papers on automated debugging and presents latest developments, tutorial papers, and surveys.
Generalized Algorithmic Debugging
Author: Computational Science - ICCS 2003. Part 4.
Author: Peter SlootPublisher: Springer Science & Business Media
ISBN: 3540401970
Category : Computers
Languages : en
Pages : 1188
Book Description
The four-volume set LNCS 2657, LNCS 2658, LNCS 2659, and LNCS 2660 constitutes the refereed proceedings of the Third International Conference on Computational Science, ICCS 2003, held concurrently in Melbourne, Australia and in St. Petersburg, Russia in June 2003. The four volumes present more than 460 reviewed contributed and invited papers and span the whole range of computational science, from foundational issues in computer science and algorithmic mathematics to advanced applications in virtually all application fields making use of computational techniques. These proceedings give a unique account of recent results in the field.
Automated and Algorithmic Debugging
Author: Peter A. FritzsonPublisher: Springer
ISBN: 9783540574170
Category : Computers
Languages : en
Pages : 367
Book Description
Debugging has always been a costly part of software development, and many attempts have been made to provide automatic computer support for this task.Automated debugging has seen major develoments over the last decade. Onesuccessful development is algorithmic debugging, which originated in logic programming but was later generalized to concurrent, imperative, and lazy functional languages. Important advances have also been made in knowledge-based program debugging, and in approaches to automated debugging based on static and dynamic program slicing based on dataflow and dependence analysis technology. This is the first collected volume of papers on automated debugging and presents latest developments, tutorial papers, and surveys.
Computational Science and Its Applications - ICCSA 2003
Author: Vipin KumarPublisher: Springer Science & Business Media
ISBN: 3540401555
Category : Computers
Languages : en
Pages : 1093
Book Description
The three-volume set, LNCS 2667, LNCS 2668, and LNCS 2669, constitutes the refereed proceedings of the International Conference on Computational Science and Its Applications, ICCSA 2003, held in Montreal, Canada, in May 2003. The three volumes present more than 300 papers and span the whole range of computational science from foundational issues in computer science and mathematics to advanced applications in virtually all sciences making use of computational techniques. The proceedings give a unique account of recent results in computational science.
Hardware and Software, Verification and Testing
Author: Shmuel UrPublisher: Springer
ISBN: 3540326057
Category : Computers
Languages : en
Pages : 275
Book Description
This book constitutes the refereed post-proceedings of the First International Conference on Hardware Verification, Software Testing, and PADTAD held in November 2005. The conference combines the sixth IBM Verification Workshop, the fourth IBM Software Testing Workshop, and the third PADTAD (Parallel and Distributed Systems: Testing and Debugging) Workshop. The 14 revised full papers presented together with three invited contributions were carefully reviewed and selected from 31 submissions. The papers address all current issues in hardware/software verification, software testing, and testing of parallel and concurrent applications.
Artificial Intelligence And Information - Proceedings Of The 6th International Conference
Author: Ivan PlanderPublisher: World Scientific
ISBN: 9814550469
Category :
Languages : en
Pages : 434
Book Description
These proceedings comprise about 50 contributions from experts worldwide. The major themes covered include knowledge-based and expert systems, cognitive modeling, neural networks and AI, image processing and computational geometry, and parallel, distributed and decentralised architecture for AI and robotics.
Artificial Intelligence and Information-control Systems of Robots '94
Author: Ivan PlanderPublisher: World Scientific
ISBN: 9814533904
Category : Artificial intelligence
Languages : en
Pages : 434
Book Description