白盒测试中，测试人员通常会使用哪项技术来验证程序的控制流？

路径覆盖是白盒测试中常用的技术，通过分析程序的控制流路径，确保每个可能的执行路径都被测试到。