Skip to content

This test harness is a verification system that checks implementations for conformance to the Durable Promise Specification.

License

Notifications You must be signed in to change notification settings

resonatehq/durable-promise-test-harness

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

69 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Durable Promise Test Harness

This test harness is a verification system that checks implementations for conformance to the Durable Promise Specification.

Architecture

The test harness is composed of four key components working together:

  • Checker
  • LocalStore
  • Simulator
  • Durable Promise Server

Checker

The Checker validates that the operation history follows the specifications of the Durable Promise API. It is the final validation step.

LocalStore

The LocalStore tracks the start and end of each operation in memory. It generates the history of events that the Checker uses to verify correctness.

Simulator

The Simulator generates a simulated client and pseudo-random sequence of operations for testing purposes. It exercises the system under diverse conditions.

Durable Promise Server

The Durable Promise Server implements the core Durable Promise Specification. It is the system under test.

Usage

  1. Build

    go build -o harness
  2. Verify

    ./harness verify -a http://0.0.0.0:8001/ -r 1000 -c 3

NOTE: the history, analysis, and any supplementary results are written to the filesystem under test/results/<date>/ for later review.

Design Decisions

Event Loop

Each event loop generates N operations in a batch per client. Each client executes the operations one by one, storing their results. The checker then checks all of the results in a batch.

Contributions

We welcome bug reports, feature requests, and pull requests!

Before submitting a PR, please make sure:

  • New tests are included
  • All tests are passing
  • Code is properly formatted
  • Documentation is updated

About

This test harness is a verification system that checks implementations for conformance to the Durable Promise Specification.

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published