Prolog程序的CPM测试中的测试框架更新

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