Protocol conformance test suite generation
Qixiang Pang, Cheng Shiduan, Jin Yuehui · 2002
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.