%0 Journal Article
%T Application of call patterns semantics and correct call patterns semantics to CPM testing of Prolog programs<br>调用模式和正确调用模式语义在Prolog程序测试中的应用
%A ZHAO Ling-zhong
%A QIAN Jun-yan
%A <br>赵岭忠
%A 钱俊彦
%J 计算机应用研究
%D 2008
%I 
%X This paper proposed a method to apply the call patterns semantics and correct call patterns semantics to the CPM testing of Prolog programs.The method could be viewed as an attempt to improve the testing of Prolog programs by the result of program analysis.By analyzing the way in which procedures were used in a program,reduced the number of test frames and therefore the number of test cases generated in CPM testing of a procedure without much decreasing the confidence in the quality of the programs to be tested.Additionally,used the program analysis based on correct call patterns semantics to predict the testing result for test frames.
%K Prolog
%K call patterns semantics
%K correct call patterns semantics
%K CPM(category partition method) testing<br>Prolog
%K 调用模式语义
%K 正确调用模式语义
%K 主属性区分方法测试
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=742BB8DFA88780FA89AE38A938E591A1&yid=67289AFF6305E306&vid=C5154311167311FE&iid=E158A972A605785F&sid=82BCA4C44409DD5C&eid=85873A559EE29055&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=15