以下哪种测试工具主要用于对程序内部结构进行测试，例如测试代码的路径、分支和条件覆盖？

白盒测试工具可用于分析和测试程序的内部结构，如代码逻辑、路径和条件。它们通常用于单元测试和集成测试，确保代码的每条路径都被执行。