A framework to test interval arithmetic libraries and their IEEE 1788-2015 compliance - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Concurrency and Computation: Practice and Experience Année : 2023

A framework to test interval arithmetic libraries and their IEEE 1788-2015 compliance

Résumé

As developers of libraries implementing interval arithmetic, we faced the same difficulties when it comes to testing our libraries. What must be tested? How can we devise relevant test cases for unit testing? How can we ensure a high (and possibly 100%) test coverage? Before considering these questions, we briefly recall the main features of interval arithmetic and of the IEEE 1788-2015 standard for interval arithmetic. After listing the different aspects that, in our opinion, must be tested, we contribute a first step towards offering a test suite for an interval arithmetic library. First we define a format that enables the exchange of test cases, so that they can be read and tried easily. Then we offer a first set of test cases, for a selected set of mathematical functions. Next, we examine how the Julia interval arithmetic library, IntervalArithmetic.jl, actually performs to these tests. As this is an ongoing work, we list extra tests that we deem important to perform.
Fichier principal
Vignette du fichier
Osuva_Benet_Ferranti_Revol_2023.pdf (632.99 Ko) Télécharger le fichier
Origine : Publication financée par une institution

Dates et versions

hal-04183957 , version 1 (05-04-2024)

Licence

Paternité

Identifiants

Citer

Luis Benet, Luca Ferranti, Nathalie Revol. A framework to test interval arithmetic libraries and their IEEE 1788-2015 compliance. Concurrency and Computation: Practice and Experience, 2023, pp.e7856. ⟨10.1002/cpe.7856⟩. ⟨hal-04183957⟩
28 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More