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

·104·《测控技术}2o13年第32卷第2期

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

范书义，王成，姜会霞

(军械工程学院导弹工程系，河北石家庄050003)

摘要：自动测试描述语言(ATML)用于对ATS相关测试信息的标准化描述，这些信息以XML格式表示，

其中包含对测试流程的描述。在自动生成测试程序过程中，需要采用编译技术将ATML文档转换为测试

程序，要求输入的文件必须采用形式化描述，因此需要将XML格式表示的测试流程信息转换为形式化描

述。在研究ATML中测试流程信息结构和实际含义基础上，设计了表示测试流程信息的形式化描述语言。

实践表明，该形式化描述语言可以实现测试流程信息的形式化描述，满足测试程序自动生成的要求。

关键词：ATML；测试程序；自动生成；编译

中图分类号：TP391文献标识码：A文章编号：1000—8829(2013)02—0104—06

FormalDescriptionofTestFlowInformationinATML

FANShu·yi，WANGCheng，JIANGHui—xia

(DepartmentofMissileEngineering，OrdnanceEngineeringCollege，Shijiazhuang050003，China)

Abstract：Automatictestdescriptionlanguage(ATML)isusedtodescribeATS-relatedinformation，whichis

expressedinXMLfomratandcontainsthedescriptionofthetestflow．Intheautomaticgenerationprocessof

testprogram，theATMLdocumentsneedtobeconvenedtothetestprogramwithcompilingtechnique．Compi—

lingtechniquerequiresthattheinputfilesmustbeformalizeddescription，SOthetestflowinfomrationdescribed

inXMLfomratneedstobeconvenedtoafomraldescription．In-depthstudyofstructureandactualmeaningof

testflowinfomration，afomraldescriptionlanugageoftestflowinformationisdesigned．Thepracticeshowsthat

thefomraldescriptionlanguagecanimplementthefomraldescriptionofthetestflowinfomrationandmeetthe

requirementofautomatictestprorgamgeneration．

Keywords：ATML；testprogram；automaticgeneration；compile

ATS开发过程中，在传统开发模式下，软件工程师格式编写测试流程描述文档，该文档并不适合直接使

根据设备工程师编写的UUT测试流程，手工编写UUT用编译技术进行测试程序的自动生成，因为XML格式

的测试程序，最终编译、链接生成可执行程序。目前，描述的测试流程与编译理论要求的形式化表示的上下

ATS的可移植性要求迫切需要提高测试程序的可移植文无关文法相差甚远。因此需要对这些内容进行

性，而自动生成测试程序从而提高测试程序的开发效处理，将它们表示成为符合编译理论要求的上下文无

率是增强测试程序可移植性的一种重要手段。测试程关文法，以方便采用编译技术自动生成测试程序。

序自动生成要求采用编译技术将测试流程描述信息自