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

摘要：

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

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

所属期刊栏目：25

分类号：TP311.1(计算技术、计算机技术)

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

在线出版日期：2008-05-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1008-1012