需要执行程序的测试类型包括：
白盒测试：
白盒测试是一种按照程序内部的逻辑结构和编码结构设计并执行测试用例的测试方法。测试者需要掌握被测程序的内部结构，并根据覆盖准则设计测试用例，使程序中的每个语句、每个条件分支、每个控制路径都在程序测试中受到检验。因此，白盒测试需要执行程序。
动态测试：
动态测试是软件测试中的一种方法，它涉及执行程序并观察其行为和输出结果，以发现程序中的错误。动态测试包括黑盒测试和白盒测试，但不仅限于执行程序。因此，动态测试中的白盒测试部分需要执行程序。
控制测试：
在审计中，控制测试是用于评估内部控制系统有效性的程序。这可能包括执行某些程序步骤以验证控制措施是否按预期工作。因此，控制测试需要执行程序。
总结：
需要执行程序的测试类型包括 白盒测试和 动态测试中的白盒测试部分，以及 控制测试。
建议：
在进行软件测试时，选择合适的测试方法非常重要，以确保全面评估程序的正确性和可靠性。白盒测试尤其适用于需要深入了解程序内部结构的场景，而动态测试则更侧重于通过实际运行程序来发现错误。控制测试在审计中也是关键的一环，用于验证内部控制的有效性。