Côte de Resyste 

THE PROJECT
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.

MOTIVATION
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.
 

• Project Staff
• Project Description
• Project documents on the BSCW server at the University of Twente (restricted access)