여기 서 , 프로세서 는 , 심볼 릭 실행 ( symbolic execution ) 에 기초 하 여 , SQL ( Structured Query Language ) 문 을 포함 하 는 소스 코드 에 대해 적어도 하나 이상 의 프로그램 경로 를 결정 하 고 , 적어도 하나 이상 의 프로그램 경로 에 따라 심볼 릭 실행 을 수행 하 고 , 심볼 릭 실행 에 따라 생성 된 논리식 에 대하 여 솔 버 를 이용 하 여 테스트 케이스 를 생성 할 수 있 다 .