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

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Fingerprint Dive into the research topics of 'Incremental protocol test method: formal modeling and architectures'. Together they form a unique fingerprint.

  • 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.