Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  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
e­mail:kokai@inf.u­szeged.hu
Abstract
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