큰 재현 사례를 줄이는 이유
프로그램이 큰 입력에서 실패해도 모든 부분이 실패에 필요한 것은 아니다. 입력을 작게 만들면 관련 없는 정보를 걷어 내고 오류를 이해하거나 다른 사람에게 전달하기 쉬워진다.
부분을 제거하며 검사하기
입력을 구간으로 나누고 일부를 제거한 나머지에서도 실패하는지 검사한다. 실패가 유지되면 줄인 입력으로 계속 진행하며 그렇지 않으면 더 잘게 나누는 방식으로 탐색한다.
최소성의 의미
ddmin의 일차 최소 결과는 남아 있는 요소를 하나 더 제거하면 같은 실패가 재현되지 않는 상태를 뜻한다. 모든 가능한 입력 가운데 길이가 가장 짧다는 전역 최소와는 구별한다.
실패 조건을 정확히 정하기
축소 과정에서 다른 오류가 생긴 것을 원래 실패로 오인하면 잘못된 사례가 남는다. 같은 종류의 실패인지 판정하고 통과나 실패를 결정하기 어려운 경우도 구분해야 한다.