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

Algorithm 3

Test set generation of TPC-UIO method

Input: TPC test set TPC(M), UIO sequence of each state

Output: TPC-UIO test set TPC-UIO(M)

 1: for each test case in TPC(M)

 2: Identify the end state of the test case by the corresponding UIO sequence

 3: end for

 4: delete the test cases which are true prefixes of others