고객이 개발자의 위치에서 소프트웨어에 대한 검사를 수행하며, 일반적으로 개발자가 참석하여 통제된 환경에서 행해지는 검증 검사 기법은?