摘要
STEP 交换文件的一致性检测,是保证其与应用协议中规定的信息要求完全一致。本文介绍了用 YACC 工具设计一致性检测工具的原理;从基本数据类型、实体属性、各种类型的实体等几个方面,阐述了 EXPRESS 描述的应用解释模型与 YACC 产生式的映射关系,并给出 CSG 模型的映射实例。
The conformance testing of the STEP exchange file is to ensure that the implementation has the characteristics needed from the information requirements. This paper states the principles of the design of the conformance testing tool and gives the methods of mapping from EXPRESS to the YACC rules from the aspect of basic data type, entity attribute, entity and so on in the EXPRESS data model. The YACC rules mapped from CSG model are given as an example.
出处
《哈尔滨工程大学学报》
EI
CAS
CSCD
1995年第4期58-64,共7页
Journal of Harbin Engineering University
基金
国家863CIMS主题资助项目
