ADT 경계 테스트

스택과 큐 테스트

LIFO/FIFO가 맞아도 빈 구조, 용량 제한, 구현 교체 정책이 빠지면 상위 탐색 알고리즘의 결과가 조용히 흔들립니다.

Stack

3, 2, 1 순서로 빠지는가

`push 1,2,3` 뒤 `pop`을 반복해 최근 입력 우선 규칙을 확인합니다.

Queue

1, 2, 3 순서로 빠지는가

`enqueue 1,2,3` 뒤 `dequeue` 결과가 도착 순서를 그대로 보존해야 합니다.

Swap

구현 교체 후 결과가 같은가

배열, 연결 리스트, 원형 버퍼로 바꾸어도 외부 계약은 그대로 유지되어야 합니다.

경계 정책
빈 구조 예외, 특수값, optional 중 하나를 문서와 테스트에 고정합니다.
용량 초과 drop-oldest, drop-newest, block 정책을 문제 요구와 맞춥니다.
탐색 영향 스택/큐 혼동은 DFS와 BFS 순서를 바꾸므로 정답 경로까지 달라집니다.