게임은 점차 복잡해짐에 따라 게임 환경(맵)도 복잡해지고 있다. 게임 환경(맵)이 복잡해지면 게임 신뢰성을 입증하기 위해서 많은 테스트 프로세스와 방법이 복잡해지는 경향이 있다. 본 논문에서는 자동 생성되는 게임 환경(맵)을 정확하게 진행하는지를 검증하고, 테스트를 줄일 수 있는 테스팅 기법을 AND/OR 그래프와 불식(boolen expression)을 이용하여 제안한다.