本题考察的是白盒测试与黑盒测试的分类与区别。
白盒测试是一种基于程序内部结构和逻辑进行的测试方法，测试人员需要了解源代码，实现对程序路径、条件、循环等控制结构的覆盖。
A选项控制流分析：白盒测试的经典技术之一。通过分析程序的控制流图，测试不同路径是否能被有效覆盖，属于白盒测试方法。
B选项数据流分析：也是白盒测试技术。关注变量从定义到使用之间的流转过程，能够识别如未初始化使用、重复赋值等问题。
C选项程序变异测试：属于白盒测试中的高级技术。通过对代码做微小变更生成变异程序，并用测试用例检测变异体是否能被识别，评估测试用例集的强度。
D选项功能测试：这是典型的黑盒测试方法，不依赖源代码，仅关注输入输出与功能需求是否匹配。测试人员只依据需求文档，不涉及程序内部结构。
因此，选项 D 正确。