(A) study on the test data generation based on the dynamic analysis of specifications

Abstract

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 provid 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.