SNMP MIB文法分析及MIB编译器的实现

作     者：陆卫东 张毓森 胡谷雨 

作者机构：解放军理工大学指挥自动化学院江苏南京210016 

基　　金：国家 8 6 3重点课题基金资助项目!(86 3-30 6 -ZD0 8-0 1-2 ) 

出 版 物：《解放军理工大学学报（自然科学版）》 (Journal of PLA University of Science and Technology(Natural Science Edition))

年 卷 期：2000年第1卷第6期

页      码：30-33页

摘      要：通过对 SNMP MIB(SMIv2 )中两个具有代表性的宏定义的语法进行分析 ,给出了宏定义的文法分析表 ,证明了 SNMP MIB定义的宏基本属于 LL- 1文法 ,并指出了 TEXTUAL- CONVENTION宏定义中的一处文法缺陷。在此基础上 ,依据文法分析表设计了 MIB编译器的程序流程图 ,根据 LL- 1文法的性质证明了该流程图是正确的。

主 题 词：SNMP MIB 文法分析 MIB编译器 简单网络管理协议 管理信息库 编译原理 程序正确性证明 LL-1文法 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 0835[0835] 081201[081201] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1009-3443.2000.06.006

馆 藏 号：203367211...