文章詳目資料

International Journal of Applied Science and Engineering Scopus

  • 加入收藏
  • 下載文章
篇名 An Optimization Technique for Protocol Conformance Testing Based on the Wp Method
卷期 1:1
作者 Wen-Huei Chen
頁次 045-054
關鍵字 protocol engineeringconformance testingtest sequenceWp setScopus
出刊日期 200303

中文摘要

英文摘要

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.

相關文獻