OpenGL光照规范的Z语言描述

摘要：

本文通过分析openGL图形标准光照规范的参数、函数关系，通过对规范的抽象化以及集合化，提炼出了一个适合于Z语言描述的光照效果添加过程。首先，对光源、光照模型、材质的参数和函数进行了一般性描述，最后通过对一个具体实例的描述，展示了z形式化描述的优势。Z形式化描述目的是确保软件过程中描述的正确性和无二义性，因此形式化验证是实现形式化描述必不可少的过程。所以，形式化验证以及测试用例的自动生成将是进一步的研究目标。

关键词： 软件开发 OpenGL图形系统 光照模拟 Z语言 形式化描述

作者: 温晋杰 赵正旭

作者单位: 石家庄铁道大学信息科学与技术学院,河北石家庄市050043

会议类型: 国内会议

会议名称: SCEG2014研讨会(2014年“计算机科学与技术及教育技术“学术研讨会)

会议地点: 石家庄

会议语种:中文

页码: 11-20

在线出版日期: 2014-06-30（万方平台首次上网日期，不代表论文的发表时间）