여기 서 , 테스트 케이스 를 이용 한 테스트 방법 은 , 심볼 릭 실행 ( symbolic execution ) 에 기초 하 여 SQL ( Structured Query Language ) 문 을 포함 하 는 소스 코드 에 대한 테스트 케이스 를 생성 하 는 단계 및 데이터베이스 와 연동 하 는 테스트 대상 시스템 에 테스트 케이스 를 적용 하 여 테스트 를 수행 하 는 단계 를 포함 한다 .