둘째 , 루프 내 의 조건 분기 문 이 있 는 경우 하나 의 수행 흐름 내 에서 하나 의 조건 분기 문 은 한 번 만 수행 되 도록 제어 한다 . 프로그램 이 루프 를 수행 하 고 , 루프 내 에 조건 분기 문 이 있 는 경우 에 매번 루프 를 수행 할 때 마다 조건 분기 문 을 강제 수행 하 게 되 면 수행 경로 가 기하급수 적 으로 증가 할 수 있 다 . 따라서 , 본 발명 은 이 를 방지 하 기 위해 코드 커버리지 ( Code coverage ) 가 아닌 스테이트먼 트 커버리지 ( statement coverage ) 를 100 % 달성 하 는 것 을 목표 로 한다 .