유닛테스트 unittest property-based hypothesis 개발방법론 QA (1) 썸네일형 리스트형 Property-based Testing 프로퍼티 기반 테스팅에 관한 팟캐스트를 들었다. 들을 때는 잘 몰랐는데 구글에서 검색하여 slideshare 슬라이드를 좀 읽어보니 좀 이해가 간다. 수학적으로 연관성이 많은 하스켈 스칼라 등에서 먼더 이야기가 나온 것 같고, 아니나 다를까 수학에서 공리로 부터 시작하여 어떤 성질을 만족하는 무엇을 정의하는 것과 비슷한 개념이라 이해했다. 무슨 말인고 하니 개발시에 작성하는 테스트 케이스는 그여말로 랜덤한 개별적인 사례들이다. 그러나 이런 개별 사례들을 아무리 많이 만든다 해도 그것들이 만드는 시스템의 설계 스펙을 완전히 커버할 수는 없다. 본질적으로 귀납적인 방식이기 때문이다. 수학에선 무엇을 정의할 때 그 이전까지 확립된 개념들로 이루어진 성질을 만족하는 것으로 한다. Property-based 에서.. 이전 1 다음