Cadence Testing Framework
The Cadence testing framework provides a convenient way to write tests for Cadence programs in Cadence.
This functionality is provided by the built-in Test
contract.
The testing framework can only be used off-chain, e.g. by using the Flow CLI.
Tests must be written in the form of a Cadence script.
A test script may contain testing functions that starts with the test
prefix,
a setup
function that will always run before the tests,
and a tearDown
function that will always run at the end of all test cases.
Both setup
and tearDown
functions are optional.
Test Standard Library
The testing framework can be used by importing the built-in Test
contract:
Assertion
assert
Fails a test-case if the given condition is false, and reports a message which explains how the condition is false.
The message argument is optional.
fail
Immediately fails a test-case, with a message explaining the reason to fail the test.
The message argument is optional.
expect
The expect
function tests a value against a matcher (see matchers section), and fails the test if it's not a match.
Matchers
A matcher is an object that consists of a test function and associated utility functionality.
The test
function defines the evaluation criteria for a value, and returns a boolean indicating whether the value
conforms to the test criteria defined in the function.
The and
and or
functions can be used to combine this matcher with another matcher to produce a new matcher with
multiple testing criteria.
The and
method returns a new matcher that succeeds if both this and the given matcher are succeeded.
The or
method returns a new matcher that succeeds if at-least this or the given matcher is succeeded.
A matcher that accepts a generic-typed test function can be constructed using the newMatcher
function.
The type parameter T
is bound to AnyStruct
type. It is also optional.
For example, a matcher that checks whether a given integer value is negative can be defined as follows:
Built-in matcher functions
The Test
contract provides some built-in matcher functions for convenience.
-
fun equal(_ value: AnyStruct): Matcher
Returns a matcher that succeeds if the tested value is equal to the given value. Accepts an
AnyStruct
value.
Blockchain
A blockchain is an environment to which transactions can be submitted to, and against which scripts can be run. It imitates the behavior of a real network, for testing.
The BlockchainBackend
provides the actual functionality of the blockchain.
Creating a blockchain
A new blockchain instance can be created using the newEmulatorBlockchain
method.
It returns a Blockchain
which is backed by a new Flow Emulator instance.
Creating accounts
It may be necessary to create accounts during tests for various reasons, such as for deploying contracts, signing transactions, etc.
An account can be created using the createAccount
function.
The returned account consists of the address
of the account, and a publicKey
associated with it.
Executing scripts
Scripts can be run with the executeScript
function, which returns a ScriptResult
.
The function takes script-code as the first argument, and the script-arguments as an array as the second argument.
The script result consists of the status
of the script execution, and a returnValue
if the script execution was
successful, or an error
otherwise (see errors section for more details on errors).
Executing transactions
A transaction must be created with the transaction code, a list of authorizes, a list of signers that would sign the transaction, and the transaction arguments.
The number of authorizers must match the number of AuthAccount
arguments in the prepare
block of the transaction.
There are two ways to execute the created transaction.
-
Executing the transaction immediately
This may fail if the current block contains transactions that have not being executed yet.
-
Adding the transaction to the current block, and executing it later.
The result of a transaction consists of the status of the execution, and an Error
if the transaction failed.
Commit block
commitBlock
block will commit the current block, and will fail if there are any un-executed transactions in the block.
Deploying contracts
A contract can be deployed using the deployContract
function of the Blockchain
.
An Error
is returned if the contract deployment fails. Otherwise, a nil
is returned.
Configuring import addresses
A common pattern in Cadence projects is to define the imports as file locations and specify the addresses corresponding to each network in the Flow CLI configuration file. When writing tests for such a project, it may also require to specify the addresses to be used during the tests as well. However, during tests, since accounts are created dynamically and the addresses are also generated dynamically, specifying the addresses statically in a configuration file is not an option.
Hence, the test framework provides a way to specify the addresses using the
useConfiguration(_ configuration: Test.Configuration)
function in Blockchain
.
The Configuration
struct consists of a mapping of import locations to their addresses.
The Blockchain.useConfiguration
is a run-time alternative for
statically defining contract addresses in the flow.json config file.
The configurations can be specified during the test setup as a best-practice.
e.g: Assume running a script that imports FooContract
and BarContract
.
The import locations for the two contracts can be specified using the two placeholders "FooContract"
and
"BarContract"
. These placeholders can be any unique string.
Then, before executing the script, the address mapping can be specified as follows:
The subsequent operations on the blockchain (e.g: contract deployment, script/transaction execution) will resolve the import locations to the provided addresses.
Errors
An Error
maybe returned when an operation (such as executing a script, executing a transaction, etc.) is failed.
Contains a message indicating why the operation failed.
An Error
may typically be handled by failing the test case or by panicking (which will result in failing the test).
Reading from files
Writing tests often require constructing source-code of contracts/transactions/scripts in the test script. Testing framework provides a convenient way to load programs from a local file, without having to manually construct them within the test script.
readFile
returns the content of the file as a string.
Examples
This repository contains many functional examples that demonstrate most of the above features, both for contrived and real-world smart contracts. It also contains a detailed explanation on using code coverage for Cadence.