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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [5 references]  Display  Hide  Download

https://hal.inria.fr/inria-00520293
Contributor : Christophe Lecoutre <>
Submitted on : Wednesday, September 22, 2010 - 6:44:24 PM
Last modification on : Monday, November 5, 2018 - 3:48:02 PM
Long-term archiving on : Thursday, December 23, 2010 - 3:16:19 AM

File

yahia.pdf
Explicit agreement for this submission

Identifiers

  • 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. ⟨inria-00520293⟩

Share

Metrics

Record views

576

Files downloads

259