论文部分内容阅读
随着计算机网络发展特别是开放型异构网络的迅猛发展，协议测试理论和技术的研究越来越重要，已经成为国际上计算机网络研究的热点之一。研究基于形式化技术的测试执行方法是开展形式化的协议一致性测试活动的关键环节。 我们做的工作主要是以下两个部分：一部分是结合ISO的标准和方法，提出了一种形式化的基于测试描述语言TTCN的操作语义的测试执行方法，并且在Windows环境下采用面向对象的方法实现了此协议测试执行系统。这种形式化的测试执行方法非常适合于构造通用的协议测试系统，同时也是进行测试集自动执行的有效手段；另一部分是对IPv6邻居发现协议的一致性进行了测试。Neighbor Discovery(邻居发现，ND)协议是下一代互联网协议IPv6协议族中的一个重要组成部分。本文对IPv6协议族中的邻居发现协议进行了简要介绍，提出了一种基于有限状态机和消息序列图相结合的协议一致性测试的形式化方法，实现了邻居发现协议一致性测试集的形式化，给出了用测试例描述语言TTCN描述的测试例的实现，并对Windows2000上的IPv6邻居发现协议实现进行了一致性测试，给出了测试报告。