상태전이 다이어그램에서 블랙박스 퍼징을 적용한 비 유효 테스트 케이스 도출 연구