使用白盒测试技术测试流程图所示程序，至少需要设计几个测试用例以满足分支覆盖，并确定其McCabe复杂度为多少？

对于这道题目，首先我们需要了解白盒测试技术和判定覆盖的概念。判定覆盖是指选择足够的测试用例，使得运行这些测试用例时，每个判定的所有可能结果至少出现一次。根据流程图，我们至少需要设计两个测试用例来满足判定覆盖。

另外，McCabe复杂度是一个衡量程序复杂度的指标。根据McCabe方法，有向图的环路复杂度是通过计算闭环（不考虑重叠）的数量并加1来得到的。观察流程图，我们可以发现存在3个环路，因此McCabe复杂度为3。

综上，至少需要设计两个测试用例来满足判定覆盖，而McCabe复杂度为3。因此，答案选项C是正确的。