5.5 속성 기반 테스트(Property-based Testing) 기법의 적용