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