【简介：】本篇文章给大家谈谈《atlas航空公司服务》对应的知识点，希望对各位有所帮助。本文目录一览：
1、5y555是哪个航空？
2、5Y是什么航空
3、各大航空公司运单号前缀都是多少啊？
本篇文章给大家谈谈《atlas航空公司服务》对应的知识点，希望对各位有所帮助。
本文目录一览：
5y555是哪个航空？
5Y555是土耳其一家廉价航空公司，阿特拉斯航空公司（ATLAS AIR）的一个航班，以前在我国的浙江杭州萧山国际机场见到过。
5Y是什么航空
5Y,GTI, ATLAS AIR 阿特拉斯航空
5Y- EXPRESS RAIL LINK/EXPRESS RAIL LINK SDN BHD
与全球BSP结算中心无协议，故此无结算代码（也就是你说的数字代码）
各大航空公司运单号前缀都是多少啊？
提单代码 航空公司中文名称 航空公司英文名称 IATA代码 国际代码 所在地
000 伊朗马汉航空 Mahan Airlines W5 伊朗
001 美国美洲航空公司 American Airlines AA AAL 秘鲁
005 美国大陆航空公司 Continental Airlines CO COA 美国-得克萨斯-休斯敦
006 美国达美航空公司 Delta Air Lines DL DAL 美国-乔治亚-亚特兰大
012 美国西北航空公司 Northwest Airlines NW NWA 美国-明尼苏达-伊根
013 加蓬航空 Gabon Airlines GY GBK 加蓬利伯维尔
014 加拿大航空公司 Air Canada AC ACA 加拿大-蒙特利尔
016 美国联合航空公司 United Airlines UA UAL 美国-伊利诺伊州
018 加拿大国际航空公司 Canadian Airlines Int′l CP 加拿大
020 德国汉莎航空 Lufthansa Cargo AG LH DLH 德国-法兰克福
023 美联邦航空公司 Fedex FX 美国
027 阿拉斯加航空公司 Alaska Airlines AS ASA 美国-阿拉斯加
037 美国航空公司 US Airways US USA 美国-得克萨斯-沃斯堡
040 喀麦隆航空公司 Camair-Co UY UYC 喀麦隆
041 捷星亚洲航空 Jetstar Asia Airways 3K JSA 新加坡
042 里约格朗德航空 VARIG RG VRG 巴西里约热内卢
043 港龙航空公司 Dragon Air KA HDA 中国-香港
044 阿根廷航空公司 AEROLINEAS AR ARG 阿根廷-布宜诺斯艾利斯
045 智利航空 LAN Airlines LA LAN 智利-圣地亚哥
047 TAP葡萄牙航空 公司 TAP AIR PORTUQAL TP TAP 葡萄牙
048 塞浦路斯航空 Cyprus Airways CY CYP 塞浦路斯
050 希腊国营奥林匹克航空公司 Olympic Airways OA OAL 希腊
053 爱尔兰航空公司 Aer Lingus EI EIN 爱尔兰-都柏林
055 意大利航空公司 Alitalia AZ AZA 意大利
057 法国航空公司 Air France AF AFR 法国
061 塞舌尔航空公司 Air Seychelles HM SEY 塞舌尔
064 捷克航空公司 CSA Czech Airlines OK CSA 捷克
065 沙特阿拉伯航空公司 Saudi Arabian Airlines SV SVA 沙特阿拉伯航
070 叙利亚阿拉伯航空 Syrian Arab Airlines RB SYR 叙利亚
071 埃塞俄比亚航空公司 Ethiopian airlines ET ETH 埃塞俄比亚
072 海湾航空公司 Gulf Air GF GFA 巴林
074 荷兰皇家航空公司 KLM KL KLM 荷兰
075 西班牙航空公司 Iberia IB IBE 西班牙
076 黎巴嫩航空公司 Lebanese Air Transport LQ LAQ 黎巴嫩
077 埃及航空公司 Egyptair MS MSR 埃及
079 菲律宾航空公司 Philippine airlines PR PAL 菲律宾
080 波兰航空公司 Lot Polish Airlines LO LOT 波兰
081 快达航空公司 Qantas Airways QF QFA 美国
082 比利时航空公司 Brussels Airlines SN DAT 比利时
083 南非航空公司 South African Airways SA SAA 南非
086 新西兰航空公司 Air New Zealand NZ ANZ 新西兰
090 翠鸟航空有限公司 Kingfisher Airlines IT KFR 印度-班加罗尔
096 伊朗航空公司 Iran air IR IRA 伊朗
098 印度航空公司 Air India AI AIC 印度
105 芬兰航空公司 Finnair Oyj AY FIN 芬兰
106 西印度群岛航空公司 BWIA West Indies Airways Limited BW BWA 西班牙
108 冰岛航空公司 Iceland air FI ICE 冰岛
112 中国货运航空 China Cargo Airlines LTD. CK CKK 中国-上海
114 以色列航空公司 El Al Israel Airlines LY ELY 以色列
115 南斯拉夫航空 Jugoslovenski Aerotransport JU JAT 南斯拉夫
117 北欧航空公司 Scandinavian Airlines System SK SAS 瑞典斯德哥尔摩
118 安哥拉航空公司 TAAG – Linhas Aereas de Angola DT DTA 安哥拉-卢安达
119 ALM Airline Inc. Air ALM LM ALM 荷属安的列斯
123 维珍航空 Virgin Atlantic Airways VS VIR 英国
124 阿尔及利亚航空公司 Air Algerie AH DAH 阿尔及利亚-阿尔及尔
125 英国航空公司 British Airways p.l.c. BA BAW 英国-伦敦
126 印尼航空 Garuda Indonesia GA GIA 印尼-雅加达
127 Aviaprima Sochi Airlines Aviaprima Sochi Airlines J5 PRL 希腊
128 香港快运航空公司 HONGkONG EXPRESS UO HKE 中国-香港
129 荷兰马丁航空公司 Martinair Cargo MP MPH 荷兰-阿姆斯特丹
131 日本航空公司 Japan Airlines Company Ltd. JL JAL 日本-东京
132 墨西哥联运航空公司 Aeroméxico Cargo MX MXA 墨西哥
136 古巴航空公司 Cubana de Aviacion S.A. CU CUB 古巴
139 墨西哥航空公司 Aeromexico Cargo AM AMX 墨西哥
140 秘鲁 LIAT 航空公司 LIAT Airlines LI LIA 秘鲁
141 迪拜航空公司 Flydubai FZ FDB 迪拜
145 拉德科智利航空 Royal Air Maroc UC LCO 智利
147 摩洛哥皇家航空公司 Royal Air Maroc AT RAM 摩洛哥-达尔贝达
155 敦豪航空公司 DHL International E.C. ES DHX 中国-北京
157 卡塔尔航空公司 Qatar Airways (W.L.L.) QR QTR
160 香港国泰航空有限公司 Cathay Pacific Airways Ltd. CX CPA 中国-香港
163 比利时 TNT航空公司 TNT Airways 3V TAY 比利时
165 斯洛文尼亚国际航空公司 Adria Airways – The Airline of Slovenia JP ADR 斯洛文尼亚
167 马拉维航空公司 Air Malawi QM AML 马拉维布兰太尔
172 卢森堡航空公司 Cargolux Airlines International CV CVA 卢森堡-芬德尔机场
173 夏威夷航空 Hawaiian Airlines HA HAL 美国-夏威夷
176 阿联酋航空公司 Emirates EK UAE 阿联酋-迪拜
180 大韩航空公司 Korean Air Lines Co. Ltd. KE KAL 韩国
183 里约格朗德航空 VARIG RG VRG 巴西里约热内卢
186 纳米比亚航空 Air Namibia SW NMB 纳米比亚-温得和克
195 普尔科沃航空公司 Pulkovo Aviation Enterprise Z8 PLK 俄罗斯-圣彼得堡
201 牙买加航空有限公司 Air Jamaica JM AJM 牙买加-金斯敦
202 塔卡国际航空公司 TACA International Airlines TA TAI 萨尔瓦多
203 菲律宾宿务航空公司 Cebu Pacific Air 5J CPI 中国
205 日本全日空航空公司 ANA All Nippon Airways NH ANA 日本-东京
214 巴基斯坦航空公司 Pakistan International Airlines PK PIA 巴基斯坦
217 泰国航空公司 Thai Airways International Public TG THA 泰国-曼谷
229 科威特航空公司 Kuwait Airways KU KAC 科威特
230 巴拿马航空公司 COPA Airlines CM CMP 巴拿马
231 维也纳劳达航空公司 Lauda Air NG LDA 奥地利施韦夏特
232 马来西亚航空公司 Malaysian Airline System Berhad MH MAS 马来西亚-吉隆坡
234 日本佳速航空货运 Japan Air System JD JAS 东京
235 土耳其航空公司 Turkish Airlines Inc. TK THY 土耳其-伊斯坦布尔
236 英国大陆航空公司 British Midland Airways Ltd. BD BMA 英国
239 毛里求斯航空有限公司 Air Mauritius MK MAU 毛里求斯-路易港
254 Jetclub航空 Jet Club 0J JCS 瑞士苏黎世
257 奥地利航空公司 Austrian Cargo OS AUA 奥地利
258 马尔加什国家航空 Air Madagascar MD MDG 马达加斯加
265 远东航空公司 Far Eastern Air Transport FE FEA 中国台北
266 Leisure航空 Leisure Cargo L8 德国
270 跨地中海航空公司 Trans Mediterranean Airways TL TMA 黎巴嫩
272 卡利塔航空 Kalitta Air K4 CKS 美国
279 捷蓝航空 JetBlue Airways B6 JBU 美国-纽约
281 罗马尼亚航空 Tarom RO ROT 罗马尼亚
288 香港华民航空公司 Air Hong Kong LD AHK 中国香港
297 台湾中华航空公司 China Airlines CI CAL 中国-台湾
301 全球航空服务 Global Aviation and Services 5S GAK 利比亚
302 美国 SkyWest 航空公司 Sky West Airlines OO SKW 美国
307 圣图伦货运航空 Centurion Air Cargo WE CWC 美国
312 印地高航空 IndiGo CarGo 6E 印度
317 联盟航空公司 Alliance Airlines 3A AFJ 美国
318 冰岛亚特兰大航空 Air Atlanta Icelandic CC ABD 冰岛
321 德国星光航空公司 Starlight Airlines QP 德国
324 山东航空 Shandong Airlines Co.,Ltd. SC CDG 中国-济南
328 挪威航空 Norwegian Air Shuttle DY NAX 挪威-奥斯陆
331 SATA航空 SATA INTERNATIONAL S4 RZO 圣米格尔
345 北方货运航空公司 Northern Air Cargo NC NAC 美国
355 邮件空运航空 Estafeta Carga Aerea E7 ESF 墨西哥
356 卢森堡国际货运航空公司 Cargolux Italia C8 ESF 卢森堡
369 美国阿特拉斯航空公司 Atlas Air, Inc. 5Y GTI 美国
370 跨地中海航空公司 Trans Mediterranean Airways TL TMA 摩尔多瓦
378 开曼航空 Cayman Airways KX CAY 开曼群岛
390 希腊爱琴海航空 Aegean Airlines A3 AEE 希腊-雅典
403 极地航空货运全球有限公司 Polar Air Cargo PO PAC 美国-纽约州-帕切斯
406 联合包裹航空公司 United Parcel Service 5X UPS 美国
416 National航空 National Air Cargo N8 NCR 美国
417 中南美空运 Bringer Air Cargo E6 BRC 巴西
421 西伯利亚航空公司 Siberia Airlines S7 SBI 俄罗斯-莫斯科
423 敦豪航空公司 DHL Aviation/DHL Airways ER DHL 德国北莱茵
463 阿塞拜疆丝绸之路 Silk Way Airlines ZP AZQ 阿塞拜疆
465 阿斯塔纳航空公司 Air Astana KC 哈萨克斯坦-阿斯塔纳
474 加那利航空公司 BinterSwift Cargo NT IBB 加那利群岛
479 深圳航空公司 Shenzhen Airlines ZH CSZ
485 Astral航空 Astral Aviation 8V ACP 肯尼亚
489 喷气货运航空公司 Cargojet Airways W8 CJT 加拿大
501 丝绸之路航空 Silk Way West Airlines 7L 阿塞拜疆巴库
507 俄罗斯航空 Aeroflot Russian Airlines SU AFL 俄罗斯
512 约旦皇家航空 Royal Jordanian RJ RJA 约旦-安曼
514 阿拉伯航空 Air Arabia G9 ABY 阿拉伯联合酋长国沙迦
519 尼泊尔航空公司 Nepal Airlines RA KTM 尼泊尔
524 澳大利亚航空快递公司 Australian air Express XM JLJ 日本
525 台湾立荣航空 EVA Airways B7 UIA 中国-台湾
526 美国西南航空公司 Southwest Airlines WN SWA 美国-达拉斯
549 巴西 ABSA 航空公司 ABSA Aerolinhas Brasileiras M3 TUS 巴西-坎皮纳斯
552 Mario\’s航空公司 Mario\’s Air M2 佛罗里达州
555 俄罗斯航空公司 Aeroflot Russian Airlines SU AFL 俄罗斯-莫斯科
566 乌克兰国际航空公司 Ukraine International Airlines PS AUI 乌克兰-基辅
572 摩尔多瓦航空公司 Air Moldova 9U MLD 摩尔多瓦基希讷乌
574 联盟航空 Allied Air AJK 尼日利亚-拉各斯
575 英国 Coyne Air公司 Coyne Air 7C COY 英国
576 Skylease航空 Skylease Cargo KY
578 泰国东方航空 Orient Thai Airlines OX OEA 泰国
580 俄罗斯空桥货运航空公司 Airbridge cargo RU ABW 俄罗斯
589 印度杰特航空公司 Jet Airways (India) Limited 9W JAI 印度
603 斯里兰卡航空公司 SriLankan Airlines Limited UL ALK 斯里兰卡-科伦坡
607 阿联酋阿提哈德航空公司 Etihad cristal cargo EY ETD 阿联酋-阿布扎比
615 DHL航空 DHL Aviation GL GRL 德国
618 新加坡航空公司 Singapore Airlines SQ SIA 新加坡
623 保加利亚航空 Bulgaria Air FB LZB 保加利亚
624 巴西天马航空 Pegasus Cargo PC 巴西
629 新加坡航空公司 Silk Air MI 新加坡
630 托马斯库克航空 Thomas Cook Airlines Scandinavia DK VKG 丹麦-哥本哈根
631 格陵兰航空公司 Air Greenland GL GRL 丹麦-努克
635 也门航空 Yemenia Airlines IY IYE 也门
642 墨西哥航空货运 Aeroméxico Cargo QO 墨西哥
643 马耳他航空 Air Malta KM AMC 马耳他 -鲁卡
644 Solar Cargo航空 Solar Cargo
649 越洋航空 Air Transat TS TSC 加拿大
656 新几内亚航空 Air Niugini PX ANG
657 波罗的海航空 Air Baltic BT BTI 拉脱维亚-里加
670 香港空运货站有限公司 UO
672 文莱航空公司 Royal Brunei Airlines BI RBA 文莱 -斯里巴加湾
673 地中海航空公司 TMA Trans Mediterranean Airways N2
675 澳门航空有限公司 Air Macau Company Limited NX AMU 中国-澳门
687 阿罗哈航空货运 Aloha Air Cargo KH AAH 美国
695 台湾长荣航空 EVA Airways BR EVA 中国-台湾
700 中国货运航空 C.A.L. Cargo Airlines Ltd. 5C CAL 中国-上海
706 肯尼亚航空公司 Kendell Airlines KQ KQA 肯尼亚-内罗毕
710 阿班航空 Aban Air K5 ABE 伊朗
711 Movie Reviews Movie Reviews MR
716 土耳其 MNB 航空公司 MNG Cargo Airlines MB MNB 土耳其
723 墨西哥联运航空公司 Aeroméxico Cargo QO 墨西哥
724 瑞士国际航空公司 Swiss International Air Lines LX SWR 瑞士-巴塞尔
729 坦帕航空货运 Tampa Cargo QT TPA 比利时
730 德国航空货运 ACG Air Cargo Germany 6U ACG 德国-哈恩
731 厦门航空公司 XiaMen Airlines MF CXA 中国-厦门
738 越南国家航空公司 Vietnam Airlines VN HVN 越南河内
745 柏林航空 Air Berlin AB BER
749 南非支线航空公司 SA Airlink Airlines 4Z LNK
754 途易航空 Jetairfly TB TUB 比利时
756 比利时 TNT航空公司 TNT Airways 3V TAY 比利时-列日
757 Avient Avient Z3 SMJ
767 大西洋航空 Atlantic Airways RC FLI 丹麦
771 阿塞拜疆航空公司 Azerbaijan Airlines J2 AHY 阿塞拜疆-巴库
774 上海航空公司 Shanghai Airlines FM CSH 中国-上海
775 森帕蒂航空公司 spiceJet SG
781 中国东方航空公司 China Eastern Airlines MU CES 中国-上海
784 中国南方航空公司 China Southern Airlines CZ CSN 中国-广州
790 马斯航空 MASAir 1A Leaderjet 墨西哥
800 银河国际货运航空有限公司 Grandstar Cargo GD GSC 中国-天津
803 华信航空公司 Mandarin Airlines AE MDA 中国-台湾
807 亚洲航空公司 AirAsia Berhad AK AXM 马来西亚-吉隆坡
810 美国喷气国际公司 Amerijet International M6 AJT 美国
827 鲁斯航空公司 RUS Aviation R4 立陶宛
831 克罗的亚航空 Croatia Airlines OU CTN 克罗的亚
843 亚洲航空 AirAsia D7 KUL 马来西亚
851 香港航空 Hong Kong Airways HX CRK 香港
858 西非航空公司 Africa West FK WTA 英国
862 美国达美航空公司 Atlantic Southeast Airlines EV CAA 美国-亚特兰大
865 墨西哥麦斯航空 MASAir MY MWA 墨西哥-墨西哥
870 乌克兰空中世界航空公司 Aerosvit Airlines VV AEW 乌克兰-基辅
871 扬子江快运航空有限公司 Yangtze River Express Co. Ltd Y8 YZR 中国-上海
876 四川航空 Sichuan Airlines Co.,Ltd. 3U CSC 中国-成都
880 海南航空公司 Hainan Airlines HU CHH 中国-海口
886 美国 Comair 航空公司 Comair OH COM 美国
900 马尔代夫航空 Air Maldives L6 AMI 马尔代夫
901 玻利维亚航空 TAB Transportes Aereos Bolivianos B1 BOL 玻利维亚
907 皇家航空 Air Armenia QN ARR 亚美尼亚
910 阿曼航空公司 Oman Air WY OAS 马斯喀特
932 英国维珍航空公司 Virgin Atlantic Airways Limited VS VIR 英国-伦敦
933 日本货运航空公司 Nippon Cargo Airlines KZ NCA 日本-东京
946 Vensecar国际航空 Vensecar V4 VEC 委内瑞拉
947 危地马拉DHL DHL de Guatemala L3 JOS 危地马拉
950 CHAMP-Test XS
957 巴西塔姆航空公司 TAM Linhas Aereas JJ TAM 巴西
958 Insel Air Cargo Insel Air Cargo 7I INC 库拉索岛
960 爱沙尼亚航空 Estonian Air OV ELL 爱沙尼亚-塔林
976 墨西哥联运航空 Aeromexpress Cargo QO 墨西哥
988 韩亚航空公司 Asiana Airlines OZ AAR 韩国-首尔
989 长城航空公司 Great Wall Airlines IJ GWL 中国-上海
991 吉布提航空 Daallo Airlines D3 吉布提
992 巴拿马 敦豪航空 DHL Aero Expreso D5 DAE 巴拿马
996 欧洲货运航空公司 Air Europa Cargo UX AEA 西班牙
997 孟加拉航空 Biman Bangladesh BG BBC 孟加拉国-达卡
999 中国国际货运航空有限公司 Air China International Corporation CA CAO 中国-北京
传说中的亚特兰蒂斯究竟在哪里呢？
从希腊神话和柏拉图的记载可以看出，亚特兰蒂斯应该位于现在直布罗陀海峡附近，最直接的证据就是大西洋的Atlantic直接源自于亚特兰蒂斯Atlantis。至于有人说在克里特岛、爱琴海上的锡拉岛、塞浦路斯岛，还有人说在加勒比海，更有甚者是南极洲，这些说法明显都差距甚远。
亚特兰蒂斯与非洲之眼
根据柏拉图描述亚特兰蒂斯的样子：中央是圆形陆地，向往有三层的环形运河，一圈陆地隔一圈水。位于西非毛里塔尼亚的非洲之眼，也被称为撒哈拉之眼，其环状结构与柏拉图描述的亚特兰蒂斯的结构几乎一模一样。亚特兰蒂斯岛的正中心有一个小山，非洲之眼的中心恰好有一个60米左右的小山丘，但只是形似不能证明非洲之眼就是亚特兰蒂斯。以下证据能否证明非洲之眼就是亚特兰蒂斯呢？
位于毛里塔尼亚的非洲之眼
1、地理位置相符
柏拉图说：在赫拉克勒斯石柱的对面，有一块被海洋包围着的大岛，这就是亚特兰蒂斯王国。这个大岛说的显然不是欧洲大陆，柏拉图及古希腊人对欧洲大陆有相当的认知；那么赫拉克勒斯石柱的对面，不是非洲大陆就是大西洋里面的某个岛屿，但至今没有任何发现大西洋的海底或者岛屿与亚特兰蒂斯描述相符的地方。
非洲之眼
2、名称来历相符
古希腊神话中，北非的国王是阿特拉斯Atlas的后人，阿特拉斯是擎天巨神，他被宙斯降罪用双肩支撑苍天，永远不准放下。而位于非洲西北部的阿特拉斯山脉正是以巨神来命名，美国阿特拉斯航空公司的logo，正是擎天巨神阿特拉斯双肩扛起地球的图案。古希腊人还把亚特兰蒂斯称为阿特拉斯岛Island of Atlas，因此亚特兰蒂斯就是阿特拉斯岛，而毛里塔尼亚的非洲之眼就处于非洲西北部的阿特拉斯山脉之中。
atlas blue是什么颜色
atlas blue并不是指的颜色，而是指的是亚特拉斯蓝天航空。
atlas blue航空公司所在国家是摩洛哥。
atlas 是什么的缩写？
C/ATLAS全称Common / Abbreviated Test Language for All Systems(全系统公共/简明测试语言)是一个广泛用于军事和航空测试的标准化语言.由IEEE负责对该语言标准进行管理维护,许多国家都参加了这个语言的开发.本文介绍的正是我国开发的ATLAS编译器中的语义分析部分.
语义分析是编译中的重点,在语义分析中不仅要进行程序的上下文语义一致性的检查,还要为目标代码生成提供足够的信息.本文介绍了ATLAS语义分析的实现方法,并对ATLAS系统的实现技术,运行环境的实现方法进行了简单的介绍.
对于ATLAS语义中要求的特殊问题,我们采用了面向对象技术加以实现,并取得了很好的结果.具体的实现采用静态语义分析和动态语义分析相结合的方法.本文对ATLAS系统中的设备管理系统,运行环境系统等也进行了简单的介绍,为ATLAS系统的进一步开发奠定了基础.
目 录
第一章 系统简介
1.1 ATLAS 系统简介
C/ATLAS是全系统公共/简明测试语言(Common / Abbreviated Test Language for All Systems)的缩写,它是一种功能十分强大的全系统标准测试语言,在军事,航空事业中具有广泛的应用.
20世纪60年代,ARINC公司为了对航空器上的电子设备系统进行测试,主办开发了一个测试语言ATLAS,当时ATLAS的含义是指Abbreviated Test Language for Avionics Systems .随后,美国陆军,海军,航空部队以及北大西洋公约组织也加入到这个语言的开发.
1976年,C/ATLAS的控制权由ARINC移交给IEEE,此时ATLAS的含义更为广泛:Abbreviated Test Language for All Systems .同时ARINC发布了IEEE格式的ARINC416-13A标准.1988年,IEEE发布了ATLAS716-1988/9标准,同年ARINC也发布了标准ARINC626-1988/9,之后IEEE和ARINC每三,四年就更新一次各自的标准.2000年,IEEE发布了C/ATLAS的最新版本ATLAS2000标准,我们实现的系统采用的就是IEEE的ATLAS2000标准.
C/ATLAS具有如下的特点:
一,它是一个标准的测试语言.为了防止语言的日益庞大和不利于维护,该语言由IEEE负责发布相应的标准,以达到语言的规范和统一.参与该标准的主要用户有美国国防部,德国国防部,法国国防部,英国国防部,瑞典国防部和航空工业的航空无线电公司等.
二,C/ATLAS具有和测试设备无关的特性,可应用于所有的测试系统.用ATLAS语言编写的程序可以测试各种仪器设备,测试的代码中不包括任何测试所采用的硬件信息.也就是说,只要测试使用的自动测试设备(ATE)支持ATLAS,便可以不经过修改地使用在另外一个测试系统中编写的ATLAS程序.
三,ATLAS的功能十分强大,提供了真正的自动测试.在以往的测试中,测试人员不仅要考虑测试的算法和流程,还要花很多精力用于选择测试使用的设备甚至设计测试所需的硬件等,进行不同的测试需要不同的测试设备和相应的测试流程.在ATLAS中则不需要测试人员考虑测试硬件,而由ATLAS系统自动处理,这样测试人员就能够更加专心地进行测试算法和测试流程设计.ATLAS系统的ATE(自动测试资源)中提供了大量的测试设备,一个ATE能进行很多测试,这样不仅简化了测试系统的规模,也大大提高了测试的效率和水平.
1.1.1 进行ATLAS 测试的硬件环境
ATLAS语言可以应用于各种电子类和非电类仪器设备的测试,随着测试技术和测试设备的不断发展,ATLAS语言也在不断的进行修改.在遵循IEEE标准的基础上,为了方便用户的使用,ATLAS语言自身提供了一种的扩展机制,以完成由于当前标准的限制而不能进行的测试.
ATLAS 语言中不提供测试硬件信息.用户使用过程中,ATLAS系统根据程序中的设备特征信息,自动地进行设备分配并调用相应的硬件操作来完成对UUT(被测试单元)的测试.可以说ATLAS系统是一个对测试软件和硬件进行管理的虚拟机,它不仅负责对ATLAS源程序编译,生成机器码;还要对测试资源设备进行管理,设备管理包括:添加和删除设备,管理被测试单元(UUT)到自动测试系统(ATE)设备的开关连接通路;此外,ATLAS系统还要在测试的执行过程中,处理测试中产生的事件,并监控测试资源的工作情况.
下图是ATLAS测试的硬件环境.
,ATLAS测试系统硬件结构图
ATLAS测试系统硬件主要有以下几个部分组成:
ATE(auto test equipment):自动测试设备,使整个测试系统的核心,采用VXI或IEEE488 总线将设备连接到主机上.ATE机柜中的设备主要包括:1)测试使用的资源,如各种可控直流电源,可控信号发生器,数字万用表,示波器等;2)开关设备,用于连接ATE外部的阵列接口和ATE内部的设备.3)ATE阵列接口,是ATE的输出接口,外接测试使用的适配器.
UUT(unit under test):被测试单元,即测试的对象,在测试过程中和ATE外部的适配器相连接.
适配器:用于连接ATE和UUT.在测试过程中,ATE负责提供给UUT (被测试单元)电源,输入的激励信号,并从UUT (被测试单元)中读出测试点的内容.适配器的作用就是进行从ATE(自动测试设备)到UUT(被测试单元)建立相应的连接,并根据UUT 情况进行电气转换,电信号到非电信号的转换等.
VXI 总线等:用于连接主机和ATE(自动测试资源)中的测试设备,可控开关等,进行ATE控制和数据通信.
主机:测试主控计算机,其上面运行ATLAS系统.
1.1.2.ATLAS 系统结构
ATLAS系统负责编译执行ATLAS编写的测试程序,提供调试环境,测试仿真环境,管理ATE中的各种设备和开关.ATLAS系统由ATLAS编译器,ATLAS运行环境,ATLAS环境管理程序,设备库,扩展协议,总线描述文件,设备描述文件,开关描述文件和适配器描述文件组成.
系统的结构如下图所示:
ATLAS系统测试流程图
ATLAS 环境管理程序将测试使用的设备描述文件,开关描述文件,总线描述文件和适配器描述文件转换为内部的设备信息,开关信息,总线信息和适配器引脚信息.
ATLAS编译器将测试程序编译成可执行的目标代码,并交给ATLAS运行系统执行.在编译的过程中,ATLAS编译器根据系统中的设备信息,开关信息,总线和适配器引脚信息,进行测试设备的分配,生成相应测试设备的操作代码,并在测试结束后回收设备.
ATLAS运行系统负责执行目标代码,完成最终的测试.在运行系统中要监控设备的执行情况,处理来自测试设备的信号和中断,管理测试执行的进程,并给程序员提供相应的调试环境.
在执行中,ATLAS的运行系统调用设备DLL库中的设备函数来执行测试.设备管理系统负责添加测试设备,修改开关通路,修改测试设备信息,删除测试设备等等.添加和修改一个设备则相应的修改设备DLL库.
ATLAS编译器根据源程序中设备的特征信息,结合系统内部的设备信息,引脚信息和开关信息,来查找设备.如果找到满足条件的设备,则分配该设备并调用这个设备的操作.如果更改系统的设备,比如添加新设备或修改当前设备的某些信息,这时要修改系统内部的设备信息,以便在ATLAS编译时能够找到满足条件的设备.
1.2 本文完成的工作
本文介绍的工作是我们的项目——ATLAS系统的一部分,主要是ATLAS语言的语义分析部分,给出了ATLAS形式化语义,ATLAS编译环境,运行环境,ATLAS的动态语义分析技术和静态语义分析技术.本文完成的工作有:
实现了ATLAS语言的语义分析
利用面向对象的技术[5][6]解决了ATLAS要求的语义扩展和设备无关性
阐述了ATLAS系统的组成和各部分的功能
实现了ATLAS的语义分析器[7],给出了ATLAS静态语义检查和动态语义检查的内容,并利用属性文法加以描述
第二章 ATLAS语言
2.1 ATLAS 2000
ATLAS是一个十分有趣的语言,与一般的过程式语言不同,ATLAS更接近于自然语言.在这个语言中每一个语句由动词,名词和它们的修饰信息组成,一个ATLAS语句中至少包含一个动词和一个名词[2].
ATLAS2000语句结构如下图所示:
固定域 分隔符
,
固定域中的标志域,用来说明这条语句的含义,如果忽略标志说明是一条普通的语句,是注释语句则标志为"C" 或"B",如果是"E"表示可以从标志的这条语句开始执行测试,而与前面的测试无关.
VERB动词,包括ATLAS中的动词和动词修饰词.动词有:APPLY,DEFINE,DECLARE,REQUIRE,DISCONNECT,REMOVE,DO等.动词的修饰词用来辅助动词如:"DO ,SIMULTANEOUS" 语句中的SIMULANEOUS,信号语句中的"THEN RESET"等.
分隔符,在ATLAS中不同的语法成分由分隔符","隔开.
每一条都有一个终止符"$".
每个语句的语句剩余部分根据情况而定.
ATLAS2000结构:
ATLAS2000 是一个有多层结构的语言[4],一个ATLAS程序由核子原语,语句,模型,TTF和模块组成.ATLAS核子部分和ATLAS原语构成了这个语言的基础,用户通过预定义和这些基本语素来建立测试项目的需求.模型结构使用户通过对底层部件的操作组合,抽象出具有更高层次的结构并对更复杂的测试功能加以描述.TTF(Test Technology Frameworks)测试技术框架,ATLAS2000测试技术框架包括并定义一些由ATLAS2000基础组成的特殊的测试环境.模块用来封装那些可重复使用的测试代码.具体结构如下图所示:
ATLAS 2000 结构图
注释:
ATLAS核子部分(NUCLEUS)定义了ATLAS语言典型的性能和功能.ATLAS核子由形式语法,保留字和规则三个部分组成.
ATLAS原语(PRIMITIVES)是描述和说明ATLAS信号,动作,属性和性能必需的元素.这些基本元素不能再分,其中包括名词,名词修饰词,动词,动词修饰词,操作符以及它们的功能定义.
ATLAS模型(MODELS)是一系列函数和过程的表示,在ATLAS中,模型用来描述测试设备和被测试单元(UUT)的特征.ATLAS模型是文法元素的描述基础,ATLAS关键字根据ATLAS2000模型来定义,所有的关键字必须模型化.一旦一个模型被定义并且成为测试技术框架(TTF)的一部分,就可以在ATLAS的语句中作为一个关键字来使用.
ATLAS的模块(MODULE)是包含在ATLAS程序中的一个实体,可以说它是一个包含ATLAS过程和非ATLAS过程的容器.在ATLAS中用"INCLUDE"语句来使用模块.在模块内通过声明过程的属性是全局的还是局部的,来决定过程的作用域,全局的过程可以在模块外使用.在模块内部可使用本模块定义的所有过程,通过对其它的模块进行引用声明,也可使用外部过程.
2.2 ATLAS 语义分析特点
ATLAS语言是用于测试的标准语言.尽管在ATLAS语言中没有关于测试设备硬件的具体信息,如设备的物理地址,设备驱动程序和设备的操作函数等,但是ATLAS提供了描述设备特征的原语和模型[1][3],其中包括:名词,动词,修饰词,连接和信号保留字等.ATLAS编译器正是根据在ATLAS程序中的由这些原语和模型组成的信息,来自动地完成设备查找,设备分配,去配和操作.
和常见的程序语言相比,ATLAS最大的特点就是包括了一些与测试设备或被测单元相关的信息和语句[1],而对测试设备进行操作也就是ATLAS语义的重要部分.现在我们来对比一个非ATLAS语言和ATLAS语言是如何编写测试程序的.
我们从C语言的测试程序和ATLAS语言编写的同样功能的程序进行一下对比.
例:将一个电压是28v的直流电源连接到被测试设备(UUT)上.
实现:
用C语言编写测试程序的具体操作步骤是:首先将要使用的电源连接到测试系统上,将电源到UUT的开关置为连接,然后设置电源电压为28V,接下来检查电源的输出电压是否是28V,工作电流是否小于1A,如果满足条件则允许该电源工作.
在ATLAS中,通过一条简单的语句就可以完成了这些操作,在ATLAS程序中不需要指出要使用哪一个电源,我们可以看出ATLAS和C语言的不同之处.在C的程序中由测试员指定要使用的电源并连接这个电源的使用的开关这样来完成测试,在ATLAS这些工作中则由编译器自动完成.
C语言和ATLAS语言编写的代码比较如下:
摘自：softlab.jlu.edu.cn/temp/thesis/2004liulei.doc
关于《atlas航空公司服务》的介绍到此就结束了。
