search

filibuster-testing / filibuster-java-instrumentation

Filibuster instrumentation for the JVM.
http://filibuster.cloud
Apache License 2.0
15 stars 4 forks source link

Reorganise transformer tests #200

Closed IMichael-ops closed 1 year ago

IMichael-ops commented 1 year ago

These are the updated test flowcharts:

Positive example where some of the injected bit flips invoke the exception at the Hello service positive and negative apps (3)

Negative example where none of the injected bit flips invoke the exception at the Hello service positive and negative apps (2)

In both examples, the branch, where the returned book is null, is never explored. In the blog article I am working on, I will use this branch as motivation for the type-aware fault injection.

cmeiklejohn commented 1 year ago

I'd probably commit the images to the repository as well with the tests for reference.

IMichael-ops commented 1 year ago

Sure, should I just add the image links as code comments?

I am working on recreating these flowcharts as gifs using Celonis. The gifs would visualise with moving tokens how many of the executions go through each branch. Thought that would make the blog article a bit more interactive/easier to understand.

cmeiklejohn commented 1 year ago

Can't you just drop them in the test directory with the same name of the test it reflects?