Hegde, M and Shobha, SV (1993) An experience in using UIO sequences and rural Chinese postman tours of conformance testing of a Q.931 implementation. In: NETWORKS '92 Proceedings of the IFIP TC6 Working Conference on Computer Networks, Architecture, and Applications. on Computer networks, architecture and applications, 28-29 Oct. 1992, Trivandrum, India, pp. 223-235.Full text not available from this repository.
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 testing
|Item Type:||Conference Paper|
|Additional Information:||Copyright of this article belongs to Elsevier Science Publishers B. V.|
|Department/Centre:||Division of Electrical Sciences > Electrical Communication Engineering|
|Date Deposited:||08 Jan 2008|
|Last Modified:||12 Jan 2012 06:27|
Actions (login required)