Séminaire ALGO : Vincent Botbol (Nomadic labs.), Matthieu Dien (GREYC) et Ghiles Ziat (IRIF, Univ. Paris), « Génération de tests aléatoires pour des types numériques contraints ».

Il est fréquent de manipuler des valeurs numériques avec des contraintes non explicitées par leur types. Par exemple, les intervalles sont des
couples de nombres avec la contraintes que le premier (la borne inférieure) soit plus petit que le deuxième (borne supérieure).
Nos travaux proposent de générer automatiquement des tests unitaires pour à partir de la définition de ce genre de types. Nous présenterons
des exemples en OCaml.
Pour générer des tests automatiquement à partir d’un type :
– nous dérivons les contraintes le concernant ;
– nous calculons, à l’aide de programmation par contrainte, une représentation de l’espace des habitants de ce type sous forme de domaines abstraits
– enfin nous générons le code du test qui générera aléatoirement des valeurs à l’aide de la méthode de la densité ;
Cette présentation couvrira les différentes notions (typage, programmation par contraintes, domaines abstraits, génération aléatoire) « à partir de zéro ».