河北省科学院学报
河北省科學院學報
하북성과학원학보
JOURNAL OF THE HEBEI ACADEMY OF SCIENCES
2014年
2期
41-48
,共8页
Z语言%OpenGL%形式化
Z語言%OpenGL%形式化
Z어언%OpenGL%형식화
OpenGL图形系统的开发难度随着OpenGL应用的不断发展和深入而日益增大,潜在的错误也越来越多,其中不能准确理解OpenGL规范是重要原因之一.由于OpenGL规范的描述主要是以自然语言为主,而且规范繁多,使用形式化描述规范可增加规范的准确性.本文选择描述OpenGL光照规范.通过列举光照的实例,利用Z语言给出了OpenGL中光照的规格说明,为规范的一致性测试提供了依据.
OpenGL圖形繫統的開髮難度隨著OpenGL應用的不斷髮展和深入而日益增大,潛在的錯誤也越來越多,其中不能準確理解OpenGL規範是重要原因之一.由于OpenGL規範的描述主要是以自然語言為主,而且規範繁多,使用形式化描述規範可增加規範的準確性.本文選擇描述OpenGL光照規範.通過列舉光照的實例,利用Z語言給齣瞭OpenGL中光照的規格說明,為規範的一緻性測試提供瞭依據.
OpenGL도형계통적개발난도수착OpenGL응용적불단발전화심입이일익증대,잠재적착오야월래월다,기중불능준학리해OpenGL규범시중요원인지일.유우OpenGL규범적묘술주요시이자연어언위주,이차규범번다,사용형식화묘술규범가증가규범적준학성.본문선택묘술OpenGL광조규범.통과열거광조적실례,이용Z어언급출료OpenGL중광조적규격설명,위규범적일치성측시제공료의거.
