結果 : statement coverage automatically covers decision coverage