結果 : statement coverage in white box testing example