Auteur : 

         Hakim Belhaouari (LIP6 - UPMC)

Titre : 
   
   Tamago-Test: Une plateforme générique pour la génération automatique de test

Abstract :

Nous présentons la génération de test complètement automatisé dans le
cadre de Tamago. Cette plateforme met en avant la séparation entre la
spécification d'un code (via la conception par contrat) et le code
métier sous-jacent. L'analyse statique que nous développons repose sur
des techniques de minimisation et résolution de CSP. Cependant nous
proposons une architecture suffisamment flexible pour prendre en
compte aussi bien les types bornés (i.e. les entiers), que les types
<<infinis>> (i.e. les chaînes de caractère) d'un système. Pour cela
nous avons introduit la notion de Type Builder, qui établit un pont
entre la sémantique du type et notre architecture CSP.  Pour illustrer
ces aspects nous présentons deux Type Builder sur des types complexes
(les tableaux et les chaînes de caractère).