International Journal of Applied Science and Engineering
Published by Chaoyang University of Technology

Wen-Huei Chen*

Department of Electronic Enginering, Fu Jen Catholic University, Taipei 242, Taiwan, R.O.C.

Download Citation: |
Download PDF


ABSTRACT

In order to ensure the correct operation of a distributed system, the protocol implementation must be tested for conformance to the specification that is defined as a standard. The UIOv and Wp methods are two formal methods in generating the test sequence. In the past decade, a lot of new techniques have been proposed to optimize the test sequence resulting from the UIOv method. On the other hand, the traditional Reset technique is still used in the Wp method to generate a test sequence that is very long. In this paper, we propose a new technique to optimize the test sequence resulting from the Wp method. The technique involves the construction of the test segments from the Wp method, and a Rural Chinese Postman Algorithm which optimally connects these test segments into a test sequence.  Moreover, the technique is extended to generate the synchronizable test sequence. A lot of optimization techniques used in the UIOv method can then be modified to accommodate the Wp method based on similar extensions. 


Keywords: protocol engineering; conformance testing; test sequence; Wp set.


Share this article with your colleagues

 


REFERENCES

  1. [1] Aho, A. V., Dahbura, A. T., Lee, D., and Uyar, M. U. 1991. An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours. IEEE Transactions on Communications, 39, 11: 1604-1615.

  2. [2] Ben-Ari, M. 1990. “Principles of Concurrent and Distributed Programming”. Prentice-Hall. Englewood Cliffs. New Jersey. U. S. A.

  3. [3] Chen, W. H. and Ural, H. 1995. Synchronizable test sequence based on multiple UIO sequences. IEEE/ACM Transactions on Networking, 3, 2: 152-157.

  4. [4] Chen, W. H., Tang, C. Y., and Vuong, S. T. 1995. Improving the UIOv- method for protocol conformance testing. Computer Communications, 18, 9: 609-612.

  5. [5] Chen, W. H. 1998. Test sequence generation from the protocol data portion based on the Selecting Chinese Postman Algorithm. Information Processing Letters, 65: 261-268.

  6. [6] Chen, W. H. 2001. Executable test sequence for the protocol data flow property. IFIP International Conference on Formal Techniques for Networked and Distributed Systems. Cheju Island. Korea.

  7. [7] Chow, T. S. 1989. Testing design modeled by finite state machines. IEEE Transactions on Software Enginering, 4: 178-186.

  8. [8] Dssouli, R., Saleh, K., Aboulhamid, E., En-Nouaary, A., and Bourhfir C. 1999. Test development for communication protocols: towards automation.  Computer Networks, 31, 17: 1835-1872.

  9. [9] En-Nouaary, A., Dssouli, R., and Khendek, F. 2002. Timed Wp-method: testing real-time systems. IEEE Transactions on Software Engineering, 28, 11: 1130-1146.

  10. [10] Eswardan, K. E.  and Tarjan, R. E. 1976. Augmentation Problems.  SIAM Journal on Computing, 5, 4: 653-665.

  11. [11] Fujiwara, S., Bochmann, G. V., Khendek, F. Amalou, M., and Ghedamsi, A. 1991. Test selection based on finite state machine models. IEEE Transactions on Software Engineering, 17, 6: 591- 603.

  12. [12] Gill, A. 1962. “Introduction to the Theory of Finite State Machines”. McGraw Hill. New York.

  13. [13] Hsieh, E. P. 1971. Checking experiments for sequential machines. IEEE Transactions on Computing, 12, 10: 1024-1036.

  14. [14] International Standard Organization 1989. OSI Conformance Testing Methodology and Framework. ISO/IECJCT1/SC21 DIS 9646. Parts 4-5.

  15. [15] Kohavi, Z. 1978.  “Switching and Finite Automata Theory”. MacGraw Hill. New York. U. S. A.

  16. [16] Lee, D. and Yannakakis, M. 1996. Principles and methods of testing finite state machines. Process of IEEE, 84, 8: 1090-1123.

  17. [17] Luo, G., Bochmann, G. V., and Petrenko,1994. Test selection based on communicating Nondeterministic Finite State Machines using a generalized Wp method. IEEE Transactions on Software Engineering, 12, 2: 120-132.

  18. [18] Miller, R. E. and Paul, S.  1993. On the generation of minimal-length conformance tests for communication protocols.  IEEE/ACM Transactions on Networking, 1, 1: 116-129.

  19. [19] Naito, S. and Tsunoyama, M. 1981. Fault detection for sequential machines by transition tour. Process of IEEE Fault Tolerant Computing Sympsium.

  20. [20] Sabnani, K. K. and Dahbura, A. T. 1988. A protocol test generation procedure. Computer Networks and ISDN Systems, 15, 4: 285-297.

  21. [21] Sidhu, D. P. and Leung, T. K. 1988. Fault coverage of test methods. Process of IEEE INFOCOM.

  22. [22] Tanebaum, A. S. 1988. “Computer Network. Second Edition”. Prentice-Hall.  Englewood Cliffs. New Jersey. U.S.A.

  23. [23] Vuong, S. T.,  Chan, W. Y. L., and Ito, M. T. 1989. The UIOv- method for protocol test sequence generation. Process of IFIP International Workshop on Protocol Test Systems. Berlin. Germany.


ARTICLE INFORMATION



Accepted: 2003-01-01
Available Online: 2003-03-01


Cite this article:

Chen, W.-H. 2003. An optimization technique for protocol conformance testing based on the Wp method, International Journal of Applied Science and Engineering, 1, 45–54. https://doi.org/10.6703/IJASE.2003.1(1).45

Other people also read ...

doaj logo

 

2.3
2022CiteScore
 
 
48th percentile
Powered by  Scopus
 
 

SCImago Journal & Country Rank

IJASE - Most Read Articles

IJASE - Most popular articles