Link Search Menu Expand Document

Netrix

The testing framework allows developers to test implementation of distributed protocols.

The testing framework can be used to write unit tests, run comprehensive exploration strategy based testing and to visualize the working of a distributed protocol. Before diving in, we recommend that you go through Basic concepts

View on GitHub


Getting Started

Netrix acts as a central monitor that can control all the replicas. This requires the developer to change the implementation being tested. See instrumentation to understand the changes that are required. Netrix can be used for:

  1. Unit testing
  2. Exploration testing
  3. Visualization

About