Searching Critical Values for Floating-Point Programs

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 significantly differ from the path corresponding to the same computation with real numbers. As a consequence, developers do not know whether the program can actually produce very unexpected outputs. We introduce here a new constraint-based approach that searches for test cases in the part of the over-approximation where errors due to floating-point arithmetic could lead to unexpected decisions.
Type de document :
Communication dans un congrès
Franz Wotawa; Mihai Nica; Natalia Kushik. 28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9976, pp.209-217, 2016, Testing Software and Systems. 〈10.1007/978-3-319-47443-4_13〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01643710
Contributeur : Hal Ifip <>
Soumis le : mardi 21 novembre 2017 - 15:52:44
Dernière modification le : lundi 4 décembre 2017 - 15:14:10

Fichier

 Accès restreint
Fichier visible le : 2019-01-01

Connectez-vous pour demander l'accès au fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Hélène Collavizza, Claude Michel, Michel Rueher. Searching Critical Values for Floating-Point Programs. Franz Wotawa; Mihai Nica; Natalia Kushik. 28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9976, pp.209-217, 2016, Testing Software and Systems. 〈10.1007/978-3-319-47443-4_13〉. 〈hal-01643710〉

Partager

Métriques

Consultations de la notice

19