介绍 自动测试生成器,它使用swipl目标扩展来包装备注包装器中的谓词(因此称为AOP“建议”术语)。 记录的结果将自动保存为.plt文件,并用于测试。 档案 alt * .pl,alt * .plt 不同阶段和替代实现。 alt20.pl 这是您应该关注的一个。 数据 运行 示例会话 andrewdo@ai:/var/lib/myfrdcsa/codebases/minor/automated-legacy-testing/dmiles-aop$ swipl Welcome to SWI-Prolog (threaded, 64 bits, version 7.7.25) SWI-Pro