結果 : statement and branch coverage testing examples