結果 : path coverage and statement coverage are equivalent