随着计算机通信技术的飞速发展,计算机网络在人类的生活中扮演着越来越重要的角色。因而协议测试成为网络协议工程学中研究的热点。随着BACnet协议是楼宇自动控制网络中ISO的国际标准(ISO 16484-5),市场上BACnet协议产品数量的日益增长,对BACnet协议进行一致性测试的需求也越来越迫切。本文首先介绍了网络协议测试的基本概念和发展现状、一致性测试的基本过程以及基于扩展有限状态机的协议一致性测试方法和模型。然后,在深入研究BACnet协议规范的基础上,分析了BACnet应用层状态变迁的规则,并以扩展有限状态机为模型,提出了一种基于规则推理的协议状态机生成方法,该方法能够根据协议一致性声明自动生成测试状态机。接着,介绍了BACnet协议的EPICS文件的内容,讨论了其在一致性测试中的作用。通过分析BACnet协议一致性测试的内容,不仅给出了测试规则的设计方案,而且也给出了由EPICS提供的事实和测试规则匹配产生的测试集的设计方案。最后,本文对BACnet协议一致性测试集描述方法——BTS-Script的语法规则进行了定义。提出了基于选取测试集中的测试例来自动生成测试脚本的一种方法,并分析了系统的不足之处,提出改进方案,明确了进一步的研究工作。