【摘要】 首先对自动化标记语言Automation ML技术以及国内外发展情况进展作了介绍,介绍了什么是健壮性,对自动化标记语言健壮性的分析及验证方法进行了描述,并给出了验证方案。更多还原

【Abstract】 Firstly,this paper introduces the technology of Automation ML and its development at home and abroad,introduces what is robustness,describes the analysis and verification methods of robustness of Automation Markup Language,and gives the verification scheme.更多还原