DocumentCode :
1597012
Title :
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
Link To Document :
بازگشت