论文部分内容阅读
OpenGL图形系统的开发难度随着OpenGL应用的不断发展和深入而日益增大，潜在的错误也越来越多，其中不能准确理解OpenGL规范是重要原因之一。由于OpenGL规范的描述主要是以自然语言为主，而且规范繁多，使用形式化描述规范可增加规范的准确性。本文选择描述OpenGL光照规范。通过列举光照的实例，利用Z语言给出了OpenGL中光照的规格说明，为规范的一致性测试提供了依据。