Abstract
A checking sequence generated from a Finite State Machine (FSM) is used in testing to demonstrate correctness of an implementation under test. It can be obtained by concatenating inputs triggering state transitions followed by final state verification sequences. Usually, the latter are derived from a distinguishing set or sequence, assuming that a given FSM possesses it. It has been suggested that, under certain conditions, Unique Input/Output (UIO) sequences can also be used. In this paper, we propose using sequences with less state distinguishability power than distinguishing and UIO sequences. Such sequences are shorter and thus can reduce the length of checking sequences. We formulate conditions under which such sequences can replace distinguishing and UIO sequences and elaborate a checking sequence generation method based on these conditions. An example is provided to demonstrate that the proposed method yields a checking sequence shorter than existing methods.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
