Détection des cas de débordement flottant avec une recherche locale

Résumé : Dans ce papier, nous proposons une nouvelle approche de génération automatique des cas de test, de programmes de calcul numérique, qui donnent lieu à des débordements flottants. Afin de résoudre les contraintes sur les flottants modélisant cette problématique, nous proposons un algorithme de recherche locale mis en oeuvre avec la bibliothèque multi-précision MPFR. Notre démarche de résolution procède en deux étapes : exploitation d'une recherche locale classique (e.g., méthode de gradient) pour avoir une solution sur le domaine réel, puis un algorithme spécifique de recherche locale pour déterminer la solution exacte qui mène immanquablement à un débordement flottant. La démarche MLFP qu'on propose permet de trouver évidemment une seule solution, car une recherche complète serait trop couteuse en raison de la nature fortement exponentielle de l'espace des flottants. Nous exploitons la bibliothèque multi-précision MPFR tout au long de notre résolution en deux étapes pour sécuriser le solveur contre tout débordement lors de la recherche numérique de la solution flottante. Car, parmi les contraintes du problème, il existe des contraintes dédiées à l'expression de l'état de débordement qui, d'une part utilise des constantes qui sont à la limite du débordement, et d'autre part l'évaluation de ces contraintes va nécessairement provoquer un débordement dans la représentation flottante de la machine. Le recours à une précision plus grande permettrait d'atteindre des solutions sans que le solveur en souffre. Nous avons mené plusieurs expérimentations de cette démarche sur des programmes significatifs. Cette expérimentation a montré l'intérêt de la première recherche locale dont la précision de la solution est importante pour que la deuxième recherche locale puisse explorer un espace réduit sur les flottants.
Type de document :
Communication dans un congrès
JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.245-246, 2010
Liste complète des métadonnées

Littérature citée [5 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00520293
Contributeur : Christophe Lecoutre <>
Soumis le : mercredi 22 septembre 2010 - 18:44:24
Dernière modification le : mercredi 31 janvier 2018 - 10:24:05
Document(s) archivé(s) le : jeudi 23 décembre 2010 - 03:16:19

Fichier

yahia.pdf
Accord explicite pour ce dépôt

Identifiants

  • HAL Id : inria-00520293, version 1

Collections

Citation

Mohamed Sayah, Yahia Lebbah. Détection des cas de débordement flottant avec une recherche locale. JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.245-246, 2010. 〈inria-00520293〉

Partager

Métriques

Consultations de la notice

524

Téléchargements de fichiers

218