协议一致性测试研究进展

The Headway of Protocol Conformance Testing

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

Protocol conformance testing is the most important protocol testing and the base of the other types. Although protocol conformance testing has been studied in depth, there is no systemic, effective and practical ways and means for protocol conformance testing. This paper introduces protocol formal description technology, studies description, testing sequence generation and testing implementation and execution of protocol conformance testing process, discusses existing problems and gives the basic solution.