結果 : state transition testing black box technique