Synchronizable test sequences of finite state machines

Port-based testing and group-based testing are two synchronizable testing strategies that can be used for a finite state machine (FSM). Port-based testing, which has lesser limitations than pair-synchronizable testing, does not permit FSM testers to communicate with each other. On the other hand, group-based testing separates FSM ports into mutually disjoint group and permits ports testers to communicate with each other.