请用白盒测试技术测试以下流程图表示的程序，为了满足分支覆盖，至少需要设计几个测试用例？程序的McCabe复杂度是多少？

对于这道题目，首先我们需要明白白盒测试中的分支覆盖是什么意思。分支覆盖是指选择足够的测试用例，使得运行这些测试用例时，每个判定（即程序中的分支）的所有可能结果至少出现一次。根据提供的流程图，我们可以看到有两个判定，因此至少需要两个测试用例来满足分支覆盖。

至于McCabe复杂度，它是一种衡量程序复杂度的指标。根据McCabe方法，有向图的环路复杂度V（G）是通过计算闭环（不考虑重叠）的数量并加1来得到的。在这个流程图中，我们可以数出有2个闭环，所以McCabe复杂度为2+1=3。因此，答案是B，表示至少需要2个测试用例来满足分支覆盖，且McCabe复杂度为3。