The Generating Algorithm of Protocol Consistency Test Sequences Between Combined Control Flow and Data Flow

To take account of both date flow and control flow in protocol consistency test, based on EFSM, this article puts forward that in data flow test, the method of the data dependence relation between variables is reused to generate test sequence, which improves path coverage rate; it also puts forward that in control flow test, the method of sub-sequence shortest covering-path is created to generate control flow test sequence, and the path stack algorithm is applied to merge test sequence to optimize test sets.