PROTOCOL CONFORMANCE USING A PROGRESSIVE TEST APPROACH

The development of communications systems demands testing. This paper presents a framework for testing on-the-fly, which relies on the definition of 3 types of tests and on their sequential execution. The ioco conformance relation was considered in order to assign verdicts. A tool prototype is also presented that supports the proposed framework. This tool, named PROFYT, was de-veloped based on the SPIN verifier, and uses communicat-ing FSMs to describe the specification. The test of Confer-ence Protocol implementations was carried out on-the-fly with PROFYT and enabled us to conclude about the bene-fits of the test methodology proposed