首页> 美国政府科技报告 >Ada (Trademark) Compiler Validation Summary Report: Telesoft Ada Compiler Version 2.0a6 for VAX-11/780, Using UNIX (Trademark) 4.2 BSD (Mt. Xinu)
【24h】

Ada (Trademark) Compiler Validation Summary Report: Telesoft Ada Compiler Version 2.0a6 for VAX-11/780, Using UNIX (Trademark) 4.2 BSD (Mt. Xinu)

机译:ada(商标)编译器验证摘要报告:适用于VaX-11/780的Telesoft ada编译器版本2.0a6,使用UNIX(商标)4.2 BsD(mt。Xinu)

获取原文

摘要

The purpose of this Validation Summary report is to present the results and conclusions of performing standardized tests on the TeleSoft Ada Compiler which is hosted on TeleSoft's VAX-11/780 Computer. The suite of tests known as the Ada Compiler Validation Capability (ACVC), Version 1.4, was used. Not all tests in the ACVC test suite are applicable to a specific implementation. Also, known test errors in Version 1.4 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 identify, reject from processing, and label illegal language constructs. The testing also identifies implementation-dependent behavior permitted by the standard. Six classes of tests are used. These tests are designed to perform checks at compile time, during execution, and at link time.

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号