結果 : path coverage formula