物联网技术在全球范围内的快速发展引起了极大的关注。受限应用协议CoAP是由IETF借鉴互联网中的REST架构思想,结合物联网的特点而提出来的网络传输协议。自从CoRE[作组提出CoAP协议草案第一版以来,CoAP协议受到来自学界与工业界的高度关注可以预想,伴随物联网进一步的发展与普及,更多CoAP相关的研究将会开展,更多CoAP相关的产品将会被推出。与所有协议一样,CoAP协议是由自然语言定义的,这往往导致网络设备在协议实现上出现差异。因此,为提高设备产品质量,减少故障率,提高互联互通性,除了进一步修订协议标准外,还需要对各种协议实现进行严格的一致性测试,以验证是否符合协议规范。本论文在深入研究CoAP协议草案的基础上,围绕协议一致性测试,主要完成了三个方面的工作。首先,论文对CoAP草案修订进程展开跟踪,在研读协议最新草案的基础上对CoAP测试需求和测试套框架进行了深入的分析。其次,基于测试需求和测试套框架,采用TTCN-3语言工具对测试需求进行形式化描述,得到可执行测试套。最后,通过搭建一致性测试系统与测试环境,论文对协议实现进行测试。论文工作中的可执行测试套以及一致性测试系统已实际应用于第二次CoAP互操作性测试活动(2012.11,法国)中,实际推动了CoAP协议测试自动化的进程。