首页> 美国政府科技报告 >Ada (Trade Name) Compiler Validation Summary Report: Intermetrics, Inc. I2Ada Compiler, Version 17.08 for the IBM 370 Architecture under UTS 2.3
【24h】

Ada (Trade Name) Compiler Validation Summary Report: Intermetrics, Inc. I2Ada Compiler, Version 17.08 for the IBM 370 Architecture under UTS 2.3

机译:ada(商标名)编译器验证摘要报告:Intermetrics,Inc。I2ada编译器,版本17.08,用于UTs 2.3下的IBm 370体系结构

获取原文

摘要

This Validation Summary Report presents the results and conclusions of testing performed on the Intermetrics, Inc. I2Ada Compiler, Version 17.08. Standardized tests serve as input to an Ada complier, producing results which are evaluated by the validation team. This summary briefly states the highlights of the Intermetrics, Inc. I2Ada Complier, Version 17.08 validation. On-site testing was performed 6 DEC 1985 through 10 DEC 1985 at Intermetrics, Inc. in Cambridge MA under the auspices of the Ada Validation Facility (AVF), according to Ada (C.R.) Validation Office (AVO) policies and procedures. The Intermetrics, Inc. I2Ada Compiler, Version 17.08 is hosted on the IBM 370 architecture operating under UTS 2.3. The suite of tests known as the Ada Compiler Validation Capability (ACVC), Version 1.6, was used. The ACVC is used to validate conformance of a compiler to ANSI/MIL-STD-1815A Ada. The purpose of testing is to ensure that a compiler properly implements legal language constructs and that it identifies and rejects illegal language constructs. The testing also identifies behavior that is implementation dependent but permitted by the Ada Standard. Six classes of tests are used. These tests are designed to perform checks at compile time, at link time, or during execution. (Author)

著录项

获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号