Generating test cases inside suspicious intervals for floating-point number programs - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Generating test cases inside suspicious intervals for floating-point number programs

Résumé

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.
Fichier principal
Vignette du fichier
cstva14.pdf (269.65 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-01099503 , version 1 (28-01-2015)

Licence

Paternité - Pas d'utilisation commerciale - Pas de modification

Identifiants

Citer

Hélène Collavizza, Claude Michel, Olivier Ponsini, Michel Rueher. Generating test cases inside suspicious intervals for floating-point number programs. CSTVA, ACM, May 2014, Hyderabad, India. pp.7 - 11, ⟨10.1145/2593735.2593737⟩. ⟨hal-01099503⟩
367 Consultations
124 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More