Abstract: Protocol conformance test is used to verify the conformance of the protocol implementation.The conformance relation is the foundation of the test generation.A mount of data are usually carried in the control messages in network protocols.A symbolic model of conformance relation is proposed in this paper for this property.Firstly，an input/output symbol transition system（IOSTS） for network protocols is set up.A corresponding semantic model is established according to the policy of data symbol instantiation.In this model，the activities of system are integrated of controls and data.Secondly，a symbolic conformance relation for test suite generation is given based on IOSTS.Finally，this conformance relation is simplified for automatically generating test suite.All data processes are modeled with symbolic variables so that data are not manipulated in real values but in uniform symbols.The symbols are instanced only if necessary.In this way，the abstract level of model is improved.The complexity of processes is also reduced and test suite can be generated much more automatically.Neighbor discovery protocol in IPv6 protocols is used to demonstrate the symbolic conformance relation.

Key words: symbolic conformance relation, conformance test, Input/Output Symbol Transition System（IOTS）

摘要： 协议的一致性测试可以验证协议实现的正确性，一致性关系是测试生成的基础。网络协议的特点之一是控制消息中会携带大量数据。针对网络协议的该特点提出了符号化的一致性关系模型。建立了网络协议的输入输出符号变迁系统，并且依据数据符号实例化策略建立了对应的语义模型，在该模型中系统的活动是集成控制和数据的复杂活动。在此输入输出符号变迁模型的基础上提出了一种符号化的一致性关系以生成测试套。为了便于测试套的自动生成，对所提出的一致性关系进行了简化。在上述过程中数据的处理通过符号化的变量进行建模，这样可以使用统一符号进行数据处理，而不必总是关心具体的数值，只需在适当的时机进行符号的实例化。文中所提出的一致性关系模型充分利用了符号化的变量，增加了该模型的抽象程度，避免了处理过程的复杂性，且可以指导测试套的自动生成。最后使用IPv6的邻居发现协议对该一致性关系进行了说明。

关键词: 符号化一致性关系, 一致性测试, 输入输出符号变迁系统（IOTS）