1310.18 블랙보드 상태 검증 어서션 설계