Debugging and testing of Prolog programs

MaRDI QIDQ2763587zbMATH OpenFDO

Authors G. Kókai, Lásló Harmath, T. Gyimóthy

Publication date 20 January 2002

zbMATH Keywords

debuggingprogramsPrologslicingtesting

Mathematics Subject Classification ID

Logic programming (68N17)

Review text

Authors proposed a new method for the algorithmic debugging and functional testing of Prolog programs. The method is named IDTS (Integrated Debugging, Testing and Slicing) and integrates Shapiro's Interactive Diagnosis Algorithm, as well as some ideas from imperative programming languages. Namely, basic concept of IDTS is similar to the GADT (General Algorithmic Debugging and Testing). The main difference between the GADT and the IDTS is that the GADT has been applied to imperative languages and the IDTS to logic programs. The IDTS method provides the avoiding irrelevant questions to the user by categorizing input parameters and match them against test cases and test database. The IDTS is used in a large ECG classifier program and in an interactive learner.NEWLINENEWLINEFor the entire collection see [Zbl 0977.00022].

Recommendations

• IDT: integrated system for debugging and testing Prolog programs
• scientific article; zbMATH DE number 5706177
• scientific article; zbMATH DE number 1235365
• Algorithmic debugging generalized
• scientific article; zbMATH DE number 1870455

Cited in

(6)

• Logical debugging
• IDT: integrated system for debugging and testing Prolog programs
• A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics
• scientific article; zbMATH DE number 3947593 (Why is no real title available?)
• scientific article; zbMATH DE number 1235365 (Why is no real title available?)
• Tracing Prolog programs by source instrumentation is efficient enough

This page was built for publication: Debugging and testing of Prolog programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2763587)