A new formal test suite specification language for IPv conformance testing

Author

Yujun, Zhang ; Li Zhongcheng

Author_Institution

Inst. of Comput. Technol., Chinese Acad. of Sci., Beijing, China

Volume

1

fYear

2003

Firstpage

174

Abstract

IPv is the next 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 requirements, 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.

Keywords

IP networks; Internet; conformance testing; formal specification; specification languages; transport protocols; IPv6 conformance testing; Internet protocol; TSSL; formal test suite specification language; test behavior; test packet; test platform; Authentication; Automatic testing; Computational modeling; Computers; Cryptography; Internet; Logic testing; Production; Protocols; Specification languages;

fLanguage

English

Publisher

ieee

Conference_Titel

Communication Technology Proceedings, 2003. ICCT 2003. International Conference on

Print_ISBN

7-5635-0686-1

Type

conf

DOI

10.1109/ICCT.2003.1209062

Filename

1209062