結果 : branch coverage subsumes statement coverage