Le séminaire du LSV

Le séminaire du LSV a lieu le mardi à 11h00. Le lieu habituel est la salle de conférences au Pavillon des Jardins (plan d'accès). Pour être informé par email des prochains séminaires, contacter Stéphane Le Roux and Matthias Fuegger.

Le séminaire du LSV est public et ne nécessite aucune inscription préalable.

Séminaires passés

Local Testing of Message Sequence Charts is Difficult

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

Date
Le mardi 29 mai 2007 à 11:00
Lieu
Salle de Conférence (Pavillon des Jardins)
Orateur
K. Narayan Kumar (Chennai Mathematical Institute, India)

Message sequence charts are an attractive visual formalism used to specify distributed communicating systems. One way to test such a system is to substitute a component by a test process and observe its interaction with the rest of the system. We consider the question of whether we can characterize the distributed behaviour of such a system based on local observations. The main difficulty is that local observations can combine in unexpected ways to define implied scenarios not present in the original specification. We consider variants of this simple notion of testing. In most cases the problem turns out to be undecidable.

(Joint work with Puneet Bhateja, Paul Gastin and Madhavan Mukund)


À propos du LSV

Agenda des séminaires

Exporter l'agenda au format iCalendar | Les séminaires précédents

mar. 19 février

Les séminaires précédents