A hybrid optimization approach to conformance testing of finite automata

Test Sequence Reduction of Wireless Protocol Conformance Testing to Internet of Things

“…Reduced test sequence of ; (1) if is an with non-invertible transitions then (2) for i=1 to m do (3) = ∪ where denotes a non-invertible transition; (4) = \ ; (5) = ∪ where denotes the end state of ; (6) end for (7) for each state whose out-degree > in-degree in do (8) = ∪ where is a maximum-length IDOS of transitions generated from the state; (9) = \ (1 ⩽ ⩽ ); (10) end for (11) for each connected component with Euler tours do (12) if States in can be found in an Euler tour with transitions then (13) Choose a state in as the initial state of ; (14) end if The core of rural symmetric augmentation is still the states involved. It is known from the above properties that for any set of maximum-length IDOSs the states involved in the rural symmetric augmentation are the same such that a random concatenation will do.…”

“…The reliability of wireless communication transmission largely depends on whether the wireless communication protocol is implemented as specified. Conformance testing [3,4] is widely used to check whether an implementation conforms to its specification in areas such as traditional communication protocols and reactive systems; i.e., there must be the same behavior in the implementation for any I/O behavior observed in the specification. In FSMbased conformance testing, a protocol is called a specification and is expressed as a Finite State Machine (FSM), while an implementation under test is considered to be a "black box", the I/O behavior of which can only be observed.…”