Jepsen

Jepsen is a framework for testing the correctness of distributed systems, especially under network partitions, concurrency, and failures. It is widely used to verify the consistency and availability guarantees of databases, consensus systems, and other distributed architectures. Jepsen simulates real-world failure conditions and analyzes the system’s behavior using linearizability and other formal models.

Features

Simulates network partitions and failures
Analyzes consistency violations
Formal verification using models
Test automation with fault injection
Supports a wide range of databases
Generates reproducible test cases

Project Samples

Project Activity

See All Activity >

Follow Jepsen

Jepsen Web Site

Other Useful Business Software

Train ML Models With SQL You Already Know

BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.

Start Free

Rate This Project

User Reviews

Be the first to post a review of Jepsen!

Additional Project Details

Operating Systems

Linux

Programming Language

Related Categories

C Test Frameworks

Registered

2025-06-30

Similar Business Software

Sahi Pro

Sahi Pro is a no-code test automation tool for web, desktop, mobile, and SAP applications. Sahi Pro empowers business testers and automation engineers to streamline their test automation processes. Sahi Pro reduces the time, effort, and complexity involved in test automation, making it an ideal...

See Software
XCTest

Create and run unit tests, performance tests, and UI tests for your Xcode project. Use the XCTest framework to write unit tests for your Xcode projects that integrate seamlessly with Xcode's testing workflow. Tests assert that certain conditions are satisfied during code execution, and record...

See Software
Robot Framework

Robot Framework is a generic open-source automation framework. It can be used for test automation and robotic process automation (RPA). Robot Framework is supported by Robot Framework Foundation. Many industry-leading companies use the tool in their software development. Robot Framework is open...

See Software
Pester

Pester is the ubiquitous test and mock framework for PowerShell. Adding Pester tests to Powershell code will enhance code quality and allows you to start creating predictable changes. Visual Studio Code comes with full support for Pester allowing you to create tests quickly. Pester integrates...

See Software
Galen Framework

Layout testing seemed always a complex task. Galen Framework offers a simple solution: test location of objects relatively to each other on page. Using a special syntax and comprehensive rules you can describe any layout you can imagine. Galen Framework runs well in Selenium Grid. You can set up...

See Software
RaptorVista

RaptorVista is one of the most advanced web test automation frameworks available in the market, simplifying the entire hassle of testing futuristic web solutions. From cutting the repetition to creating test suites, RaptorVista offers rich automation taking users close to quality engineering. ...

See Software