Protocol conformance testing using multiple UIO sequences
- 1 January 1992
- journal article
- letter
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Communications
- Vol. 40 (8) , 1282-1287
- https://doi.org/10.1109/26.156631
Abstract
This letter presents new results for automatically generating conformance test sequences for communication protocols by means of Unique Input/Output (UIO) sequences [6]. The contribution of this letter is to show that if multiple minimum-length UIO sequences are computed for each state of the FSM specification then the length of the resulting test sequence is significantly reduced without an appreciable increase in the time needed to compute the sequence. An algorithm for assignment of the multiple UIO sequences is given. This algorithm which is based on network flow, is polynomial in the number of states and transitions of the FSM, and is effective in reducing the overall length of the test sequence.Keywords
This publication has 7 references indexed in Scilit:
- A protocol test generation procedurePublished by Elsevier ,2003
- Fault coverage of protocol test methodsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Protocol testing techniquesComputer Communications, 1987
- Data Structures and Network AlgorithmsPublished by Society for Industrial & Applied Mathematics (SIAM) ,1983
- Graph Theory with ApplicationsPublished by Springer Nature ,1976
- A Method for the Design of Fault Detection ExperimentsIEEE Transactions on Computers, 1970
- Fault detecting experiments for sequential circuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1964