数字集群系统是一种高级专用移动调度系统,是共享资源、分担费用、共享信道设备及服务的多用途、高效能的无线调度通信系统.该论文以专网移动通信系统的开发为背景,研究了TETRA空中接口协议,并且基于有限状态模型,提出了一种实用的基站控制模块测试程序设计方案.该文首先综述了国内外数字集群移动通信系统的发展状况及趋势.重点分析了TETRA空中接口协议,对影响空中接口控制流程的要素进行了深入的研究.该文分析了用有限状态模型分析时序逻辑的原理,并讨论了一种改进的模型,同时介绍了一种运算量比传统方法更小的编程实现方法.在此基础上详细的研究了基于有限状态模型的基站控制模块测试软件的设计原理.基于这个模型提出了基站控制模块测试程序的设计方案.详细分析了以太网环境对理想信道模拟的可行性;信令在实际环境中传输时延因素;协议数据单元的编码与解析这几个重要的技术环节.然后讨论了实际编程中,这几个部分的实现方法.经过分析得出这个程序设计方案的可行性.最后,该文介绍了依照前面的设计方案实现的程序的应用范围.并以一个呼叫建立过程为实例,介绍了程序的使用方法以及运行效果.通过实际测试证明,该课题方案合理,所完成的设计达到了课题要求.