spectest

README

Tests for Alea- [X]BFT Module

List

Flow

• Normal case 4 operators
• Normal case 7 operators
• Normal case 10 operators
• Normal case 13 operators

Messages

• Proposal message creation

• FillGap message creation

• Filler message creation

• VCBCSend message creation

• VCBCReady message creation

• VCBCFinal message creation

• VCBCRequest message creation

• VCBCAnswer message creation

• ABAInit message creation

• ABAAux message creation

• ABAConf message creation

• ABAFinish message creation

• Message with nil identifier

• Message with empty identifier

• Message with type unknown

• Encoding proposal data

• Encoding proposal data and root

• Get root of a message

• Message with nil data

• Message with empty data

• Message with short signature

• Message with long signature

• Message with no signers

• Message with duplicate signatures

• Message with multi signers

• Message with invalid data

• Message with invalid signer

Proposal

• Proposal with multi signer
• Proposal with unknown signer
• Proposal with wrong height
• Proposal with wrong signature
• Proposal with empty data
• Proposal with post decided proposal

VCBCSend

• VCBCSend with multi signer
• VCBCSend with unknown signer
• VCBCSend with wrong height
• VCBCSend with wrong signature
• VCBCSend with empty data
• VCBCSend after batch size of proposals
• 2 VCBCSend after 2 batch size of proposals
• VCBCSend receive from other node
• VCBCSend receive multiple msgs from other nodes
• VCBCSend wrong author
• VCBCSend duplicated
• VCBCSend (duplicated) same author and priority with different data

VCBCReady

• VCBCReady with multi signer
• VCBCReady with unknown signer
• VCBCReady with wrong height
• VCBCReady with wrong signature
• VCBCReady with empty hash
• VCBCReady with wrong hash
• VCBCReady duplicated
• VCBCReady receive msg
• VCBCReady receive quorum
• VCBCReady with unexpected author

VCBCFinal

• VCBCFinal with multi signer
• VCBCFinal with unknown signer
• VCBCFinal with wrong height
• VCBCFinal with wrong signature
• VCBCFinal with empty aggregated message bytes (proof)
• VCBCFinal with empty hash
• VCBCFinal with wrong aggregated signature
• VCBCFinal duplicated
• VCBCFinal receive message
• VCBCFinal receive message than receive request

VCBCRequest

• VCBCRequest with multi signer
• VCBCRequest with unknown signer
• VCBCRequest with wrong height
• VCBCRequest with wrong signature
• VCBCRequest with wrong author
• VCBCRequest with wrong priority
• VCBCRequest receive message

VCBCAnswer

• VCBCAnswer with multi signer
• VCBCAnswer with unknown signer
• VCBCAnswer with wrong height
• VCBCAnswer with wrong signature
• VCBCAnswer with empty data
• VCBCAnswer with wrong data
• VCBCAnswer with wrong priority
• VCBCAnswer with wrong answer

ABAInit

• ABAInit with multi signer
• ABAInit with unknown signer
• ABAInit with wrong height
• ABAInit with wrong signature
• ABAInit with invalid vote
• ABAInit duplicated
• ABAInit receive
• ABAInit receive quorum
• ABAInit receive two quorums
• ABAInit abastart

ABAAux

• ABAAux with multi signer
• ABAAux with unknown signer
• ABAAux with wrong height
• ABAAux with wrong signature
• ABAAux with invalid vote
• ABAAux duplicated
• ABAAux receive
• ABAAux receive quorum
• ABAAux receive two quorum
• ABAAux not reaching quorum

ABAConf

• ABAConf with multi signer
• ABAConf with unknown signer
• ABAConf with wrong height
• ABAConf with wrong signature
• ABAConf with invalid votes
• ABAConf reaching quorum
• ABAConf not reaching quorum
• ABAConf receive
• ABAConf reaching two values quorum

ABAFinish

• ABAFinish with multi signer
• ABAFinish with unknown signer
• ABAFinish with wrong height
• ABAFinish with wrong signature
• ABAFinish with invalid vote
• ABAFinish duplicate
• ABAFinish receive
• ABAFinish receive quorum
• ABAFinish receive no quorum

FillGap

• FillGap with multi signer
• FillGap with unknown signer
• FillGap with wrong height
• FillGap with wrong signature
• FillGap with receive
• FillGap with wrong priority
• FillGap with wrong answer

Filler

• Filler with multi signer
• Filler with unknown signer
• Filler with wrong height
• Filler with wrong signature
• Filler with empty data
• Filler with wrong answer
• Filler with wrong data
• Filler with wrong priority

Flow

• big flow with 7 operators (2 VCBC owner, 1 VCBC received, 2 AC Rounds)

Documentation

Index

• Variables
• type SpecTest

Variables

var AllTests = []SpecTest{}/* 138 elements not displayed */

Types

type SpecTest

type SpecTest interface {
	TestName() string
	Run(t *testing.T)
}