论文部分内容阅读
协议的一致性测试可以验证协议实现的正确性，一致性关系是测试生成的基础.网络协议的特点之一是控制消息中会携带大量数据针对网络协议的该特点提出了符号化的一致性关系模型．建立了网络协议的输入输出符号变迁系统，并且依据数据符号买例化策略建立了对应的语义模型，在该模型中系统的活动是集成控制和数据的复杂活动。在此输入输出符号变迁模型的基础上提出了一种符号化的一致性关系以生成测试套。为了便于测试套的自动生成，对所提出的一致性关系进行了简化、在上述过程中数据的处理通过符号化的变量进行建模，这样可以使用统一符号进行数据处理