ADT 계약 점검표

스택과 큐 ADT 계약 기준

스택과 큐는 내부 배열이나 리스트보다 외부에 보장하는 연산 순서가 핵심이므로 계약을 먼저 테스트합니다.

LIFO

마지막 입력이 먼저 나온다

괄호 검사와 되돌리기처럼 최근 상태를 즉시 확인해야 할 때 스택 계약이 맞습니다.

FIFO

먼저 온 작업이 먼저 나간다

대기열, BFS, 시뮬레이션처럼 도착 순서를 보존해야 하면 큐 계약이 필요합니다.

용량 정책

비었음과 가득 참을 분리

고정 배열 큐는 front, rear가 같을 때 어떤 상태인지 별도 규칙을 둡니다.

제출 전 남길 증거

push/pop 빈 스택에서 꺼내는 동작을 예외나 실패값으로 명확히 처리합니다.
enqueue/dequeue 삽입 순서와 제거 순서가 로그에서 그대로 대응되는지 봅니다.
원형 큐 한 칸 비우기나 size 저장 중 하나로 full 상태를 구분합니다.