An experience in using UIO sequences and rural Chinese postman tours of conformance testing of a Q.931 implementation

The authors report their experience in utilizing formal conformance testing techniques to test as an implementation of the CCITT Q.931 protocol, for an ISDN business network being developed by a government telecom R&D concern in India. The Q.931 standard is modelled as a FSM. A tool is implemented to generate conformance test sequences. This tool is based on graph theory and finite automata concepts, namely unique input output sequences, the rural Chinese postman algorithm, Euler tours, and optimization techniques such as linear programming and network-flow algorithms. In the tester design part, they use the single layer local test method, and give the detailed design of upper and lower tester and control process which is the test driver. They briefly report on the first cycle of testin