前置阅读
概述
本文档指导开发者将其自定义模块集成到 Cosmos SDK 的Simulations 中。
模拟对于测试模块实现中的边界情况很有帮助。
Simulation 包
Cosmos SDK 建议将与模拟相关的代码组织在x/<module>/simulation 包中。
Simulation App 模块
为了与 Cosmos SDK 的SimulationManager 集成,应用模块必须实现 AppModuleSimulation 接口。
types/module/simulation.go。
可在这里查看 x/distribution 对这些方法的实现示例。
SimsX
Cosmos SDK v0.53.0 引入了一个新包simsx,为编写模拟代码提供了更好的开发体验(DevX)。
它公开了以下扩展接口,模块可以实现这些接口以集成新的 simsx 运行器。
testutil/simsx/runner.go。
SimMsgFactoryFn 是大多数场景下的默认工厂。它不会创建未来操作,但会确保消息成功投递:
testutil/simsx/msg_factory.go。
这些方法可用于构造随机消息和/或提案消息。
实现示例
Store 解码器
注册 store 解码器是AppImportExport 模拟所必需的。这样可以将各个 store 中的键值对解码为其对应的类型。
具体来说,它会将键匹配到具体类型,然后把 KVPair 中的值反序列化到所提供的类型。
使用 collections 的模块可以使用 NewStoreDecoderFuncFromCollectionsSchema 函数,由它为你构建解码器:
types/simulation/collections.go,bank 模块示例见 x/bank/module.go。
未使用 collections 的模块必须手动构建 store 解码器。
可参考 distribution 模块在这里的实现示例。
随机化创世状态
模拟器会测试创世参数的不同场景和值。 应用模块必须实现GenerateGenesisState 方法,以便根据给定种子生成初始的随机 GenesisState。
可在这里查看 x/auth 的示例。
当模块的创世参数被随机生成后(或使用 params 文件中定义的键和值),它们会被编码为 JSON 格式,并添加到用于模拟的应用创世 JSON 中。
随机加权操作
操作是 Cosmos SDK 模拟中的关键部分之一。它们是使用随机字段值进行模拟的交易(Msg)。
操作的发送方也会被随机分配。
模拟中的操作会通过暴露 BaseApp 的 ABCI 应用完整交易周期来执行模拟。
使用 Simsx
Simsx 引入了为模块的每条消息定义MsgFactory 的能力。
这些工厂会在 WeightedOperationsX 和/或 ProposalMsgsX 中注册。
weights.Get 的名称必须与 WeightedOperations 中设置的操作名称一致。
例如,如果模块中包含操作 op_weight_msg_set_withdraw_address,那么传给 weights.Get 的名称应为 msg_set_withdraw_address。
可在这里查看 x/distribution 实现消息工厂的示例。
应用模拟器管理器
下一步是在应用层设置SimulationManager。这对于下一步中的模拟测试文件是必需的。
ModuleManager 中的模块构建模拟管理器,并调用 RegisterStoreDecoders 方法。
ModuleManager 中现有的模块配置在 SimulationManager 中应当不同,这会很有用。
最后,应用应通过 AppI 接口中定义的以下方法暴露 SimulationManager:
simapp/app.go。
运行模拟
要运行模拟,请使用simsx 运行器。
调用 simsx.Run 以使用默认种子开始模拟,或调用 simsx.RunWithSeeds 提供特定种子:
app_test.go、app_sim_test.go 等)。
完整的 simapp 测试文件见 simapp/sim_test.go。
模拟测试类型
模拟框架提供了四个测试函数,每个函数都测试一种不同的失败场景:TestFullAppSimulation: 常规模拟模式。按给定区块数运行链和指定操作,并检查是否发生 panic。TestAppImportExport: 导出初始应用状态,并使用导出的genesis.json作为输入创建一个新应用,检查两者之间是否存在 store 不一致。TestAppSimulationAfterImport: 将两次模拟串联起来,第一次会把其应用状态提供给第二次。适用于测试来自运行中链的软件升级或硬分叉。TestAppStateDeterminism: 检查所有节点是否以相同顺序返回相同的值。
模拟器模式
模拟以三种模式运行:- 完全随机 — 初始状态、模块参数和模拟参数都以伪随机方式生成。
- 来自
genesis.json文件 — 初始状态和模块参数由该文件定义。适用于针对已知状态进行测试,例如运行中网络的导出状态。 - 来自
params.json文件 — 初始状态以伪随机方式生成,但模块参数和模拟参数是手动设置的。可用参数列在这里。
通过 go test 运行
也可以直接使用go test 运行模拟:
Makefile。
调试建议
当遇到模拟失败时:- 使用
-ExportStatePath标志,在失败发生的高度导出应用状态。 - 使用
-Verbose日志,以更完整地了解所有相关操作。 - 尝试不同的
-Seed。如果相同错误能更早复现,你在每次运行上花费的时间就会更少。 - 减少
-NumBlocks,以便定位失败前一个区块时的应用状态。 - 为未记录日志的操作添加
Logger。
Prerequisite Readings
Synopsis
This document guides developers on integrating their custom modules with the Cosmos SDKSimulations.
Simulations are useful for testing edge cases in module implementations.
- Simulation Package
- Simulation App Module
- SimsX
- Store decoders
- Randomized genesis
- Random weighted operations
- App Simulator manager
- Running Simulations
Simulation Package
The Cosmos SDK suggests organizing your simulation related code in ax/<module>/simulation package.
Simulation App Module
To integrate with the Cosmos SDKSimulationManager, app modules must implement the AppModuleSimulation interface.
types/module/simulation.go.
See an example implementation of these methods from x/distribution here.
SimsX
Cosmos SDK v0.53.0 introduced a new package,simsx, providing improved DevX for writing simulation code.
It exposes the following extension interfaces that modules may implement to integrate with the new simsx runner.
testutil/simsx/runner.go.
SimMsgFactoryFn is the default factory for most cases. It does not create future operations but ensures successful message delivery:
testutil/simsx/msg_factory.go.
These methods allow constructing randomized messages and/or proposal messages.
Example Implementations
Store decoders
Registering the store decoders is required for theAppImportExport simulation. This allows
for the key-value pairs from the stores to be decoded to their corresponding types.
In particular, it matches the key to a concrete type and then unmarshalls the value from the KVPair to the type provided.
Modules using collections can use the NewStoreDecoderFuncFromCollectionsSchema function that builds the decoder for you:
types/simulation/collections.go and the bank module example at x/bank/module.go.
Modules not using collections must manually build the store decoder.
See the implementation here from the distribution module for an example.
Randomized genesis
The simulator tests different scenarios and values for genesis parameters. App modules must implement aGenerateGenesisState method to generate the initial random GenesisState from a given seed.
See an example from x/auth here.
Once the module’s genesis parameters are generated randomly (or with the key and
values defined in a params file), they are marshaled to JSON format and added
to the app genesis JSON for the simulation.
Random weighted operations
Operations are one of the crucial parts of the Cosmos SDK simulation. They are the transactions (Msg) that are simulated with random field values. The sender of the operation
is also assigned randomly.
Operations on the simulation are simulated using the full transaction cycle of a
ABCI application that exposes the BaseApp.
Using Simsx
Simsx introduces the ability to define aMsgFactory for each of a module’s messages.
These factories are registered in WeightedOperationsX and/or ProposalMsgsX.
weights.Get must match the name of the operation set in the WeightedOperations.
For example, if the module contains an operation op_weight_msg_set_withdraw_address, the name passed to weights.Get should be msg_set_withdraw_address.
See the x/distribution for an example of implementing message factories here
App Simulator manager
The following step is setting up theSimulationManager at the app level. This
is required for the simulation test files in the next step.
ModuleManager and call the RegisterStoreDecoders method.
ModuleManager should be different in the SimulationManager.
Finally, the application should expose the SimulationManager via the following method defined in the AppI interface:
simapp/app.go.
Running Simulations
To run the simulation, use thesimsx runner.
Call simsx.Run to begin simulating with the default seeds, or simsx.RunWithSeeds to provide specific seeds:
app_test.go, app_sim_test.go, etc.).
See the full simapp test file at simapp/sim_test.go.
Simulation test types
The simulation framework provides four test functions, each testing a different failure scenario:TestFullAppSimulation: General simulation mode. Runs the chain and specified operations for a given number of blocks, checking for panics.TestAppImportExport: Exports the initial app state and creates a new app with the exportedgenesis.jsonas input, checking for store inconsistencies between the two.TestAppSimulationAfterImport: Chains two simulations — the first provides its app state to the second. Useful for testing software upgrades or hard-forks from a live chain.TestAppStateDeterminism: Checks that all nodes return the same values in the same order.
Simulator modes
Simulations run in three modes:- Fully random — initial state, module parameters, and simulation parameters are all pseudo-randomly generated.
- From a
genesis.jsonfile — initial state and module parameters are defined by the file. Useful for testing against a known state such as a live network export. - From a
params.jsonfile — initial state is pseudo-randomly generated but module and simulation parameters are set manually. Available parameters are listed here.
Running via go test
Simulations can be run directly withgo test:
Makefile.
Debugging tips
When encountering a simulation failure:- Export app state at the failure height using the
-ExportStatePathflag. - Use
-Verboselogs for a fuller picture of all operations involved. - Try a different
-Seed. If the same error reproduces sooner, you will spend less time on each run. - Reduce
-NumBlocksto isolate what the app state looks like at the block before failure. - Add a
Loggerto operations that are not being logged.