参考答案：D

解析：

[分析]： 该流程是一个while型循环，先进行分支条件的判断，然后再执行循环体，也就是“当条件P成立，反复执行A，直到P不成立”。结合到本例中，就是只有当条件a不成立时，程序才会结束，因此至少有一次不成立。根据题意，b执行了m次，说明a也相应地执行了m次，而加上这一次“不成立”的情况，其执行的次数应为m+1次。