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. ; © 2023 The Authors. Concurrency and Computation: Practice and Experience published by John Wiley & Sons Ltd. This is an open access article under the terms of the Creative Commons Attribution License, which permits use, distribution and reproduction in any medium, provided the original work is properly cited. ; fi=vertaisarvioitu|en=peerReviewed|


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

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



    Erscheinungsdatum :

    2023-08-31


    Anmerkungen:

    URN:NBN:fi-fe20231011139798
    WOS:001058524700001 ; Scopus:85169160185


    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Klassifikation :

    DDC:    629



    Interval Arithmetic Using SSE-2

    Lambov, Branimir | BASE | 2006

    Freier Zugriff

    Nr. 1788

    DataCite | 1879


    Second Note on Basic Interval Arithmetic for IEEE754R

    Pryce, John D. / Corliss, George C. / Kearfott, R. Baker et al. | BASE | 2008

    Freier Zugriff

    Recent Topic on Circuit Analysis Application of Interval Arithmetic

    Okumura, K. | British Library Online Contents | 1996


    Sensitivity Analysis of Regularized Orbit Formulations with Interval Arithmetic

    Urrutxua, Hodei / Souied, Youssef / Peláez, Jesús | TIBKAT | 2019