首页> 美国政府科技报告 >Ada (Trademark) Compiler Validation Summary Report: Data General Corporation, ADE Ada Compiler, Version 2.30.03.12, Eclipse DS/4000, DS/4200, MV/4000-DC, MV/8000-C, MV/8000-II, MV/10000, MV/10000 SX Using AOS/VS 5.04 and AOS/RT32
【24h】

Ada (Trademark) Compiler Validation Summary Report: Data General Corporation, ADE Ada Compiler, Version 2.30.03.12, Eclipse DS/4000, DS/4200, MV/4000-DC, MV/8000-C, MV/8000-II, MV/10000, MV/10000 SX Using AOS/VS 5.04 and AOS/RT32

机译:ada(商标)编译器验证摘要报告:Data General Corporation,aDE ada Compiler,版本2.30.03.12,Eclipse Ds / 4000,Ds / 4200,mV / 4000-DC,mV / 8000-C,mV / 8000-II,mV / 10000,mV / 10000 sX使用aOs / Vs 5.04和aOs / RT32

获取原文

摘要

The purpose of this Validation Summary Report is to present the results and conclusions of performing standardized tests on the Data General Corporation ADE Ada Compiler. On-site testing was performed between 29 April 1985 and 03 May 1985 at Data General Corporation headquarters, Westboro, Massachusetts, under the auspices of an Ada Validation Facility (AVF), the Federal Software Testing Center, according to current Ada Validation Office policies and procedures. The Data General ADE Ada Compilter is hosted on those systems listed in the table below. The hosts, as well as selected AOS/RT32 based systems served as the target systems. The suite of tests known as the Ada Compiler Validation Capability (ACVC), Version 1.5, was used. The ACVC suite of tests is used to validate conformance of the compiler ANSI/MIL-STD-1815A (Ada). This standard is described in the ANSI Ada Reference Manual, January 1983. Not all tests in the ACVC test suite are applicable to this specific implementation. Also, known test errors in Version 1.5 are present in some tests; these tests were withdrawn. The purpose of the testing is to ensure that the compiler properly implements legal language constructs and that it identifies, rejects from processing, and labels illegal constructs.

著录项

相似文献

  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号