在软件测试中，哪种测试方法是基于程序内部逻辑的？

路径覆盖是一种白盒测试方法，要求测试用例覆盖程序的所有可能执行路径，重点在于程序的内部逻辑。