例如:

  1 if a or b

  2 x

  3 else

  4 y

  对应的逻辑为:

  独立路径:至少沿一条新的边移动的路径

  基本路径测试法的步骤:

  第一步:画出控制流图

  流程图用来描述程序控制结构。可将流程图映射到一个相应的流图(假设流程图的菱形决定框中不包含复合条件)。在流图中,每一个圆,称为流图的结点,代表一个或多个语句。一个处理方框序列和一个菱形决测框可被映射为一个结点,流图中的箭头,称为边或连接,代表控制流,类似于流程图中的箭头。一条边必须终止于一个结点,即使该结点并不代表任何语句(例如:if-else-then结构)。由边和结点限定的范围称为区域。计算区域时应包括图外部的范围。

  画出其程序流程图和对应的控制流图如下