HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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

Hélène Collavizza 1 Claude Michel 1 Michel Rueher 1
1 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe CEP
Laboratoire I3S - MDSC - Modèles Discrets pour les Systèmes Complexes
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.
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01224009
Contributor : Michel Rueher Connect in order to contact the contributor
Submitted on : Thursday, August 4, 2016 - 9:50:10 PM
Last modification on : Tuesday, December 7, 2021 - 4:10:10 PM
Long-term archiving on: : Saturday, November 5, 2016 - 12:32:07 PM

Files

ICTSS16_sus.pdf
Files produced by the author(s)

Identifiers

  • 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. pp 209 --217. ⟨hal-01224009v2⟩

Share

Metrics

Record views

107

Files downloads

78