An incremental protocol test method: formal modeling and architectures

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