여기 서 도 6 에 따른 프로그램 경로 ( 510 ) 각각 을 도출 하 는 것 에 는 도 5 에 따른 샘플 소스 코드 를 사용 하 였 다 . 도 5 에서 각 줄 의 번호 는 구문 번호 를 지시 할 수 있 고 , 구문 번호 7 에서 if 문 에 각각 의 조건식 ( accNo < 0 , paydate < 0 ) 성립 여부 에 따라 7 . 1 , 7 . 2 로 나타내 었 고 , if 문 을 만족 하 면 구문 번호 8 로 경로 가 이동 할 수 있 다 . 또한 , 구문 번호 11 또한 조건문 으로서 분기 될 수 있 고 , 구문 번호 14 의 SQL 문 또한 INSERT 여부 에 따라 다른 경로 로 분기 될 수 있 다 .