임의로 선택한 세 가지 덧셈을 테스트했다. 이것으로 충분할까? 얼마다 많은 결과를 살펴봐야 자신감을 얻을 수 있을까? 100개? 1000개? 이런 접근 방식으로는 그렇게 많이 진행할 수 없음을 알 수 있다. 모든 가능한 덧셈을 이런 방식으로 테스트할 수는 없기 때문이다.

대신 할 수 있는 일은, 무작위 값을 입력으로 사용해 덧셈 연산의 속성을 테스트하는 것이다. 이 방법을 사용하면 결과를 직접 검사하는 대신 덧셈이 예상대로 작동하는가를 검사하게 된다. 설명이 혼란스럽더라도 걱정하지 말라. 4장의 속성 테스트에서 이 주제를 다시 설명하겠다.

우리는 학교에서 덧셈의 세 가지 속성을 배웠다. 이 속성들을 다음과 같이 테스트할 수 있다.