Property tests v2.0 - Githubissues

input-output-hk / decentralized-software-updates

Research on a decentralized software update mechanism for blockchain systems

Apache License 2.0

7 stars 2 forks source link

Property tests v2.0 #145

Closed dnadales closed 4 years ago

dnadales commented 4 years ago

Define generators for protocol update events. These events cover the ideation, approval, and activation phases.

We only test a lot of important liveness properties at the moment:

SIP's are expired
SIP's are rejected
SIP's get no-quorum
SIP's are approved
Implementations are expired
Implementations are rejected
Implementations get no-quorum
Implementations are activated
Implementations are queued
Updates are discarded due to being expired
Updates are discarded due to being unsupported
Updates are discarded due to being obsoleted

In next iterations we will test safety properties such as:

Updates are only approved by a majority.
Protocol versions only change by monotonic increases.

dnadales commented 4 years ago

Superseded by https://github.com/input-output-hk/decentralized-software-updates/pull/148