基于模块的标准ATLAS语言及其应用

面向模块的ATS设计是现代测试技术的重要分支.论述了测试语言ATLAS的产生、发展过程,分析了其存在的问题.指出基于模块的ATLAS是标准的测试语言,详细介绍了它的特点、模型结构及在现代ATS设计中的应用,满足了TPS可移植性的发展要求,代表着现代测试语言的发展方向.     

航天器自动化测试语言的设计与实现(英文)

航天器自动测试系统是基于各种测试标准的航天器综合测试信息化系统,测试语言是关于各种测试标准描述的形式体系,是提高测试效率的重要手段。在我国多航天器测试的新需求下,航天器测试语言的研究已成为航天器测试领域面临的新挑战。结合当前的测试需求,本文提出了一种高阶航天器测试语言CATOL(China Aerospace Test and Operation Language),介绍了语言的组成结构。为了刻画和定义航天器测试过程,给出了该语言子集 CATOL-PR的语法和操作语义,实现了该语言的原型系统。该语言可促进国内航天器测试的标准化工作,提高测试人员工作效率,使航天器自动化测试工作得到进一步发展。     

IEEEATLAS716-1995和ARINC626-3的比较和对比

ATLAS测试语言的两个主要用户是美国国防部（DoD)及其盟友北大西洋公约组织（NATO）和商业航空公司。他们使用不同的标准来定义和维护自己的语言。DoD和NATO使用IEEEATLAS716，而商业航空公司使用ARINC626。现在有机会来统一这两个标准。至少可以进一步消除二者之间的差异。首先他们最近都出版了标准的最新版本。即716-95和626-3。其次，军用和民用飞机都处于一个研制的空隙点，没有新型和主力飞机研制及相关航空电子设备的设计。IEEE开始制定未来的ATLAS716（现在的名字是ATLAS2000），这项工作要求避免导致实现差异的问题。此外，ARINC和DoD已经在特别强调使用ATLAS的航空电子设备维护方面建立了正式的联络机制以保持协调和交流。综上所述，详细描述716-95和626-3之间相似性和差异性的优点是十显著的，在出版ATLAS2000时，这个比较可以作为模板来指导这两种语言之间的变换，至少这个比较强调说明了进一步排除差异问题的领域。为完善ATLAS2000所需的设计工作提供了关键指导，ATLAS2000将有效的支持现在的ATLAS用户，并和有希望证明为更有利的把ATLAS用户扩展到新的行业而做的ATLAS2000设计是有益的。     

高级测试语言ATLAS

ATLAS是一种高级测试语言,它对测试需求的描述不局限于任何特殊测试系统.文中对ATLAS的语言元素、数据类型、语句结构、测试需求结构等进行了简要介绍.     

航天器自动化测试语言研究

航天器测试语言是支撑航天器自动化测试的形式体系及航天器测试过程标准,在当前多航天器批产网络化测试的新需求下,测试语言标准体系研究对于提高航天器测试自动化水平和保障测试过程安全具有重要意义。通过对现有典型航天器测试语言的全面分析和比较,总结出基本特征,并结合当前先进的网络计算技术,提出了我国航天器测试语言发展的目标和方向,同时针对国内航天器测试语言研究设计工作的不足,给出一种航天器测试语言CATOL(China Aerospace Test and Operation Language)。该研究对提高我国航天器测试业务规范水平和测试人员的工作效率、促进航天器测试自动化研究的发展将起到一定的推动作用。     

航天器自动化测试与航天器测试语言

通过对航天器自动化测试需求的分析,总结出面向航天器自动化测试语言应具备的特征;通过对航天器测试业务中测试操作、测试流程、测试层次和体系结构的分析,给出了航天器测试语言的两种类型的语句,常规测试语句和专用测试语句,并将航天器专用测试语句分为操作类语句、数据类语句、时间类语句和控制类语句,给出了这4种专用测试语句的定义及其形式化描述.该语言对提高我国航天器测试业务的效率和测试人员的工作效率、促进航天器测试自动化研究的发展将起到一定的推动作用.