J. Mamede, E. Carrapatoso, and M. Ricardo (Portugal)
On-the-fly conformance testing, PROFYT.
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.
Important Links:
Go Back
