协议工程就是一体化、形式化的协议开发过程。协议工程的目的是用来减少协议开发中潜在的错误，提高协议开发的效率，促进标准化的发展。协议形式化理论是协议工程的核心。它运用形式化方法进行协议工程学的研究，协议一致性测试是协议工程中的重要部分，是保证协议实现满足协议规范的重要手段，而抽象一致性测试序列的生成又是协议测试的重要内容。　　 本文以协议工程和有限状态机的理论为依据，并以CDMA协议作为一致性测试研究对象。本文采用行业规范流程进行一致性测试，由于传统的从协议的形式化方法容易产生二义性等缺陷，而且采用传统测试序列生成方法生成的测试序列往往比较冗长，错误覆盖率也不是很好，所以本文针对这两方面提出了优化和改进。本文介绍如何利用规范化描述语言(SDL)进行协议形式化，这种方法将大大提高协议形式化描述的效率。另外本文在抽象测试用例生成方面，研究了协议相关性和动态一致性测试的问题，并介绍了基于动态测试的抽象一致性测试序列生成方法。作者在CDMA A10-A11接口协议的一致性测试项目中采用了本论文所论述的优化方法，并与传统方法进行了对比，对比结果验证了优化后方法的优越性。