类别划分方法（CPM）是基于规范的程序测试的通用方法，其中测试框架的减少和完善是两个重要的问题。 减少测试框架是必要的，因为可能会产生太多的测试框架，并且测试框架的改进很重要，因为在CPM测试期间，可能会获得并逐步考虑有关测试框架生成的新信息。 除了测试人员或用户提供的信息外，与实施相关的知识还提供了用于减少和改进CPM测试框架的替代信息。 本文通过为Prolog程序提出一种基于调用模式语义的测试框架更新方法来探索该思想，其中使用调用模式分析来收集有关程序在程序中使用方式的信息。 更新的测试框架