In this thesis, we suggest a method of the test data generation based on the dynamic analysis of structured specifications. Through the dynamic analysis of structured specifications, the control informations are deduced so that we can provide not only a formal guideline for creating the problem partition, but also useful informations for designing the target system. The importance of the hierarchical structure of input data is emphasized as a means of revealing the problem structure as well as of refining input domain.
본 논문에서는 명세의 동적 분석에 기반을 둔 테스트 데이타 생성에 관한 방법을 제안한다. 명세의 동적 분석으로 얻는 제어 정보를 이용하여 입력 도메인을 나누는 정형적인 방법과 목적 시스템을 설계하는데 유용한 정보를 제공한다. 입력 자료의 계층적 구조는 도메인을 세분화하고 문제 구조를 나타내는데 사용한다.