DeepAI AI Chat
Log In Sign Up

Testing interval arithmetic libraries, including their IEEE-1788 compliance

by   Nathalie Revol, et al.

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 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.


page 1

page 2

page 3

page 4


Moore: Interval Arithmetic in Modern C++

We present the library Moore, which implements Interval Arithmetic in mo...

A Cross-Platform Benchmark for Interval Computation Libraries

Interval computation is widely used to certify computations that use flo...

Did You Remember to Test Your Tokens?

Authentication is a critical security feature for confirming the identit...

Automated Support for Unit Test Generation: A Tutorial Book Chapter

Unit testing is a stage of testing where the smallest segment of code th...

Espresso vs. EyeAutomate: Comparison of Two Generations of Android GUI Testing

Context: Albeit different approaches exist for automated GUI testing of ...

Why You Cannot (Yet) Write an "Interval Arithmetic" Library in Common Lisp

"Interval Arithmetic" (IA) appears to be a useful numerical tool to have...

Numeracy from Literacy: Data Science as an Emergent Skill from Large Language Models

Large language models (LLM) such as OpenAI's ChatGPT and GPT-3 offer uni...