A modified transition tour protocol test method

Chung-Ming Huang, Jenq Muh Hsu, Huei Yang Lai

Research output: Contribution to journalArticle

2 Citations (Scopus)

Abstract

Protocol conformance test is a procedure to validate whether the implementation of a communication protocol conforms to its specification. A modified transition tour protocol test method is proposed in this paper. The modified transition tourprotocol test method is based on the executable rule-based specification and implementation that are realized by using the OPS5 production system. Instead of using some optimization algorithms to minimize test sequences, the new test method is based on modifying test architectures and enhancing Formal Description Techniques' (FDTs) functionalities so that they are powerful enough to be used in both the design phase and the test phase. The conresponding test architectures for local, distributed, coordinated, remote, and ferry control methods also need to be modified. In this paper, we will present the major concept and the test procedure of the modified transition tour method. Additionally, we also present the logical design of the corresponding coordinated test system.

Original languageEnglish
Pages (from-to)257-300
Number of pages44
JournalJournal of Systems Integration
Volume4
Issue number3
DOIs
Publication statusPublished - 1994 Sep 1

Fingerprint

method
test
protocol
production system
communication

All Science Journal Classification (ASJC) codes

  • Earth and Planetary Sciences(all)

Cite this

Huang, Chung-Ming ; Hsu, Jenq Muh ; Lai, Huei Yang. / A modified transition tour protocol test method. In: Journal of Systems Integration. 1994 ; Vol. 4, No. 3. pp. 257-300.
@article{480b8efd1bc34567827685ecf09f0c4c,
title = "A modified transition tour protocol test method",
abstract = "Protocol conformance test is a procedure to validate whether the implementation of a communication protocol conforms to its specification. A modified transition tour protocol test method is proposed in this paper. The modified transition tourprotocol test method is based on the executable rule-based specification and implementation that are realized by using the OPS5 production system. Instead of using some optimization algorithms to minimize test sequences, the new test method is based on modifying test architectures and enhancing Formal Description Techniques' (FDTs) functionalities so that they are powerful enough to be used in both the design phase and the test phase. The conresponding test architectures for local, distributed, coordinated, remote, and ferry control methods also need to be modified. In this paper, we will present the major concept and the test procedure of the modified transition tour method. Additionally, we also present the logical design of the corresponding coordinated test system.",
author = "Chung-Ming Huang and Hsu, {Jenq Muh} and Lai, {Huei Yang}",
year = "1994",
month = "9",
day = "1",
doi = "10.1007/BF01976186",
language = "English",
volume = "4",
pages = "257--300",
journal = "Journal of Systems Integration",
issn = "0925-4676",
publisher = "Kluwer Academic Publishers",
number = "3",

}

A modified transition tour protocol test method. / Huang, Chung-Ming; Hsu, Jenq Muh; Lai, Huei Yang.

In: Journal of Systems Integration, Vol. 4, No. 3, 01.09.1994, p. 257-300.

Research output: Contribution to journalArticle

TY - JOUR

T1 - A modified transition tour protocol test method

AU - Huang, Chung-Ming

AU - Hsu, Jenq Muh

AU - Lai, Huei Yang

PY - 1994/9/1

Y1 - 1994/9/1

N2 - Protocol conformance test is a procedure to validate whether the implementation of a communication protocol conforms to its specification. A modified transition tour protocol test method is proposed in this paper. The modified transition tourprotocol test method is based on the executable rule-based specification and implementation that are realized by using the OPS5 production system. Instead of using some optimization algorithms to minimize test sequences, the new test method is based on modifying test architectures and enhancing Formal Description Techniques' (FDTs) functionalities so that they are powerful enough to be used in both the design phase and the test phase. The conresponding test architectures for local, distributed, coordinated, remote, and ferry control methods also need to be modified. In this paper, we will present the major concept and the test procedure of the modified transition tour method. Additionally, we also present the logical design of the corresponding coordinated test system.

AB - Protocol conformance test is a procedure to validate whether the implementation of a communication protocol conforms to its specification. A modified transition tour protocol test method is proposed in this paper. The modified transition tourprotocol test method is based on the executable rule-based specification and implementation that are realized by using the OPS5 production system. Instead of using some optimization algorithms to minimize test sequences, the new test method is based on modifying test architectures and enhancing Formal Description Techniques' (FDTs) functionalities so that they are powerful enough to be used in both the design phase and the test phase. The conresponding test architectures for local, distributed, coordinated, remote, and ferry control methods also need to be modified. In this paper, we will present the major concept and the test procedure of the modified transition tour method. Additionally, we also present the logical design of the corresponding coordinated test system.

UR - http://www.scopus.com/inward/record.url?scp=0028513807&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0028513807&partnerID=8YFLogxK

U2 - 10.1007/BF01976186

DO - 10.1007/BF01976186

M3 - Article

VL - 4

SP - 257

EP - 300

JO - Journal of Systems Integration

JF - Journal of Systems Integration

SN - 0925-4676

IS - 3

ER -