Application of call patterns semantics and correct call patterns semantics to CPM testing of Prolog programs
调用模式和正确调用模式语义在Prolog程序测试中的应用

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.