René's URL Explorer Experiment


Title: Antithesis driven testing

Open Graph Title: Antithesis driven testing

X Title: Antithesis driven testing

Description: Discover how using Antithesis, a deterministic simulation testing platform, reshaped how Graft—a distributed storage engine—was tested and built. This post explores fault injection, property-based fuzzing, and how Antithesis guides the discovery of subtle bugs that traditional tests miss.

Open Graph Description: Discover how using Antithesis, a deterministic simulation testing platform, reshaped how Graft—a distributed storage engine—was tested and built. This post explores fault injection, property-based fuzzing, and how Antithesis guides the discovery of subtle bugs that traditional tests miss.

X Description: Discover how using Antithesis, a deterministic simulation testing platform, reshaped how Graft—a distributed storage engine—was tested and built. This post explores fault injection, property-based fuzzing, and how Antithesis guides the discovery of subtle bugs that traditional tests miss.

Opengraph URL: https://sqlsync.dev/posts/antithesis-driven-testing/

Generator: Astro v5.17.1

direct link

Domain: sqlsync.dev

og:typewebsite
og:imagehttps://sqlsync.dev/og/antithesis-driven-testing.png
twitter:cardsummary_large_image
twitter:imagehttps://sqlsync.dev/og/antithesis-driven-testing.png
twitter:urlhttps://sqlsync.dev/posts/antithesis-driven-testing/

Links:

back https://sqlsync.dev/
Carl Sverrehttps://carlsverre.com
DST origin storyhttps://sqlsync.dev/posts/antithesis-driven-testing#dst-origin-story
Graft: case studyhttps://sqlsync.dev/posts/antithesis-driven-testing#graft-case-study
The Antithesis hypervisorhttps://sqlsync.dev/posts/antithesis-driven-testing#the-antithesis-hypervisor
Fault injectionhttps://sqlsync.dev/posts/antithesis-driven-testing#fault-injection
Test compositionhttps://sqlsync.dev/posts/antithesis-driven-testing#test-composition
Guidancehttps://sqlsync.dev/posts/antithesis-driven-testing#guidance
DST + guidance = safer softwarehttps://sqlsync.dev/posts/antithesis-driven-testing#dst--guidance--safer-software
Learn more about Grafthttps://sqlsync.dev/posts/antithesis-driven-testing#learn-more-about-graft
Grafthttps://github.com/orbitinghail/graft
Antithesishttps://antithesis.com
Learn more about Grafthttps://sqlsync.dev/posts/stop-syncing-everything/
#https://sqlsync.dev/posts/antithesis-driven-testing#dst-origin-story
FoundationDBhttps://www.foundationdb.org/
1https://sqlsync.dev/posts/antithesis-driven-testing#user-content-fn-prior-art
Simulationhttps://apple.github.io/foundationdb/testing.html
FoundationDB documentationhttps://apple.github.io/foundationdb/testing.html
RisingWavehttps://risingwave.com/blog/deterministic-simulation-a-new-era-of-distributed-system-testing/
TigerBeetlehttps://tigerbeetle.com/blog/2023-07-06-simulation-testing-for-liveness/
Resonatehttps://journal.resonatehq.io/p/how-we-test-the-resonate-server
2https://sqlsync.dev/posts/antithesis-driven-testing#user-content-fn-noise
Antithesishttps://antithesis.com
#https://sqlsync.dev/posts/antithesis-driven-testing#graft-case-study
3https://sqlsync.dev/posts/antithesis-driven-testing#user-content-fn-properties
4https://sqlsync.dev/posts/antithesis-driven-testing#user-content-fn-subtle
file change countershttps://sqlite.org/fileformat.html#file_change_counter
#https://sqlsync.dev/posts/antithesis-driven-testing#the-antithesis-hypervisor
hypervisorhttps://antithesis.com/blog/deterministic_hypervisor/
5https://sqlsync.dev/posts/antithesis-driven-testing#user-content-fn-packaged
6https://sqlsync.dev/posts/antithesis-driven-testing#user-content-fn-infinite
Antithesis documentationhttps://antithesis.com/docs/multiverse_debugging/moment_branch/#:~:text=In%20actuality%2C%20Antithesis%20frequently%20returns%20to%20interesting%20decision%20points%20to%20make%20new%20choices%2C%20and%20explores%20multiple%20timelines%20in%20parallel.%20This%20effectively%20allows%20us%20to%20reach%20a%20fork%20in%20the%20road%20and%20take%20both%20paths.
#https://sqlsync.dev/posts/antithesis-driven-testing#fault-injection
faultshttps://antithesis.com/docs/environment/fault_injection/
#https://sqlsync.dev/posts/antithesis-driven-testing#test-composition
test composerhttps://antithesis.com/docs/test_templates/test_best_practices/
#https://sqlsync.dev/posts/antithesis-driven-testing#guidance
7https://sqlsync.dev/posts/antithesis-driven-testing#user-content-fn-asserts
an entire doc about ithttps://antithesis.com/docs/best_practices/sometimes_assertions/
middle of your commit processhttps://github.com/orbitinghail/graft/blob/928e7e0b8a7361796ddea5a3bd3f5b0df6c8a579/crates/graft-client/src/runtime/sync/job.rs#L160
ship-stopping bughttps://github.com/orbitinghail/graft/commit/d03207b054f40acb08bdd2665ff7dbf84314c47f
#https://sqlsync.dev/posts/antithesis-driven-testing#dst--guidance--safer-software
antithesis.comhttps://antithesis.com
#https://sqlsync.dev/posts/antithesis-driven-testing#learn-more-about-graft
Stop syncing everythinghttps://sqlsync.dev/posts/stop-syncing-everything/
GitHubhttps://github.com/orbitinghail/graft
discussionhttps://github.com/orbitinghail/graft/discussions
join the Discordhttps://discord.gg/etFk2N9nzC
send me an emailhttps://sqlsync.dev/cdn-cgi/l/email-protection#b5ddd0d9d9daf5dac7d7dcc1dcdbd2ddd4dcd99bd1d0c3
sign up herehttps://sqlsync.dev/out/signup-graft-service
#https://sqlsync.dev/posts/antithesis-driven-testing#footnote-label
↩https://sqlsync.dev/posts/antithesis-driven-testing#user-content-fnref-prior-art
↩https://sqlsync.dev/posts/antithesis-driven-testing#user-content-fnref-noise
property-based testinghttps://en.wikipedia.org/wiki/Software_testing#Property_testing
↩https://sqlsync.dev/posts/antithesis-driven-testing#user-content-fnref-properties
↩https://sqlsync.dev/posts/antithesis-driven-testing#user-content-fnref-subtle
pack your software uphttps://www.antithesis.com/docs/getting_started/setup/
↩https://sqlsync.dev/posts/antithesis-driven-testing#user-content-fnref-packaged
↩https://sqlsync.dev/posts/antithesis-driven-testing#user-content-fnref-infinite
precepthttps://github.com/orbitinghail/precept
↩https://sqlsync.dev/posts/antithesis-driven-testing#user-content-fnref-asserts

Viewport: width=device-width, initial-scale=1

URLs of crawlers that visited me.