Français Anglais
Accueil Annuaire Plan du site
Accueil > Evenements > Séminaires
Séminaire d'équipe(s) Formal Testing and System Exploration
Tests selection for concurrent systems, and traces refinement
Ana Cavalcanti and Marie-Claude Gaudel

04 December 2012, 14:30 - 04 December 2012, 16:00
Salle/Bat : 475/PCRI-N
Contact :

Activités de recherche :

Résumé :
Theories for model-based testing identify exhaustive test sets: typically infinite sets of tests whose execution is enough to establish the conformance relation of interest. Practical techniques rely on selection strategies to identify finite subsets of these tests, and popular approaches to selection are based on requirements to cover the model.
In previous work, we have defined testing theories for refinement-based process algebra, namely, CSP and Circus, a state-rich process algebra. In this presentation, we consider selection of tests designed to establish traces refinement.
In this case, conformance does not require that all traces of the model are available in the system under test, and this raises particular challenges regarding coverage criteria for selection.

Pour en savoir plus :
Séminaires
Pierre Andrieu - Agrégation de classements pour le
Thursday 21 October 2021 - 00:00
Salle : 435 - PCRI-N
.............................................

A counting argument for graph colouring
Graph Theory
Friday 08 October 2021 - 11:00
Salle : 445 - PCRI-N
Francois Pirot .............................................

Demographic reconstruction from paleogenomes of th
Thursday 25 February 2021 - 14:00
Salle : 435 - PCRI-N
Nina Marchi .............................................

A Graph-based Similarity Approach to Classify Recu
Thursday 18 February 2021 - 14:00
Salle : 435 - PCRI-N
Coline Gianfrotta .............................................

"Answer Set Programming for computing constraints-
Thursday 04 February 2021 - 14:00
Salle : 435 - PCRI-N
Maxime Mahout .............................................