调用模式和正确调用模式语义在Prolog程序测试中的应用  

Application of call patterns semantics and correct call patterns semantics to CPM testing of Prolog programs

作　　者：赵岭忠[1] 钱俊彦[1] 

机构地区：[1]桂林电子科技大学计算机与控制学院,广西桂林541004

出　　处：《计算机应用研究》2008年第4期1008-1012,共5页Application Research of Computers

基　　金：国家自然科学基金资助项目(60663005);广西自然科学基金资助项目(桂科青0542036)

摘　　要：将基于调用模式语义和正确调用模式语义的程序分析技术应用于Prolog程序的CPM测试。通过调用模式分析获得内部过程被调用和成功调用的条件,利用前者删除不满足调用条件的测试帧,或当删除条件不满足时利用该条件更新测试规格中过程属性的划分准则;利用后者预测CPM测试的结果。该方法可较好地保持程序测试的质量,改善Prolog程序的CPM测试过程。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.

关 键 词：PROLOG 调用模式语义 正确调用模式语义 主属性区分方法测试 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]