ISO/IEC TR 10034:1990
Guidelines for the preparation of conformity clauses in programming language standards
发布时间:1990-03-29 实施时间:


编程语言标准是指定一种编程语言的规范,以确保不同的编译器和解释器能够正确地解释和执行代码。符合性条款是编程语言标准中的一部分,用于确保编译器和解释器符合标准的要求。符合性条款通常包括语法、语义、运行时行为和库函数等方面的要求。

符合性条款的准备是编程语言标准制定过程中的重要环节。符合性条款的准确性和一致性对于编程语言的正确实现和应用至关重要。ISO/IEC TR 10034:1990提供了一些指导,以帮助编程语言标准制定者准备符合性条款。

该标准首先定义了符合性条款的概念和目的。符合性条款的目的是确保编译器和解释器能够正确地实现编程语言标准中规定的要求。符合性条款应该明确、可验证和可执行。符合性条款应该覆盖编程语言标准中的所有重要方面,包括语法、语义、运行时行为和库函数等。

该标准还提供了符合性条款的编写指南。符合性条款应该清晰、简洁、准确和一致。符合性条款应该使用标准的术语和符号,并避免歧义和模糊性。符合性条款应该考虑到编程语言的实现和应用的实际情况,并尽可能地避免对实现的限制。

该标准还提供了符合性条款的审核指南。符合性条款应该经过仔细的审核,以确保其准确性和一致性。审核应该包括对符合性条款的语法、语义、可验证性和可执行性的检查。审核应该由专业人员进行,并记录审核结果和意见。

该标准还提供了符合性测试的建议。符合性测试应该覆盖编程语言标准中的所有重要方面,包括语法、语义、运行时行为和库函数等。符合性测试应该使用标准的测试方法和工具,并记录测试结果和意见。符合性测试应该由专业人员进行,并定期更新和维护。

相关标准
- ISO/IEC 9899:2018 Programming languages -- C
- ISO/IEC 14882:2017 Programming languages -- C++
- ISO/IEC 23270:2006 Programming languages -- C
- ISO/IEC 30170:2012 Programming languages -- Ada
- ISO/IEC 8652:2012 Programming languages -- Ada