Testing interval arithmetic libraries, including their IEEE-1788 compliance - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2023

Testing interval arithmetic libraries, including their IEEE-1788 compliance

Luca Ferranti
  • Fonction : Auteur
  • PersonId : 1134930
Sergei Zhilin
  • Fonction : Auteur
  • PersonId : 1134931

Résumé

As developers of libraries implementing interval arithmetic, we faced the same difficulties when it came 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? In this paper we list the different aspects that, in our opinion, must be tested, giving indications on the choice of test cases. Then we examine how several interval arithmetic libraries actually perform tests. Next, we introduce two frameworks developed specifically to gather test cases and to incorporate easily new libraries in order to test them, namely JInterval and ITF1788. Not every important aspects of our libraries fit in these frameworks and we list extra tests that we deem important, but not easy, to perform.
Fichier principal
Vignette du fichier
PPAM-RBFZ-22.pdf (175.36 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03674743 , version 1 (23-05-2022)

Licence

Identifiants

Citer

Nathalie Revol, Luis Benet, Luca Ferranti, Sergei Zhilin. Testing interval arithmetic libraries, including their IEEE-1788 compliance. PPAM 2022, Roman Wyrzykowski, Sep 2022, Gdansk, Poland. pp.428-440, ⟨10.1007/978-3-031-30445-3_36⟩. ⟨hal-03674743⟩
93 Consultations
665 Téléchargements

Altmetric

Partager

More