INAP protocol conformance testing

This paper describes a research result on automatic generation of abstract test cases from INAP protocol in formal specifications by using and applying many existing related algorithms and techniques such as the testing framework, rural Chinese postman tour and UTO (Unique Input Output) sequence concepts. We use the I/OFSM (Input/Output Finite State Machine) generated from SDL specifications and a characterizing sequence, called Unique Input/Output (UIO) sequence, is defined for the I/O FSM. The UIO sequence is combined with the concept of rural Chinese postman tour, without reliable reset capability, to obtain an optimal test sequence. To develop this method, first of all, we establish a framework leading to formal testing methodology which can be used to assess the conformance of an IUT (Implementation Under Test) to the behaviours specified in an I/OFSM which is equivalent to corresponding FDT (Formal Description Technique) specification. By this framework, we present a methodology for automatic test generation from FDT specifications. A prototype of the proposed framework has been built with special attention to real application in order to generate the executable test cases in an automatic way.