【作者】 孙美飞；

【导师】 叶新铭；

【作者基本信息】 内蒙古大学 ， 计算机应用技术， 2004， 硕士

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

【Abstract】 The protocol testing theory and technology have become more and more important with the rapidly development of the computer network especially the open heterogenous network. It has been a hotspot research field of international computer network. Research on formal test execution methods is an important phase in the activity of formal protocol conformance testing.My research work includes the following two parts. In the first part, we propose a formal test execution approach based on test notation language TTCN’s operational semantics and conform to the ISO’ criterion and method. Using Object-Orient programming technology, the protocol test executing system is implemented in Windows environment. This formal approach is very suitable for the construction of general protocol testing system, and can be an effective way for automatic test suit verification. In the second part, we test the conformance of the IPv6 Neighbor Discovery Protocol. Neighbor Discovery for IPv6 is a main part of IPv6 protocols. This paper introduces the Neighbor Discovery Protocol simply and presents a formal method of the protocol conformance testing which based on FSM and MSC. A formal Neighbor Discovery Protocol test suit is specified, and the implementation of the test cases based on TTCN is given out. Also we test the conformance of the IPv6 ND protocol implementation on Windows2000 and give out the test report.更多还原