Research on the Formal Representation of ATML Documents

In the process of constructing the ATS, developing of test program is an important and time consuming job. The traditional development approach of test program is in manual way. It makes the development cost very high, development cycle very long and portability very poor. Next, the automatic generation of test program will be a trend. Based on the study of ATML document characteristics, an approach to convert ATML documents into formal representation is proposed. First, the way of data type conversion is studied. Then based on the characteristics of entity documents, the formal way of entity conversion is studied. Finally, the method of converting the test description document into the formal representation of process control is studied. The effectiveness of the proposed approach is demonstrated by an example.