应用调用模式语义优化Prolog程序的CPM测试

本文探讨了如何在Prolog程序测试中应用调用模式语义和正确调用模式语义，旨在提高CPM（主属性区分方法测试）的质量和效率。 在软件测试领域，尤其是针对逻辑编程语言如Prolog的测试，理解程序的调用行为至关重要。调用模式语义是分析程序中过程调用关系的一种技术，它揭示了内部过程在何时、如何以及在何种条件下被调用。正确调用模式语义则更进一步，不仅关注调用的发生，还关注调用是否能成功导致预期结果。 论文指出，通过调用模式分析，可以确定内部过程被调用的条件。这些条件可用于筛选测试帧，删除那些不满足调用条件的测试用例，从而减少无效测试，提高测试效率。如果无法删除不符合条件的测试帧，这些条件还可以用来更新测试规格中的过程属性划分准则，确保测试覆盖的全面性。 正确调用模式语义则用于预测CPM测试的结果。它可以提前判断一个调用是否可能导致预期的程序状态变化，帮助设计更有针对性的测试用例。这种方法有助于避免因错误的调用模式导致的测试失败，从而提高测试质量。 文章强调，这种基于调用模式和正确调用模式语义的方法特别适用于Prolog程序，因为Prolog的推理机制和规则系统使其调用模式具有特殊性。通过这种方法，可以更好地理解和控制Prolog程序的执行流程，改进CPM测试过程。 作者赵岭忠和钱俊彦在形式化技术、逻辑程序分析和测试、软件工程以及模型检验等领域有深入研究。他们的工作得到了国家自然科学基金和广西自然科学基金的支持，表明这项研究具有较高的学术价值和实际应用潜力。 关键词：Prolog；调用模式语义；正确调用模式语义；主属性区分方法测试 中图分类号：TP311.1（计算机软件及计算机应用） 文献标志码：A 文章编号：1001-3695(2008)04-1008-05 这篇论文的贡献在于提供了一种新的测试策略，通过结合调用模式和正确调用模式的语义特性，提高了Prolog程序的测试效率和准确性，对于逻辑编程领域的软件测试实践具有指导意义。