: 특정한 구성규칙에 따른 표현방식의 코드로 결과표현에서 어떤 과오가 발생한 경우 그 표현이 구성규칙에 일치하지 않기 때문에 과오의 존재가 검출된다