【摘要】 简要介绍了在 Linux测试平台下 ,如何实现 IPv6基本协议 (RFC2 460 )一致性测试 ,并给出了 TTCN描述的测试例 .最后讨论了在测试中要进一步开展的工作更多还原

【Abstract】 This paper proposes a formal approach to conformance testing of IPv6 Specification Protocol (RFC2460) based on LTS models over a test system of Linux. We first discuss the test architecture. Then we present an example to illustrate the automatic derivation of executable test sequences, the generated test cases are represented in the standardized test description language TTCN.Finally, we talk about the topics for the further study.更多还原