Abstract
Foreseeing a future where IPv6 and mobile terminals play an important role in public access communication networks, this article introduces a monitoring system capable of identifying relevant traffic flows and tracking them while terminal equipment moves between network attachment points. The mobile flows are characterized and represented so that individual users and flows can perceive the quality of service they receive, and operators can have global traffic views of their heterogeneous access networks.

Abstract

Abstract
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 developed based on the SPIN verifier, and uses communicating FSMs to describe the specification. The test of Conference Protocol implementations was carried out on-the-fly with PROFYT and enabled us to conclude about the benefits of the test methodology proposed.

Abstract

Abstract

Abstract