ATML测试流程信息的形式化描述

Formal Description of Test Flow Information in ATML

自动测试描述语言(ATML)用于对ATS相关测试信息的标准化描述,这些信息以XML格式表示,其中包含对测试流程的描述。在自动生成测试程序过程中,需要采用编译技术将ATML文档转换为测试程序,要求输入的文件必须采用形式化描述,因此需要将XML格式表示的测试流程信息转换为形式化描述。在研究ATML中测试流程信息结构和实际含义基础上,设计了表示测试流程信息的形式化描述语言。实践表明,该形式化描述语言可以实现测试流程信息的形式化描述,满足测试程序自动生成的要求。

Automatic test description language （ATML） is used to describe ATS-related information, which is expressed in XML format and contains the description of the test flow. In the automatic generation process of test program, the ATML documents need to be converted to the test program with compiling technique. Compi- ling technique requires that the input files must be formalized description, so the test flow information described in XML format needs to be converted to a formal description. In-depth study of structure and actual meaning of test flow information, a formal description language of test flow information is designed. The practi the formal description language can implement the formal description of the test flow information requirement of automatic test program generation. ce shows that and meet the