DocumentCode :
2160722
Title :
Protocol conformance test suite generation
Author :
Qixiang, Pang ; Shiduan, Cheng ; Yuehui, Jin
Author_Institution :
Nat. Lab. of Switching Technol. & Telecommun. Networks, Beijing Univ. of Posts & Telecommun., China
fYear :
1996
fDate :
5-7 May 1996
Firstpage :
218
Abstract :
The strategy of generating test suite from protocols modelled EFSM is presented. The concept of transition/program dependency graph (TPDG) constructed from data flow of EFSM is presented. From the TPDG and the control flow graph (CFG) of EFSM, test sequences that can test both the control part and the data part can be generated. Test data (for parameterizing test sequences) selection method is discussed too. The generated test cases (parameterized test sequences) are described in TTCN according to ISO/IEC 9646. A software-test suite generation system (TSGS) based on the above strategy is introduced. The software is implemented in a Sun sparc station
Keywords :
ISO standards; data flow computing; finite state machines; protocols; software tools; specification languages; ISO/IEC 9646; Sun sparc station; TTCN; control flow graph; modelled EFSM; parameterized test sequences; protocol conformance; software-test suite generation system; test data selection method; test suite generation; transition/program dependency graph; Context modeling; Flow graphs; IEC standards; ISO standards; Laboratories; Protocols; Software testing; Sun; Telecommunication control; Telecommunication switching;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Communication Technology Proceedings, 1996. ICCT'96., 1996 International Conference on
Conference_Location :
Beijing
Print_ISBN :
0-7803-2916-3
Type :
conf
DOI :
10.1109/ICCT.1996.545165
Filename :
545165
Link To Document :
بازگشت