실패 이후의 진행
일반 assert는 실패한 위치에서 시험 함수의 실행을 멈춘다. check를 사용하면 실패를 기록하고 후속 검사를 계속할 수 있다. 하나의 응답에서 여러 독립 속성을 확인할 때 매번 첫 오류만 고치는 반복을 줄이는 데 쓰인다.
전제와 독립 검사
다음 코드가 실행되기 위한 필수 조건과 서로 독립적인 검사 항목은 구분해야 한다. 응답이 아예 없거나 필요한 구조가 없다면 이후 검사가 추가 오류만 만들 수 있다. 필수 전제는 일반 단언문으로 확인하고 이후에 여러 검사를 배치할 수 있다.
검증 도구의 구성
동등성과 범위, 타입 등을 확인하는 함수를 제공하며 사용자 정의 검증 함수도 만들 수 있다. 실패 보고를 간결하게 표현하는 기능도 있다. 실행을 계속한다는 사실은 실패를 성공으로 바꾸는 의미가 아니므로 수집된 결과 전체를 확인한다.