두 번째 방법은 모든 가능한 A -> B 변환에 대해 성립해야만 하는 어떤 속성을 정의하고, 임의로 선택한 A 타입의 값들에 대해 함수를 실행한 후, 만들어진 모든 결과에 대해 앞에서 정한 속성이 성립하는지 검증하는 것이다. 이런 접근 방법을 속성 기반 테스트(property testing 또는 property based testing)라고 부른다. 몇 가지 특별한 경우를 기술하는 대신 소프트웨어가 일반적으로 어떻게 작동해야 하는지를 정의할 수 있기 때문에 속성 기반 테스트는 훌륭한 테스트 기법이다.