결정 코퍼스 재생하기

재생은 선언된 고정 결정 입력과 기대 영수증 계보 집합을 새 규칙·영수증 집합과 비교합니다.

작업 방법

  • 비교 전에 코퍼스 인벤토리를 고정하고 각 항목을 일치, 불일치, 비교 불가로 분류합니다.
  • 불일치 입력을 동작 변경으로 검토하고 이력을 지우려고 오래된 영수증을 재생성하지 마세요.
  • 재현을 위해 실행기 동일성, 규칙 바이트, 입력 바이트, 결과 관측을 보존합니다.

경계

  • 비교 불가는 공개 경계이며 불일치를 몰래 일치로 세는 것이 아닙니다.