New formal test suite specification language for IPv conformance testing

被引:0
作者
Zhang, YJ [1 ]
Li, ZC [1 ]
机构
[1] Chinese Acad Sci, Inst Comp Technol, Beijing 100080, Peoples R China
来源
2003 INTERNATIONAL CONFERENCE ON COMMUNICATION TECHNOLOGY, VOL 1 AND 2, PROCEEDINGS | 2003年
关键词
IPv6; conformance testing; test suite specification language; TSSL;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
IPv is the ne t generation Internet protocol. More and more productions supporting IPv have been developed, which makes IPv conformance testing necessary. The test suite specification language is very important for conformance testing. Because the current test suite specification languages such as TTCN can t meet the IPv testing re uirements, this paper defines a new formal test suite specification language abbreviated by TSSL. TSSL can describe any test packet and any test behavior needed for IPv testing. TSSL is also appropriate for IPSec testing and has the ability to simulate multiple testers on a single tester. The test platform supporting TSSL has been developed.
引用
收藏
页码:174 / 177
页数:4
相关论文
共 7 条
  • [1] Formal verification and testing of protocols
    Avresky, DR
    [J]. COMPUTER COMMUNICATIONS, 1999, 22 (07) : 681 - 690
  • [2] CHEN WH, 1997, IEEE T COMMUNICATI E, V80
  • [3] CHEN WH, 1995, IEEE ASM T NETWORKIN
  • [4] Synchronizable test sequences of finite state machines
    Tai, KC
    Young, YC
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1998, 30 (12): : 1111 - 1134
  • [5] TIAN J, 2000, 6 COMP SCI TECHN C C, P288
  • [6] URAL H, 1991, IEEE T COMMUNICATION, V39
  • [7] WANG JG, 1998, IEEE INT C COMM, V1, P286