simulation

Documentation

Index

• func DisplayEvents(events map[string]uint)
• func GetMemberOfInitialState(r *rand.Rand, weights []int) int
• func RandStringOfLength(r *rand.Rand, n int) string
• func RandomAmount(r *rand.Rand, max sdk.Int) sdk.Int
• func RandomDecAmount(r *rand.Rand, max sdk.Dec) sdk.Dec
• func RandomRequestBeginBlock(r *rand.Rand, params Params, validators map[string]mockValidator, ...) abci.RequestBeginBlock
• func RandomSetGenesis(r *rand.Rand, app *mock.App, accs []Account, denoms []string)
• func Simulate(t *testing.T, app *bam.BaseApp, ...) error
• func SimulateFromSeed(tb testing.TB, app *bam.BaseApp, ...) (simError error)
• type Account
  • func RandomAcc(r *rand.Rand, accs []Account) Account
  • func RandomAccounts(r *rand.Rand, n int) []Account
  • func (acc Account) Equals(acc2 Account) bool
• type FutureOperation
• type Invariant
  • func PeriodicInvariant(invariant Invariant, period int, offset int) Invariant
• type Operation
• type Params
  • func DefaultParams() Params
  • func RandomParams(r *rand.Rand) Params
• type RandSetup
• type TransitionMatrix
  • func CreateTransitionMatrix(weights [][]int) (TransitionMatrix, error)
  • func (t TransitionMatrix) NextState(r *rand.Rand, i int) int
• type WeightedOperation

Functions

func DisplayEvents

func DisplayEvents(events map[string]uint)

Pretty-print events as a table

func GetMemberOfInitialState

func GetMemberOfInitialState(r *rand.Rand, weights []int) int

GetMemberOfInitialState takes an initial array of weights, of size n. It returns a weighted random number in [0,n).

func RandStringOfLength

func RandStringOfLength(r *rand.Rand, n int) string

Generate a random string of a particular length

func RandomAmount

func RandomAmount(r *rand.Rand, max sdk.Int) sdk.Int

Generate a random amount

func RandomDecAmount

func RandomDecAmount(r *rand.Rand, max sdk.Dec) sdk.Dec

RandomDecAmount generates a random decimal amount

func RandomRequestBeginBlock

func RandomRequestBeginBlock(r *rand.Rand, params Params, validators map[string]mockValidator,
	pastTimes []time.Time, pastVoteInfos [][]abci.VoteInfo, event func(string), header abci.Header) abci.RequestBeginBlock

RandomRequestBeginBlock generates a list of signing validators according to the provided list of validators, signing fraction, and evidence fraction nolint: unparam

func RandomSetGenesis

func RandomSetGenesis(r *rand.Rand, app *mock.App, accs []Account, denoms []string)

RandomSetGenesis wraps mock.RandomSetGenesis, but using simulation accounts

func Simulate

func Simulate(t *testing.T, app *bam.BaseApp,
	appStateFn func(r *rand.Rand, accs []Account) json.RawMessage,
	ops []WeightedOperation, setups []RandSetup,
	invariants []Invariant, numBlocks int, blockSize int, commit bool) error

Simulate tests application by sending random messages.

func SimulateFromSeed

func SimulateFromSeed(tb testing.TB, app *bam.BaseApp,
	appStateFn func(r *rand.Rand, accs []Account) json.RawMessage,
	seed int64, ops []WeightedOperation, setups []RandSetup, invariants []Invariant,
	numBlocks int, blockSize int, commit bool) (simError error)

SimulateFromSeed tests an application by running the provided operations, testing the provided invariants, but using the provided seed.

Types

type Account

type Account struct {
	PrivKey crypto.PrivKey
	PubKey  crypto.PubKey
	Address sdk.AccAddress
}

Account contains a privkey, pubkey, address tuple eventually more useful data can be placed in here. (e.g. number of coins)

func RandomAcc

func RandomAcc(r *rand.Rand, accs []Account) Account

RandomAcc pick a random account from an array

func RandomAccounts

func RandomAccounts(r *rand.Rand, n int) []Account

RandomAccounts generates n random accounts

func (Account) Equals

func (acc Account) Equals(acc2 Account) bool

nolint

type FutureOperation

type FutureOperation struct {
	BlockHeight int
	BlockTime   time.Time
	Op          Operation
}

FutureOperation is an operation which will be ran at the beginning of the provided BlockHeight. If both a BlockHeight and BlockTime are specified, it will use the BlockHeight. In the (likely) event that multiple operations are queued at the same block height, they will execute in a FIFO pattern.

type Invariant

type Invariant = sdk.Invariant

An Invariant is a function which tests a particular invariant. If the invariant has been broken, it should return an error containing a descriptive message about what happened. The simulator will then halt and print the logs.

func PeriodicInvariant

func PeriodicInvariant(invariant Invariant, period int, offset int) Invariant

TODO remove? not being called anywhere PeriodicInvariant returns an Invariant function closure that asserts a given invariant if the mock application's last block modulo the given period is congruent to the given offset.

type Operation

type Operation func(r *rand.Rand, app *bam.BaseApp, ctx sdk.Context,
	accounts []Account, event func(string),
) (action string, futureOperations []FutureOperation, err error)

Operation runs a state machine transition, and ensures the transition happened as expected. The operation could be running and testing a fuzzed transaction, or doing the same for a message.

For ease of debugging, an operation returns a descriptive message "action", which details what this fuzzed state machine transition actually did.

Operations can optionally provide a list of "FutureOperations" to run later These will be ran at the beginning of the corresponding block.

type Params

type Params struct {
	PastEvidenceFraction      float64
	NumKeys                   int
	EvidenceFraction          float64
	InitialLivenessWeightings []int
	LivenessTransitionMatrix  TransitionMatrix
	BlockSizeTransitionMatrix TransitionMatrix
}

Simulation parameters

func DefaultParams

func DefaultParams() Params

Return default simulation parameters

func RandomParams

func RandomParams(r *rand.Rand) Params

Return random simulation parameters

type RandSetup

type RandSetup func(r *rand.Rand, accounts []Account)

RandSetup performs the random setup the mock module needs.

type TransitionMatrix

type TransitionMatrix struct {
	// contains filtered or unexported fields
}

TransitionMatrix is _almost_ a left stochastic matrix. It is technically not one due to not normalizing the column values. In the future, if we want to find the steady state distribution, it will be quite easy to normalize these values to get a stochastic matrix. Floats aren't currently used as the default due to non-determinism across architectures

func CreateTransitionMatrix

func CreateTransitionMatrix(weights [][]int) (TransitionMatrix, error)

CreateTransitionMatrix creates a transition matrix from the provided weights. TODO: Provide example usage

func (TransitionMatrix) NextState

func (t TransitionMatrix) NextState(r *rand.Rand, i int) int

NextState returns the next state randomly chosen using r, and the weightings provided in the transition matrix.

type WeightedOperation

type WeightedOperation struct {
	Weight int
	Op     Operation
}

WeightedOperation is an operation with associated weight. This is used to bias the selection operation within the simulator.