Côte-de-Resyste is a large project funded by the Dutch Technology Foundation STW, and is carried out by the Formal Methods research groups at the University of Twente (UT) and Eindhoven University of Technology (TUE) in The Netherlands, in close collaboration with Philips Research Laboratories and Lucent Technologies. The main goal of the project is the development of methods, techniques, and tools to support the automatic generation of tests from specifications, as well as their implementation, execution and analysis. The project is aimed at practically applicable results that have a sound theoretical basis.
Modern networking and communication systems are good examples of reactive distributed systems, i.e. they are characterized by a continual interaction (communication) with their environment. Next to specification and design, testing plays a major role in the realization of such reactive systems. Practical experience shows that a major part of the effort for system development is spent on testing. Due to the constant introduction of new services and the use of multimedia, this is increasingly the case for the development of communication protocols. The Côte-de-Resyste project will be concentrated on issues like test contexts, test generation and selection, test coverage and the related management of state-space explosions, in particular aimed at communication services. An important aspect of the research will be transformation and extension of available theories into usable tools that support the conformance testing process. A considerable part of the project will be devoted to case studies that will be carried out in collaboration with the industrial partners to evaluate the results.
CONFERENCE PROTOCOL CASE STUDY
One of the case studies used in this project is the Conference Protocol Case Study. Information about this case study can be found at the ConfCase website.
CÔTE DE RESYSTE PUBLICATIONS
Here are the publications related to Côte de Resyste project
CÔTE DE RESYSTE FOLDER
CÔTE DE RESYSTE TOOLS
This page was last updated by Axel Belinfante on 2002-11-13