ITF1788

This package is a parser of the Interval Tests Libraries (ITL) testsuite, created by Oliver Heimlich and available here. The tests are to verify whether an interval arithmetic implementation is complying to the IEEE 1788-2015 standard for interval arithmetic. This package converts the test suite to tests in Julia, which can be used to test IntervalArithmetic.jl

How to use

Install and import the package with

julia> using Pkg; Pkg.add("https://github.com/JuliaIntervals/ITF1788.jl.git") # only once to install
julia> using ITF1788

then run

julia> generate()

and this function will convert all the test into Julia tests, actually check the tests and mark as broken those not passing.

For example, if the original .itl file had a line like

add [1.0, 2.0] [1.0, 2.0] = [2.0, 4.0]

this will become

@test +(interval(1.0, 2.0), interval(1.0, 2.0)) === Interval(2.0, 4.0)

if the test is successful and

@test_skip +(interval(1.0, 2.0), interval(1.0, 2.0)) === Interval(2.0, 4.0)

if the test is unsuccessful.

If you do not want to actually run the test and mark the broken tests, you can run generate(; failure=false). This will use the macro @test for all tests regardless of whether they succeed or not.

By default, all test files are created into a folder test_ITF1788 in your current directory. You can change the output directory with the keyword output, e.g. generate(; output="mydirectory").

The function will also create a run_ITF1788.jl which includes all the tests files, i.e. all you have to do to test IntervalArithmetic.jl against this test suite is

include("test_ITF1788/run_ITF1788.jl")

Note

• According to the standard, some functions are required to also signal a warning in some situations (e.g. invalid input), the testsuite also checks that warning are returned. However, if the function does not return a warning (and IntervalArithmetic does not at the moment) then the test will error and testing will stop. If you do not want to test that warnings are printed, you can do generate(; test_warn=false).

Author

• Luca Ferranti