Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  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
debugging
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