Abstract
In the conformance test of the communication protocol, it is desired from the viewpoints of strictness and efficiency to generate automatically the test sequence, based on the formal description. Several methods have been proposed for this purpose. All of these methods are based on the two formal descriptions which can be the basis for the test-sequence generation: one is the description based on the order of the input/output events, and the other is the description based on the finite-state machine model. This paper attempts to compare the applicability of the two description methods to the conformance test. Also, it evaluates the error-detection capability which actually generates the test sequences for the following two cases. (1) The test sequence is generated directly from the specification based on the order of events. (2) The test sequence is generated from the finite-state machine model, which is obtained from the description of (1). In the evaluation, a simulation technique is employed which uses as a testing object a finite-state machine containing random errors. Finally, this paper notes the handling of the undefined transitions contained in a large number in the actual protocol and considers the class of errors pertinent to the actual protocol, such as the redundant state errors or the replicated state errors.
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 callMore From: Electronics and Communications in Japan (Part I: Communications)
Disclaimer: 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.
