Generating test cases inside suspicious intervals for floating-point number 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 dif-fer from the path corresponding to the same computation with real numbers. State-of-the-art tools compute an over-approximation of the error introduced by floating-point oper-ations with respect to the same sequence of operations in an idealized semantics of real numbers. Thus, totally inappropri-ate behaviors of a program may be dreaded but the developer does not know whether these behaviors will actually occur, or not. We introduce here a new constraint-based approach that searches for input values hitting the part of the over-approximation where errors due to floating-point arithmetic would lead to inappropriate behaviors. Preliminary results of experiments on small programs with classical floating-point errors are very encouraging. * This work was partially supported by ANR VACSIM (ANR-11-INSE-0004), ANR AEOLUS (ANR-10-SEGI-0013), and OSEO ISI PAJERO projects.
Type de document :
Communication dans un congrès
CSTVA, May 2014, Hyderabad, India. pp.7 - 11, 2014, Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis. <http://dl.acm.org/citation.cfm?doid=2593735.2593737>. <10.1145/2593735.2593737>
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01099503
Contributeur : Michel Rueher <>
Soumis le : mercredi 28 janvier 2015 - 21:43:40
Dernière modification le : mercredi 8 avril 2015 - 16:34:45
Document(s) archivé(s) le : mercredi 29 avril 2015 - 10:05:16

Fichier

cstva14.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Licence


Distributed under a Creative Commons Paternité - Pas d'utilisation commerciale - Pas de modification 4.0 International License

Identifiants

Collections

Citation

Hélène Collavizza, Claude Michel, Olivier Ponsini, Michel Rueher. Generating test cases inside suspicious intervals for floating-point number programs. CSTVA, May 2014, Hyderabad, India. pp.7 - 11, 2014, Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis. <http://dl.acm.org/citation.cfm?doid=2593735.2593737>. <10.1145/2593735.2593737>. <hal-01099503>

Partager

Métriques

Consultations de
la notice

102

Téléchargements du document

40