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

• 作者: 姜会霞 王成 范书义
• 来源期刊: 测控技术
• 学科: 工学
• 关键词: ATML 测试程序 自动生成 编译
• 年，卷（期）: 2013,（2）
• 所属期刊栏目: 软件纵横
• 页码范围: 104-109
• 页数: 6页
• 分类号: TP391
• 字数: 4840字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王成	军械工程学院导弹工程系	73	378	10.0	15.0
2	姜会霞	军械工程学院导弹工程系	22	51	4.0	6.0
3	范书义	军械工程学院导弹工程系	20	77	5.0	8.0