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

• 作者: 赵岭忠 钱俊彦
• 来源期刊: 计算机应用研究
• 关键词: Prolog 调用模式语义 正确调用模式语义 主属性区分方法测试
• 年，卷（期）: 2008,（4）
• 所属期刊栏目: 算法研究探讨
• 页码范围: 1008-1012
• 页数: 5页
• 分类号: TP311.1
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2008.04.014

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钱俊彦	桂林电子科技大学计算机与控制学院	86	238	9.0	10.0
2	赵岭忠	桂林电子科技大学计算机与控制学院	64	229	8.0	11.0