Incremental protocol test method

formal modeling and architectures

Chung-Ming Huang, Ming T. Liu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

To ensure that the implementation of a communication protocol conforms to its specification, a protocol test process is invoked to check for conformance. In this paper, an incremental protocol test method is proposed. The incremental protocol 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. To provide for direct control and observation, the proposed method has (1) a single high level formal representation mechanism, which is currently the OPS5 production system, to be used in both the design phase and the test phase; (2) a Test sequence Generator and state Monitor (TGM) that is added to the local environment. In this way, protocol test sequence generation is formally represented in production rules by combining those related elements in the formal protocol specification with additional elements used for controllability and observability in the test process. The inter-communication between the module of test sequence generation and external testers is specified abstractly and its realization in procedure-based computations relies on the host environment of the Implementation Under Testing (IUT) and external testers.

Original languageEnglish
Title of host publicationProceedings of the Second International Conference on Systems Integration
PublisherPubl by IEEE
Pages499-508
Number of pages10
ISBN (Print)0818626976
Publication statusPublished - 1992 Dec 1
EventProceedings of the Second International Conference on Systems Integration - ICSI'92 - Morristown, NJ, USA
Duration: 1992 Jun 151992 Jun 18

Publication series

NameProceedings of the Second International Conference on Systems Integration

Other

OtherProceedings of the Second International Conference on Systems Integration - ICSI'92
CityMorristown, NJ, USA
Period92-06-1592-06-18

Fingerprint

Formal methods
Network protocols
Specifications
Observability
Controllability
Communication
Testing

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Cite this

Huang, C-M., & Liu, M. T. (1992). Incremental protocol test method: formal modeling and architectures. In Proceedings of the Second International Conference on Systems Integration (pp. 499-508). (Proceedings of the Second International Conference on Systems Integration). Publ by IEEE.
Huang, Chung-Ming ; Liu, Ming T. / Incremental protocol test method : formal modeling and architectures. Proceedings of the Second International Conference on Systems Integration. Publ by IEEE, 1992. pp. 499-508 (Proceedings of the Second International Conference on Systems Integration).
@inproceedings{fa72afbe4a4c4b5b89b5a7974b72705f,
title = "Incremental protocol test method: formal modeling and architectures",
abstract = "To ensure that the implementation of a communication protocol conforms to its specification, a protocol test process is invoked to check for conformance. In this paper, an incremental protocol test method is proposed. The incremental protocol 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. To provide for direct control and observation, the proposed method has (1) a single high level formal representation mechanism, which is currently the OPS5 production system, to be used in both the design phase and the test phase; (2) a Test sequence Generator and state Monitor (TGM) that is added to the local environment. In this way, protocol test sequence generation is formally represented in production rules by combining those related elements in the formal protocol specification with additional elements used for controllability and observability in the test process. The inter-communication between the module of test sequence generation and external testers is specified abstractly and its realization in procedure-based computations relies on the host environment of the Implementation Under Testing (IUT) and external testers.",
author = "Chung-Ming Huang and Liu, {Ming T.}",
year = "1992",
month = "12",
day = "1",
language = "English",
isbn = "0818626976",
series = "Proceedings of the Second International Conference on Systems Integration",
publisher = "Publ by IEEE",
pages = "499--508",
booktitle = "Proceedings of the Second International Conference on Systems Integration",

}

Huang, C-M & Liu, MT 1992, Incremental protocol test method: formal modeling and architectures. in Proceedings of the Second International Conference on Systems Integration. Proceedings of the Second International Conference on Systems Integration, Publ by IEEE, pp. 499-508, Proceedings of the Second International Conference on Systems Integration - ICSI'92, Morristown, NJ, USA, 92-06-15.

Incremental protocol test method : formal modeling and architectures. / Huang, Chung-Ming; Liu, Ming T.

Proceedings of the Second International Conference on Systems Integration. Publ by IEEE, 1992. p. 499-508 (Proceedings of the Second International Conference on Systems Integration).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Incremental protocol test method

T2 - formal modeling and architectures

AU - Huang, Chung-Ming

AU - Liu, Ming T.

PY - 1992/12/1

Y1 - 1992/12/1

N2 - To ensure that the implementation of a communication protocol conforms to its specification, a protocol test process is invoked to check for conformance. In this paper, an incremental protocol test method is proposed. The incremental protocol 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. To provide for direct control and observation, the proposed method has (1) a single high level formal representation mechanism, which is currently the OPS5 production system, to be used in both the design phase and the test phase; (2) a Test sequence Generator and state Monitor (TGM) that is added to the local environment. In this way, protocol test sequence generation is formally represented in production rules by combining those related elements in the formal protocol specification with additional elements used for controllability and observability in the test process. The inter-communication between the module of test sequence generation and external testers is specified abstractly and its realization in procedure-based computations relies on the host environment of the Implementation Under Testing (IUT) and external testers.

AB - To ensure that the implementation of a communication protocol conforms to its specification, a protocol test process is invoked to check for conformance. In this paper, an incremental protocol test method is proposed. The incremental protocol 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. To provide for direct control and observation, the proposed method has (1) a single high level formal representation mechanism, which is currently the OPS5 production system, to be used in both the design phase and the test phase; (2) a Test sequence Generator and state Monitor (TGM) that is added to the local environment. In this way, protocol test sequence generation is formally represented in production rules by combining those related elements in the formal protocol specification with additional elements used for controllability and observability in the test process. The inter-communication between the module of test sequence generation and external testers is specified abstractly and its realization in procedure-based computations relies on the host environment of the Implementation Under Testing (IUT) and external testers.

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

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

M3 - Conference contribution

SN - 0818626976

T3 - Proceedings of the Second International Conference on Systems Integration

SP - 499

EP - 508

BT - Proceedings of the Second International Conference on Systems Integration

PB - Publ by IEEE

ER -

Huang C-M, Liu MT. Incremental protocol test method: formal modeling and architectures. In Proceedings of the Second International Conference on Systems Integration. Publ by IEEE. 1992. p. 499-508. (Proceedings of the Second International Conference on Systems Integration).