로봇 소프트웨어 시험을 위한 입력 파라미터 연관관계 기반 테스트 케이스 생성 및 축소 방법