A Combining Method for Wireless Protocol Conformance Testing: A Empirical Case

Algorithm 2

TPC test set generation

Input: FSM M with n states {, ,…} and is the initial state, state covering set SC(M)={, ,…}

Output: TPC test set TPC(M)

 1: Initialize TPC(M)=ϕ

 2: for (i=1; i≤n; i++)

 3: for each transition sequence β of length 2 starting from

 4: TPC(M)= TPC(M) ∪

 5: end for

 6: end for