BranchTests.jl

Test Julia code with branching state!
Author dm3
Popularity
2 Stars
Updated Last
3 Years Ago
Started In
March 2021

Branch Tests

Branch tests will help you write tests for sequences of state transitions!

BranchTests offers a single test macro - @testbranch. The name was chosen to sound like @testset - @testbranchs close cousin. The macro accepts all the same arguments as @testset does.

Let's start with a motivating example:

@testbranch "Vector" begin
    v = Vector{Int}()
    @test isempty(v)

    @testbranch "adds one element" begin
        push!(v, 1)
        @test length(v) == 1

        @testbranch "adds another element" begin
            push!(v, 2)
            @test length(v) == 2
        end

        @testbranch "removes element" begin
            pop!(v)
            @test isempty(v)
        end
    end
end

Running the above produces:

Test Summary:        | Pass  Total
Branches - Vector(2) |    6      6

The "Vector" test branch has been run two times. Once for every terminating test leaf of the test set. Notice how the additional element pushed into v inside the "adds another element" test branch didn't affect the @test in the "removes element" test branch? That's how @testbranch differs from a bare @testset.

Let's add a failing @test in the leaf:

@testbranch "Vector" begin
    v = Vector{Int}()
    @test isempty(v)

    @testbranch "adds one element" begin
        push!(v, 1)
        @test length(v) == 1

        @testbranch "adds another element" begin
            push!(v, 2)
            @test length(v) == 1                  # FAIL: should be 2
        end

        @testbranch "removes element" begin
            pop!(v)
            @test isempty(v)
        end
    end
end

Result:

adds another element: Test Failed at REPL[4]:11
  Expression: length(v) == 1
   Evaluated: 2 == 1
Stacktrace:
 [1] macro expansion at ./REPL[4]:11 [inlined]
 [2] macro expansion at /projects/BranchTests.jl/src/BranchTests.jl:229 [inlined]
 ...
 [12] (::var"#75#76")(::BranchTests.Run) at /projects/BranchTests.jl/src/BranchTests.jl:228
Test Summary:              | Pass  Fail  Total
Branches - Vector(2)       |    5     1      6
  Vector                   |    2     1      3
    adds one element       |    1     1      2
      adds another element |          1      1
  Vector                   |    3            3
ERROR: Some tests did not pass: 5 passed, 1 failed, 0 errored, 0 broken.

Now we see there was a @test failure and a Pass result! The fact that the "adds another element" leaf test failed did not stop the "removes element" test from passing.

Let's fail the non-leaf branch now:

@testbranch "Vector" begin
    v = Vector{Int}()
    @test isempty(v)

    @testbranch "adds one element" begin
        push!(v, 1)
        @test length(v) == 2              # FAIL: should be 1

        @testbranch "adds another element" begin
            push!(v, 2)
            @test length(v) == 2
        end

        @testbranch "removes element" begin
            pop!(v)
            @test isempty(v)
        end
    end
end

Result:

adds one element: Test Failed at REPL[5]:7
  Expression: length(v) == 2
   Evaluated: 1 == 2
Stacktrace:
 [1] macro expansion at ./REPL[5]:7 [inlined]
 [2] macro expansion at /projects/BranchTests.jl/src/BranchTests.jl:229 [inlined]
 ...
 [8] (::var"#77#78")(::BranchTests.Run) at /projects/BranchTests.jl/src/BranchTests.jl:228
Test Summary:        | Pass  Fail  Total
Branches - Vector(2) |    1     1      2
  Vector             |    1     1      2
    adds one element |          1      1
ERROR: Some tests did not pass: 1 passed, 1 failed, 0 errored, 0 broken.

We see that both leaves of the "Vector" branch test failed to run because the branch they're rooted on has failed.

How it works

The @testbranch macro generates a function with @testset macros and some flow control inside. The function then runs repeatedly while tracking the branch pass/fail results.

TestBranch isn't in any way an original idea. I've got the idea from the C++ testing framework Catch2.

TODO

Tear down

Julia doesn't have deterministic destruction which could be used for after-test cleanup. I haven't really thought of a nice solution yet. Ideas welcome!

Better result printout

Currently, running

@testbranch "Vector" begin
    v = Vector{Int}()
    @test isempty(v)

    @testbranch "adds one element" begin
        push!(v, 1)
        @test length(v) == 1
    end

    @testbranch "equality" begin
        @test v == v
    end
end

will print

Test Summary:        | Pass  Total
Branches - Vector(2) |    4      4

I'd like to see

Test Summary:        | Pass  Total
Branches - Vector(2) |    4      4
    adds one element |    1      1
    equality         |    1      1

or something to the above effect. We should see a line for every test branch leaf which passed.