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

作者：范书义; 王成; 姜会霞

来源：测控技术, 2013, (02): 104-109.

• ATML
• 测试程序
• 自动生成
• 编译 ATML
• test program
• automatic generation
• compile

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

• 单位
  中国人民解放军陆军工程大学