%0 Journal Article
%T Framework for Integrated Testing and Debugging of Logic Programs Based on Computed Answers Semantics<br>基于计算解语义的逻辑程序测试和调试框架
%A ZHAO Ling-zhong
%A LIAO Wei-zhi
%A QIAN Jun-yan
%A GU Tian-long
%A <br>赵岭忠
%A 廖伟志
%A 钱俊彦
%A 古天龙
%J 计算机科学
%D 2009
%I 
%X 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 ...
%K Testing
%K Debugging
%K Logic programs
%K Computed answers semantics<br>测试
%K 调试
%K 逻辑程序
%K 计算解语义
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=63FDCEE5A4FBA0072450385A2C64CB6C&yid=DE12191FBD62783C&vid=933658645952ED9F&iid=9CF7A0430CBB2DFD&sid=EDA22B444205D04A&eid=CDEBD1ACE0A4C1C1&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=28