Test Sequences Generation in Protocol Test

TUAN Bo,LI Jin,SUN Hai-bo,YANG Pan-long
2008-01-01
Abstract:Some test generation methods were presented based on the concept of the protocol conformance testing.Most attention was paid to the model based on FSM,and also such other models as EFSM and DFSM.The important theories and limitations in each method were pre- sented.Finally further problems to be studied in this field and the development trends were pointed out.
What problem does this paper attempt to address?