ISO/IEC 18009:1999
Information technology — Programming languages — Ada: Conformity assessment of a language processor
发布时间:1999-12-16 实施时间:


Ada是一种高级编程语言,广泛应用于航空航天、国防、交通、金融等领域。为了保证Ada语言处理器的一致性,ISO/IEC 18009:1999标准规定了一系列测试用例和测试方法,用于评估Ada语言处理器是否符合Ada编程语言的标准。

该标准主要包括以下内容:

1. 术语和定义:定义了一些与Ada语言处理器相关的术语和定义,以便于标准的理解和应用。

2. 一致性评估:规定了一系列测试用例和测试方法,用于评估Ada语言处理器是否符合Ada编程语言的标准。测试用例包括语法测试、语义测试、运行时测试等,测试方法包括手工测试和自动测试等。

3. 报告:规定了一致性评估报告的格式和内容,包括测试结果、测试用例、测试方法、测试环境等。

通过ISO/IEC 18009:1999标准的评估,可以确保Ada语言处理器的一致性和可靠性,提高Ada编程语言的应用效果和安全性。

相关标准
- ISO/IEC 8652:2012 Ada语言参考手册
- ISO/IEC 15291:1999 Ada语言编程环境接口
- ISO/IEC 12227:1995 Ada语言解释器
- ISO/IEC 13813:1998 Ada语言编译器
- ISO/IEC 15519:2001 Ada语言测试