网络协议测试的符号化一致性关系研究

摘要

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