속성 기반 테스팅의 모서리 케이스를 보장하는 방법

Question

최근에는 속성 기반 테스팅에 대한 아이디어를 읽을 때 매우 흥분됩니다.

하지만 난 아직 답을 어디서든 찾을 수없는 하나 개 질문이 있습니다

어떻게 재산을 기반으로 할 수 있습니다 테스트는 모든 시간을 코너 케이스를 테스트합니다 보장을? 내가 ScalaCheck 사건을 확인 것이라는 점을 확실 할 수있는 방법, 무작위로 생성됩니다 테스트 케이스로

def divide(a: Int, b: Int): Int 

:

내가 내 분할 기능을 테스트 ScalaCheck을 사용하고 가정 해 봅시다, 구체적으로는 매번 b = 0?

Answer 1

특수한 경우는 대개 고유 한 속성입니다. b = any integer을 다루는 하나의 사례를 작성하려고하면 모든 속성이 하나의 크고 복잡한 테스트로 끝납니다. 그러나 여러 덩어리 예컨대 :

• b는 양의 정수
• B = 음의 정수
• B = 0

에 매개 변수 공간을 분할하여 개별적으로 확인할 수 있습니다.