协议工程是协议开发质量保证的一个重要手段,其中协议一致性测试是协议工程的一个基础部分。协议一致性测试的核心部分是在协议规格和协议实现之间有一致性关系的情况下指导测试用例设计的框架。为了能够发现协议开发中潜在的问题,有必要对基于形式化规格模型的协议一致性测试进行研究。　　本课题的内容就是在应用形式化规格模型的基础上对协议一致性测试进行研究。首先,对形式化规格技术进行研究,以及它与常规开发方法的区别和在工业中的应用;第二,对现有的基于FSM规格方法的测试序列生成方法进行分析比较;第三,由于UIO序列的广泛使用,对UIO序列的生成算法进行研究,并提出一个新的算法,使得到的UIO序列能进一步的缩短,进而缩短测试序列减少测试成本;第四,对基于UIO的一些测试集生成算法进行论述,包括一个动态选择的生成算法。