Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Résultat majeur
Production scientifique
Résultat majeur : TESTING FOR REFINEMENT IN CIRCUS
TESTING FOR REFINEMENT IN CIRCUS
21 mars 2011

Ana Cavalcanti and Marie-Claude Gaudel, ACTA INFORMATICA
Volume 48, Number 2, 97-147, DOI: 10.1007/s00236-011-0133-z
Circus combines constructs to define complex data operations and interactions; it integrates Z and CSP, and, distinctively, it is a language for refinement that can describe programs as well as specification and design models. The semantics is based on the unifying theories of programming (UTP). Most importantly, Circus is representative of a class of refinement-oriented languages that combines facilities to specify abstract data types in a model-based style and patterns of interaction. What we present here is the Circus testing theory; this work is relevant as a foundation for sound test-generation techniques for a plethora of state-rich reactive languages. To cater for data operations, we define symbolic tests and exhaustive test sets. They are the basis for test-generation techniques that can combine coverage criteria for data and transition models. The notion of correctness is Circus refinement, a UTP-based generalisation of failures-divergences refinement that considers data modelling. Proof of exhaustivity exploits the correspondence between the operational and denotational semantics.



Activités de recherche
  ° Test formel basé sur les modèles

Equipe
  ° Vérification d'Algorithmes, Langages et Systèmes

Contact
  ° GAUDEL Marie-Claude
Résultats majeurs
COMPUTER‐AIDED BIOCHEMICAL PROGRAMMING OF SYNTHETIC MICROREACTORS AS DIAGNOSTIC DEVICES
27 avril 2018
Alexis Courbet, Patrick Amar, Francois Fages, Eric Renard, Franck Molina Mol Syst Biol. (2018) 14:

BEST PAPER AWARD: SELF-STABILIZING DISTRIBUTED STABLE MARRIAGE
05 novembre 2017
SSS 2017, M. Laveau, G. Manoussakis, J. Beauquier, T. Bernard, J. Burman, J. Cohen, and L. Pilard

BEST PAPER AWARD INTELLI 2017: A MODEL OF PULSATION FOR EVOLUTIVE FORMALIZING INCOMPLETE INTELLIGENT SYSTEMS
27 juillet 2017
authors: Marta Franova, Yves Kodratoff

INFORMATION-GEOMETRIC OPTIMIZATION ALGORITHMS: A UNIFYING PICTURE VIA INVARIANCE PRINCIPLES
02 mai 2017
Yann Ollivier, Ludovic Arnold, Anne Auger, Nikolaus Hansen - JMLR 18(18):1−65, 2017.

FORMAL MUTATION TESTING FOR CIRCUS
21 avril 2016
Alex Donizeti Betez Alberto, Ana Cavalcanti, Marie-Claude Gaudel, Adenilso Simao Journal of Infor