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

调用模式和正确调用模式语义在Prolog程序测试中应用 　　摘要：将基于调用模式语义和正确调用模式语义的程序分析技术应用于Prolog程序的CPM测试。通过调用模式分析获得内部过程被调用和成功调用的条件,利用前者删除不满足调用条件的测试帧，或当删除条件不满足时利用该条件更新测试规格中过程属性的划分准则; 利用后者预测CPM测试的结果。该方法可较好地保持程序测试的质量，改善Prolog程序的CPM测试过程。 　　关键词：Prolog； 调用模式语义； 正确调用模式语义； 主属性区分方法测试 　　中图分类号：TP311．1文献标志码：A 　　文章编号：1001－3695(2008)04－1008－05 　　 　　0引言?? 　　 　　Prolog是一种逻辑程序设计语言，可视为多种基于约束和基于逻辑的声明式程序设计语言的基础。Prolog是人工智能程序设计的主要语言工具之一，可方便地用于系统知识的表示和推理。给定目标G，Prolog程序的执行过程就是按照Prolog控制规则对G的推理过程。Prolog采用了最左文字优先的文字选择规则和按照子句在程序中的顺序选择匹配子句的子句选择规则。按照该规则对目标的推理被称为目标的SLD－推理。目标G的调用模式是在G的SLD－推理过程中每一步所选择的原子子目标; 正确调用模式是属于成功SLD－推理路径的调用模式[1]。调用模式信息通常