Summary: Proceedings of the Fourth Symposium on Programming Languages and Software Tools
Visegrád, Hungary, June 910, 1995.
IDT: Integrated System for Debugging and
Testing Prolog Programs *
Zoltán Alexin 1 , Tibor Gyimóthy 2 , Gabriella Kókai 3
1 Department of Applied Informatics József Attila University
2 Research Group on the Theory of Automata at the Hungarian Academy of Sciences
3 Department of Informatics József Attila University Hungary
In this paper the IDT (Interactive Diagnosis and Testing) system is presented which
extends the Shapiro's Interactive Diagnosis Algorithms with Category Partition Testing
methods. Shapiro's original system demands a lot of user interactions during debugging;
the user has to answer large number of queries asked by the system. The results of the
debugging are the buggy clause and one of the following three type of errors:
termination with incorrect output, termination with missing output and nontermination.
The goal of the IDT system is to reduce the number of user interactions by introducing a
testdatabase that based on a Category Partition Testing specification of the target