一个程序的控制流图中有8个节点、12条边，在测试用例数最少的情况下，确保程序中每个可执行语句至少执行一次所需测试用例数的上限是( )。

本题考察白盒测试设计中的判定覆盖法。在控制流图中，每个节点代表一个基本块，每条边代表控制流的方向。为了覆盖所有的控制流路径，我们需要计算控制流程图的环路复杂性V(G)。根据公式V(G) = 边数 - 节点数 + 2，代入题目中的数值，得到V(G) = 12 - 8 + 2 = 6。因此，确保程序中每个可执行语句至少执行一次所需测试用例数的上限是6。所以正确答案为C。