Framework for Integrated Testing and Debugging of Logic Programs Based on Computed Answers Semantics
基于计算解语义的逻辑程序测试和调试框架

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.Same-error-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 ...