解决GPRS协议一致性问题首当其冲，对于准确地验证GPRS网络的接口规范、开放性各项技术具有十分重要的意义。本文针对一致性测试，采用形式化的SDL测试语言作为协议标准的描述语言，协议语义不存在二义性，该抽象描述采用标准实用的测试方法和工具实现，达到了简化测试模型，提高测试效率的目的，非常适合于GPRS 协议的软件自动测试。