Top

Published in:

2023 | OriginalPaper | Chapter

Testing Interval Arithmetic Libraries, Including Their IEEE-1788 Compliance

Authors : Nathalie Revol, Luis Benet, Luca Ferranti, Sergei Zhilin

Published in: Parallel Processing and Applied Mathematics

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

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 present two existing 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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

previous chapter A Cross-Platform Benchmark for Interval Computation Libraries

next chapter A Survey of Interval Algorithms for Solving Multicriteria Analysis Problems

Hofschuster, W., Krämer, W.: C-XSC 2.0 - A C++ Library for Extended Scientific Computing. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds) NUMERICAL SOFTWARE WITH RESULT VERIFICATION, LNCS, vol. 2991, pp. 15–35. Springer, Berlin, Heidelberg (2004). https://doi.org/10.1007/978-3-540-24738-8_2

Lerch, M., Tischler, G., Wolff von Gudenberg, J., Hofschuster, W., Krämer, W.: FILIB++, a Fast Interval Library Supporting Containment Computations. ACM TOMS 32(2), 299–324 (2006). http://www.xsc/de

Heimlich, O.: Interval arithmetic in GNU Octave. In: SWIM 2016, 9th Summer Workshop on Interval Methods. ENS de Lyon, France (2016)

Sanders, D.P., Benet, L., Ferranti, L., et al.: ValidatedNumerics.jl. https://github.com/JuliaIntervals/ValidatedNumerics.jl

Mascarenhas, W.F.: Moore: Interval arithmetic in modern C++ (2016) arXiv preprint arXiv:1611.09567

Revol, N.: Standardized interval arithmetic and interval arithmetic used in libraries. In: Fukuda, K., Hoeven, J.V.D., Joswig, M., Takayama, N. (eds.) ICMS 2010. LNCS, vol. 6327, pp. 337–341. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-15582-6_54CrossRef

IEEE: Institute of Electrical and Electronic Engineers: 1788–2015 IEEE Standard for Interval Arithmetic. In: IEEE STD 1788–2015, 1–97 (2015)

Beebe, N.: IEEE 754 floating-point test software. https://www.math.utah.edu/~beebe/software/ieee/

Rump, S.M.: INTLAB - INTerval LABoratory. In: Developments in Reliable Computing, Tibor Csendes (eds), pp. 77–104. Kluwer Academic Publishers (1999)

10.

Goualard, F.: How do you compute the midpoint of an interval? ACM TOMS 40(2), 1–25 (2014)MathSciNetCrossRefMATH

11.

MPRIA: GNU Multi-Precision Rational Interval Arithmetic Library https://www.gnu.org/software/mpria/manual/

12.

Nadezhin, D.Y., Zhilin, S.I.: JInterval library: Principles, development, and perspectives. Reliable Comput. 19(3), 229–247 (2013)MathSciNet

13.

Revol, N., Rouillier, F.: Motivations for an arbitrary precision interval arithmetic and the MPFI library. Reliable Comput. 11(4), 275–290 (2005). https://doi.org/10.1007/s11155-005-6891-yMathSciNetCrossRefMATH

14.

Johansson, F.: Arb: a C library for ball arithmetic. ACM Commun. Comput. Algebra 47(4), 166–169 (2013)

15.

Lerch, M., Tischler, G., Wolff von Gudenberg, J., Hofschuster, W., Krämer, W.: The Interval Library FILIB++ 2.0 - Design, Features and Sample Programs. Preprint 2001/4, Universität Wuppertal (2001)

16.

FILIB++ Interval Library http://www2.math.uni-wuppertal.de/wrswt/software/filib.html

17.

Boost Interval Arithmetic Library v. 1.79.0 https://www.boost.org/doc/libs/1_79_0/libs/numeric/interval/doc/interval.htm

18.

JInterval Library https://github.com/jinterval/jinterval/

19.

P1788 Test Launcher (based on JInterval Library) https://github.com/jinterval/jinterval/tree/master/p1788-launcher-java

20.

Nehmeier, M.: libieeep1788: a C++ implementation of the IEEE interval standard P1788. In: 2014 IEEE Conference on Norbert Wiener in the 21st Century (21CW), pp. 1–6. IEEE, Massachusetts, USA (2014) https://doi.org/10.1109/NORBERT.2014.6893854

21.

libieeep1788 https://github.com/nehmeier/libieeep1788

22.

Heimlich, O.: GNU Octave interval package https://octave.sourceforge.io/interval/index.htmlhttps://sourceforge.net/p/octave/interval/ci/default/tree/

23.

Sanders, D.P., Benet, L., Ferranti, L., et al.: JuliaIntervals/IntervalArithmetic.jl: v0.20.5. Zenodo. https://doi.org/10.5281/zenodo.6337817

24.

Goualard, F.: Goal: not just another interval library (2005) https://sourceforge.net/projects/goal/

25.

Kuliamin, V.V.: Standardization and testing of implementations of mathematical functions in floating point numbers. Prog. Comput. Softw. 33(3), 154–173 (2007)MathSciNetCrossRefMATH

26.

Kiesner, M., Nehmeier, M., Wolff von Gudenberg, J.: ITF1788: An Interval Testframework for IEEE 1788. Report number 495, Department of Computer Science, University of Würzburg (2015) https://www.researchgate.net/publication/278620157_ITF1788_An_Interval_Testframework_for_IEEE_1788

27.

ITF1788 - Interval Test Framework for IEEE STD 1788–2015 https://github.com/oheim/ITF1788

Title: Testing Interval Arithmetic Libraries, Including Their IEEE-1788 Compliance
Authors: Nathalie Revol
Luis Benet
Luca Ferranti
Sergei Zhilin
Publisher: Springer International Publishing
Book: Parallel Processing and Applied Mathematics
Print ISBN: 978-3-031-30444-6

Electronic ISBN: 978-3-031-30445-3

Copyright Year: 2023
DOI: https://doi.org/10.1007/978-3-031-30445-3_36

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner