关键词: 测试，调试，逻辑程序，计算解语义

Abstract: Debugging logic program is a time-consuming process that usually contains considerable manual interaction.Reducing unnecessary calls to a debugging procedure can improve the efficiency of software development. Samcerror-source symptoms obtained in program testing is a source of unnecessary calls to a debugging procedure. This paper proposed an integrated testing and debugging framework, in which the generation of test cases, discovering symptoms and the debugging (including the diagnosis and correction) of the program under consideration (PUC) arc interleaved in such a way that only one of the symptoms with same-error-source relation between each other will lead to the execution of a debugging procedure. In this way unnecessary calls to the procedure arc effectively avoided. With a constraint based fixpoint semantics for Prolog, the framework is instantiated to a novel testing and debugging algorithm, whose applicability and effectiveness are shown by an example in this paper.

Key words: Testing,Debugging,Logic programs,Computed answers semantics