从上面的例子还看出尽管做了语句覆盖,但是程序仍然可能存在错误。语句覆盖是一种最弱的覆盖测试,但却是一种必须做的最低限度的白盒测试。独立路径测试可以保证所有语句被执行至少一次,同时排除上述(x=0,y=5/x)组合没有被执行的情况。在进行独立路径测试(基本路径测试)之前,先介绍流图符号:
如上图所示,每一个圆,称为流图的节点,代表一个或多个语句,流程图中的处理方框序列和菱形决策框可映射为一个节点,流图中的箭头,称为边或连接,代表控制流,类似于流程图中的箭头。一条边必须终止于一个节点,即使该节点并不代表任何语句,例如,下图中两个处理方框交汇处是一个节点,边和节点限定的范围称为区域。