类别划分方法(CPM)是基于规范的程序测试的通用方法,其中测试框架的减少和完善是两个重要的问题。 减少测试框架是必要的,因为可能会产生太多的测试框架,并且测试框架的改进很重要,因为在CPM测试期间,可能会获得并逐步考虑有关测试框架生成的新信息。 除了测试人员或用户提供的信息外,与实施相关的知识还提供了用于减少和改进CPM测试框架的替代信息。 本文通过为Prolog程序提出一种基于调用模式语义的测试框架更新方法来探索该思想,其中使用调用模式分析来收集有关程序在程序中使用方式的信息。 更新的测试框架将表示为约束。 测试框架更新的效果是双重的。 一方面,它从原始的测试框架集中删除了“无关的”数据; 另一方面,它完善了我们应该更多关注的测试框架。 第一个效果使必须在其上测试过程的输入域成为该过程的输入域的子集,而后者使测试人员有更多机会找出在使用以下程序时更可能表明其存在的故障。考虑。 我们的测试框架更新方法在检测我们关心的故障方面保留了CPM测试的有效性。 还讨论了从更新的测试框架集生成测试用例。 为了证明我们方法的适用性,提出了一种近似调用模式语义,并通过一个实例说明了语义的测试框架更新。