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