(A) study on the test data generation based on the dynamic analysis of specifications = 명세의 동적 분석을 통한 테스트 데이타 생성에 관한 연구