论文部分内容阅读
通信协议测试是通过实验的方法发现通信协议实现在功能和性能方面的错误。由于各国都在开展第三代移动通信系统(3G)的研究,通信协议一致性测试趋显其在理论和现实上的重要性。通信协议的一致性测试采用较多的是FSM(Finite State Machine,有限状态机)模型,但该模型只能刻画协议的控制行为,不包括协议的数据行为,具有很大的局限性。3G的测试文档对非接入层采用的一致性测试方法是分布式测试法,该方法要使用上、下两个测试器,因此需要上下测试器之间的协调过程。
本文的主要贡献在于:运用CEFSM(Communication Extensed FSM,通信扩展有限状态机)模型,成功的对TD-PRS的LLC(Logical Link Control,逻辑链路控制)模块进行了仿真。同时用基于CEFSM模型的算法,实现了LLC模块的一致性测试,包括异步平衡模式的建立、释放,证实和非证实数据的传送,XID的协商等。采用远程测试法,对3G测试文档非接入层测试结构进行了简化。采用本文所述方法,实现了对TD-PRS终端2、3层的协议仿真和一致性测试,纠正了协议开发中的错误。同时,该方法对其他通信协议的仿真和测试有重要的参考价值和实用意义。