论文部分内容阅读
协议一致性测试是协议测试中最为关键的测试，是其他协议测试类型的基础。已经有大量的研究与实践对协议一致性测试做了深入探讨，到目前为止，仍然缺乏系统、有效而实用的协议一致性测试方法。从协议一致性测试的协议形式化描述技术人手，分别对协议一致性测试过程中的描述、测试序列生成、测试实现与执行进行了综合研究，阐述了其中存在的问题并给出了基本解决思路。