关键词：ATML;;测试程序;;自动生成;;编译
摘 要：自动测试描述语言(ATML)用于对ATS相关测试信息的标准化描述,这些信息以XML格式表示,其中包含对测试流程的描述。在自动生成测试程序过程中,需要采用编译技术将ATML文档转换为测试程序,要求输入的文件必须采用形式化描述,因此需要将XML格式表示的测试流程信息转换为形式化描述。在研究ATML中测试流程信息结构和实际含义基础上,设计了表示测试流程信息的形式化描述语言。实践表明,该形式化描述语言可以实现测试流程信息的形式化描述,满足测试程序自动生成的要求。
内 容：原文可通过湖北省科技信息共享服务平台（http://www.hbstl.org.cn)获取