Searching input values hitting suspicious Intervals in programs with floating-point operations

Abstract : Programs with floating-point computations are often derived from mathematical models or designed with the semantics of the real numbers in mind. However, for a given input, the computed path with floating-point numbers may differ from the path corresponding to the same computation with real numbers. A common practice when validating such programs consists in estimating the accuracy of floating-point computations with respect to the same sequence of operations in an ide-alized semantics of real numbers. However, state-of-the-art tools compute an over-approximation of the error introduced by floating-point operations. As a consequence, totally inappropriate behaviors of a program may be dreaded but the developer does not know whether these behaviors will actually occur, or not. In this paper, we introduce a new constraint-based approach that searches for test cases in the part of the over-approximation where errors due to floating-point arithmetic would lead to inappropriate behaviors.
Type de document :
Communication dans un congrès
28th International Conference on Software and Systems (ICTSS-2016)., Oct 2016, Graz, Austria. 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings. Series: Lecture Notes in Computer Science, Vol. 9976 ., 9976, pp 209 --217, 2016, LNCS. <http://ictss2016.ist.tugraz.at>
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01224009
Contributeur : Michel Rueher <>
Soumis le : jeudi 4 août 2016 - 21:50:10
Dernière modification le : lundi 17 octobre 2016 - 15:02:46
Document(s) archivé(s) le : samedi 5 novembre 2016 - 12:32:07

Fichiers

ICTSS16_sus.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01224009, version 2
  • ARXIV : 1511.01080

Collections

Citation

Hélène Collavizza, Claude Michel, Michel Rueher. Searching input values hitting suspicious Intervals in programs with floating-point operations. 28th International Conference on Software and Systems (ICTSS-2016)., Oct 2016, Graz, Austria. 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings. Series: Lecture Notes in Computer Science, Vol. 9976 ., 9976, pp 209 --217, 2016, LNCS. <http://ictss2016.ist.tugraz.at>. <hal-01224009v2>

Partager

Métriques

Consultations de
la notice

40

Téléchargements du document

30