Deterministic simulation testing

Deterministic simulation testing (DST) is a type of software testing for testing distributed systems.

It is used to test the FoundationDB and Turso databases.

A global seed for randomness is used.

In Python the random number generator can be seeded using the seed function in the random module.

random.seed(42)

On the .NET platform a instance of the Random class can be seeded by providing a seed to the constructor.

var random = new Random(42);

On the .NET platform the FakeTimeProvider class can be used which derives from the TimeProvider abstract class.

var datetime = new DateTime(1969, 07, 20);
var time = new FakeTimeProvider(datetime);

internal class Foo(TimeProvider timeProvider)
{
    // ...
}

In other programming languages a mock object can be used.

External links

• https://notes.eatonphil.com/2024-08-20-deterministic-simulation-testing.html
• Jepsen - A framework for distributed systems verification, with fault injection