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

04 December 2012, 14h30 - 04 December 2012, 16h00
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
A Family of Tractable Graph Distances
Gestion de données du Web
Wednesday 04 July 2018 - 10h30
Salle : 465 - PCRI-N
Stratis Ioannidis .............................................

Binary pattern of length greater than 14 are abeli
Combinatoire
Friday 29 June 2018 - 14h30
Salle : 445 - PCRI-N
Matthieu Rosenfeld .............................................

Distributionally Robust Optimization with Principa
Optimisation combinatoire et stochastique
Friday 29 June 2018 - 11h00
Salle : 455 - PCRI-N
Dr. Jianqiang Cheng .............................................

Caractérisation de réseaux égocentrés par l'énumér
Friday 15 June 2018 - 14h30
Salle : 455 - PCRI-N
Raphaël Charbey .............................................

DATA VERACITY ASSESSMENT: HOW A-PRIORI KNOWLEDGE E
Intégration de données et de connaissances
Friday 15 June 2018 - 14h00
Salle : 445 - PCRI-N
Valentina Beretta .............................................