摘要
简要介绍了在 Linux测试平台下 ,如何实现 IPv6基本协议 (RFC2 460 )一致性测试 ,并给出了 TTCN描述的测试例 .
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.
出处
《内蒙古大学学报（自然科学版）》
CAS
CSCD
北大核心
2002年第4期470-474,共5页
Journal of Inner Mongolia University：Natural Science Edition
基金
国家自然基金项目 (69863 0 0 1 )
