摘要
协议的一致性测试可以验证协议实现的正确性,一致性关系是测试生成的基础。网络协议的特点之一是控制消息中会携带大量数据。针对网络协议的该特点提出了符号化的一致性关系模型。建立了网络协议的输入输出符号变迁系统,并且依据数据符号实例化策略建立了对应的语义模型,在该模型中系统的活动是集成控制和数据的复杂活动。在此输入输出符号变迁模型的基础上提出了一种符号化的一致性关系以生成测试套。为了便于测试套的自动生成,对所提出的一致性关系进行了简化。在上述过程中数据的处理通过符号化的变量进行建模,这样可以使用统一符号进行数据处理,而不必总是关心具体的数值,只需在适当的时机进行符号的实例化。文中所提出的一致性关系模型充分利用了符号化的变量,增加了该模型的抽象程度,避免了处理过程的复杂性,且可以指导测试套的自动生成。最后使用IPv6的邻居发现协议对该一致性关系进行了说明。
Protocol conformanre test is used to verify the eontormanee of the protocol implementation.The conformance relation is the fnundation of the test generation.A mount of data are usually carried in the control messages in network protoeols.A symbolic model of conformance relation is proposed in this paper for this property.Firstly,an input/output symbol transition system（lOS＇IS） for Hetwork protocols is set up.A corresponding semantic model is established according to the policy of data symbol instantiation. In Ibis 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 svmbnlir variables so that data are not manipulated in real values but in uniform symbols.The symbols are instanced only if neeessary.In this way,the abstract level of model is improved.The complexity of processes is also reduced and test suite ran be generated much more automatically.Neighbor discovery protocol in IPv6 protocols is used to demonstrafe the symbolie conformance relation.
出处
《计算机工程与应用》
CSCD
北大核心
2008年第29期11-16,共6页
Computer Engineering and Applications
基金
国家自然科学基金No.60403031, No.90604015~~
