Summary: * This work is supported by OTKA501 and ESPRIT BRA 6020.
Interactive Diagnosis and Testing of Logic Programs
Tamás Horváth (email: email@example.com)
Tibor Gyimóthy (email: firstname.lastname@example.org)
Zoltán Alexin (email: email@example.com)
Ferenc Kocsis (email: firstname.lastname@example.org)
Research Group on the Theory of Automata
Hungarian Academy of Sciences, H6720 Szeged
Aradi vértanúk tere 1., Hungary
Abstract: In this paper a method (called IDT) is presented which combines Shapiro's
Interactive Diagnosis Algorithm with the Category Partition Testing Method. This
method can be used both in the debugging and in the testing of Prolog programs.
The basic idea of IDT is that the test database prepared by the Category Partition
Testing can be used to reduce the amount of user interaction during the debugging.
In the IDT method the diagnosis process effects the testing hence IDT can be
considered as an integrated debugging and testing method.
Keywords: logic programs, category partition testing method, algorithmic
The automatic program debugging technique introduced by Shapiro [SHA83] can isolate an erroneous