Ada是一种高级编程语言，广泛应用于航空航天、国防、交通、金融等领域。Ada语言的设计目标是提供一种可靠、安全、高效的编程语言，以支持大型、复杂的软件系统的开发。为了确保Ada语言的实现符合标准，ISO/IEC制定了一系列标准，其中之一就是ISO/IEC 18009:1999。

ISO/IEC 18009:1999规定了一致性评估的程序和要求，以确保Ada语言处理器的实现符合Ada语言标准的要求。该标准包括以下内容：

1. 评估程序的要求：该标准规定了评估程序的要求，包括评估程序的结构、评估程序的输入和输出、评估程序的执行过程等。

2. 评估要求的分类：该标准将评估要求分为三类，分别是必需的、建议的和可选的。必需的评估要求是必须满足的，建议的评估要求是建议满足的，可选的评估要求是可选满足的。

3. 评估要求的内容：该标准规定了评估要求的内容，包括语法和语义的正确性、编译器的正确性、运行时系统的正确性等。

4. 评估结果的报告：该标准规定了评估结果的报告要求，包括评估结果的分类、评估结果的详细说明、评估结果的结论等。

通过ISO/IEC 18009:1999的一致性评估，可以确保Ada语言处理器的实现符合Ada语言标准的要求，从而提高Ada语言程序的可靠性、安全性和效率。

相关标准
- ISO/IEC 8652:2012 Ada语言标准
- ISO/IEC 12227:1995 Ada语言解释器
- ISO/IEC 15291:1999 Ada语言编译器
- ISO/IEC 18010:2008 Ada语言运行时系统
- ISO/IEC 18011:1999 Ada语言库