Generation of realizable conformance tests under timing constraints

An optimization method is introduced for generating minimum-length test sequences taking into account timing constraints for FSM models of the communication protocols. Due to active timers in many of today´s protocols, the number of consecutive self-loops that can be traversed in a given state before a timeout occurs is limited. An example of a protocol where this constraint occurs is MIL-STD 188-220B. A test sequence that does not consider timing constraints will likely be unrealizable in a test laboratory, thereby potentially resulting in the incorrect failing of valid implementations. The solution uses a series of augmentations for a protocol´s directed graph representation. The resulting test sequence is proven to be of minimum-length while not exceeding the tolerable limit of consecutive self-loops at each state. Although UIO sequences are used for the state verification method, the results also are applicable to test generation that uses distinguishing or characterizing sequences