Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

* This work is supported by OTKA501 and ESPRIT BRA 6020. Interactive Diagnosis and Testing of Logic Programs

Summary: * This work is supported by OTKA­501 and ESPRIT BRA 6020.
Interactive Diagnosis and Testing of Logic Programs
Tamás Horváth (e­mail: h158hor@ella.hu)
Tibor Gyimóthy (e­mail: h42gyi@ella.hu)
Zoltán Alexin (e­mail: h157ale@ella.hu)
Ferenc Kocsis (e­mail: h155koc@ella.hu)
Research Group on the Theory of Automata
Hungarian Academy of Sciences, H­6720 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
1 Introduction
The automatic program debugging technique introduced by Shapiro [SHA83] can isolate an erroneous


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


Collections: Computer Technologies and Information Sciences