This paper proposes an optimization method for protocol Conformance test generation based upon multiple UIO sequences．It can be shown that test sequences goner-ated by this method are shorter than those generated by other methods using UIO se-quences．Because of employing formally overlapping technique，generation time ot over-lapped transition sequences is greatly decreased．