Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Proceedings of the Fourth Symposium on Programming Languages and Software Tools Visegrd, Hungary, June 910, 1995.

Summary: Proceedings of the Fourth Symposium on Programming Languages and Software Tools
Visegrád, Hungary, June 9­10, 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
e­mail: alexin@inf.u­szeged.hu
2 Research Group on the Theory of Automata at the Hungarian Academy of Sciences
e­mail: gyimi@inf.u­szeged.hu
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
test­database that based on a Category Partition Testing specification of the target


Source: Alexin, Zoltán - Institute of Informatics, University of Szeged


Collections: Computer Technologies and Information Sciences