【英语版】国际标准 ISO/IEC 18009:1999 EN Information technology -- Programming languages -- Ada: Conformity assessment of a language processor 信息技术——编程语言——Ada：语言处理器的一致性评估.pdf

ISO/IEC18009:1999ENInformationtechnology--Programminglanguages--Ada是国际标准化组织（ISO）和国际电工委员会（IEC）联合发布的标准之一，用于描述Ada编程语言的处理器合规性评估。

该标准主要涵盖了以下内容：

*Ada编程语言的基本语法和语义规则。

*Ada编程语言处理器的设计、实现和测试要求。

*处理器合规性评估的流程和方法。

对于处理器合规性评估，标准中提出了以下要求：

*评估过程中需要符合ISO/IEC80000系列标准中的规定，特别是与Ada编程语言相关的部分。

*评估需要涵盖处理器对Ada编程语言的解析、语义分析、类型检查、代码生成等各个阶段，确保处理器能够正确处理Ada编程语言的各种语法和语义规则。

*评估需要关注处理器的性能和效率，以确保处理器能够满足实际应用的需求。

*评估需要考虑到处理器的可移植性和兼容性，以确保处理器在不同的操作系统、编译器和硬件平台上的表现一致。

ISO/IEC18009:1999ENInformationtechnology--Programminglanguages--Ada标准是用于评估Ada编程语言处理器合规性的重要标准，它为处理器设计者和评估机构提供了详细的评估要求和方法，以确保处理器能够正确、高效地处理Ada编程语言，并具有良好的可移植性和兼容性。