1302.42 타입 안전성을 위한 단위 테스트 전략