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