By Topic

An incremental protocol test method: formal modeling and architectures

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Chung-Ming Huang ; Inst. of Inf. Eng., Nat. Cheng Kung Univ., Tainan, Taiwan ; Liu, M.T.

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: a single high level formal representation mechanism, which is the OPS5 production system, to be used in both the design phase and the test phase; 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

Published in:

Systems Integration, 1992. ICSI '92., Proceedings of the Second International Conference on

Date of Conference:

15-18 Jun 1992