여기 서 , 프로세서 는 , 심볼 릭 실행 ( symbolic execution ) 에 기초 하 여 SQL ( Structured Query Language ) 문 을 포함 하 는 소스 코드 에 대한 테스트 케이스 를 생성 하 고 , 데이터베이스 와 연동 하 는 테스트 대상 시스템 에 테스트 케이스 를 적용 하 여 테스트 를 수행 하 고 , 테스트 케이스 는 테스트 대상 시스템 의 입력 값 , 입력 값 이 테스트 대상 시스템 에서 처리 될 때 출력 값 을 예측 한 예상 출력 값 , 데이터베이스 의 설정 값 및 테스트 대상 시스템 이 설정 값 이 적용 된 데이터베이스 와 연동 하 여 처리 될 때 데이터베이스 에 저장 될 결과 값 을 예측 한 예상 결과 값 중 적어도 하나 를 포함 할 수 있 다 .