Solidity Unit Testing plugin

The Solidity Unit Testing plugin allows you to write and run automated tests for your Solidity smart contracts to verify they work correctly before deployment.

It helps you generate test files, write test functions using a built-in assertion library (like Assert.equal, Assert.notEqual), and execute those tests in a separate environment to see pass/fail results.

Activating the Solidity unit testing plugin

To activate the plugin, go to the Plugin Manager, search «Unit Testing» and enable the «Solidity Unit Testing» plugin.

When the plugin loads, you’ll see a screen like this:

Cartella dei test

When you load the plugin, you need to specify a directory where the plugin will load and store test files. By default, it’s a tests folder at the root of your Workspace.

Nota

The plugin will not automatically create directories. You must click «Create» to generate the specified folder structure.

After specifying the test folder, click the «Create» button. Alternatively, you can select an existing folder as the tests folder by typing «/» followed by the name of the folder.

Generating tests

The plugin can generate generic test files that contain information about developing tests for a contract. The name of the generic test file is determined by the currently active .sol file on the Main Panel. If there is no active file, a generic test file named, newFile_test.sol will be created.

Below is an example of a generic test file:

pragma solidity >=0.4.22 <0.8.0;
import "remix_tests.sol"; // this import is automatically injected by Remix.
import "remix_accounts.sol";
// Import here the file to test.

// File name has to end with '_test.sol', this file can contain more than one testSuite contracts
contract testSuite {

    /// 'beforeAll' runs before all other tests
    /// More special functions are: 'beforeEach', 'beforeAll', 'afterEach' & 'afterAll'
    function beforeAll() public {
        // Here should instantiate tested contract
        Assert.equal(uint(1), uint(1), "1 should be equal to 1");
    }

    function checkSuccess() public {
        // Use 'Assert' to test the contract,
        // See documentation: https://remix-ide.readthedocs.io/en/latest/assert_library.html
        Assert.equal(uint(2), uint(2), "2 should be equal to 2");
        Assert.notEqual(uint(2), uint(3), "2 should not be equal to 3");
    }

    function checkSuccess2() public pure returns (bool) {
        // Use the return value (true or false) to test the contract
        return true;
    }

    function checkFailure() public {
        Assert.equal(uint(1), uint(2), "1 is not equal to 2");
    }

    /// Custom Transaction Context
    /// See more: https://remix-ide.readthedocs.io/en/latest/unittesting.html#customization
    /// #sender: account-1
    /// #value: 100
    function checkSenderAndValue() public payable {
        // account index varies 0-9, value is in wei
        Assert.equal(msg.sender, TestsAccounts.getAccount(1), "Invalid sender");
        Assert.equal(msg.value, 100, "Invalid value");
    }
}

Writing tests

Scrivi un numero sufficiente di test unitari per garantire che il contratto funzioni come previsto in diversi scenari.

Remix injects a built-in assert library for testing. You can visit the library documentation here.

Additionally, Remix allows the usage of special functions in the test file to make testing more structural. They are:

• beforeEach() - Eseguita prima di ogni test

• beforeAll() - Eseguita prima di tutti i test

• afterEach() - Eseguita dopo ogni test

• afterAll() - Eseguita dopo tutti i test

To get started, see this simple example.

Suggerimento

You can use RemixAI to generate tests for your files.

Running tests

Once you are done with writing tests, select the file(s) and click on Run to execute the tests. The execution will run in a separate environment. After completing the execution of one file, a test summary will be shown:

Per i test falliti, ci saranno più dettagli sull’asserzione per analizzare il problema. Facendo clic su un test fallito, si evidenzierà la relativa riga di codice nell’editor.

Stopping tests

Se hai selezionato più file per eseguire i test e vuoi interrompere l’esecuzione, fai clic sul pulsante Interrompi. L’esecuzione verrà interrotta dopo aver eseguito i test per il file attuale.

Customizing tests

Remix agevola gli utenti con vari tipi di personalizzazioni per testare correttamente un contratto.

1. Custom Compiler Context

Solidity Unit Testing refers to the Solidity Compiler plugin for compiler configurations. Configure Compiler, EVM Version, Enable Optimization & runs in the Solidity Compiler plugin and this will be used in the Solidity Unit Testing plugin for contract compilation before running unit tests.

2. Custom Transaction Context

For interacting with a contract’s method, the main parameters of a transaction are from address, value & gas. Typically, a method’s behaviour is tested with different values of these parameters.

È possibile inserire valori personalizzati per msg.sender e msg.value della transazione utilizzando i commenti NatSpec, come ad esempio:

/// #sender: account-0
/// #value: 10
function checkSenderIs0AndValueis10 () public payable {
    Assert.equal(msg.sender, TestsAccounts.getAccount(0), "wrong sender in checkSenderIs0AndValueis10");
    Assert.equal(msg.value, 10, "wrong value in checkSenderIs0AndValueis10");
}

Instructions to use:

1. I parametri devono essere definiti nella NatSpec del metodo

2. Ogni chiave di parametro deve essere preceduta da un cancelletto (#) e terminare con i due punti seguiti da un spazio (: ), come #mittente: e #valore:

3. Per il momento, la personalizzazione è disponibile solo per i parametri mittente e valore

4. Il mittente è l’indirizzo da cui arriva una transazione e vi si accede utilizzando msg.sender all’interno di un metodo di contratto. Deve essere definito in un formato prestabilito come “account-<account_index>”

5. `<account_index> varia da 0-2 prima della release di remix-ide v0.10.0 e da 0-9 in avanti

6. remix_accounts.sol must be imported in your test file to use custom sender

7. Il valore è il valore inviato con una transazione in wei, a cui si accede usando msg.value all’interno di un metodo di contratto. Dovrebbe essere un numero.

Regarding gas, Remix estimates the required gas for each transaction internally. Still if a contract deployment fails with Out-of-Gas error, it tries to redeploy it by doubling the gas. Deployment failing with double gas will show error: contract deployment failed after trying twice: The contract code couldn't be stored, please check your gas limit

Various test examples can be seen in examples section.

Punti da ricordare

• Un contratto di test non può avere un metodo con parametri. Se si ha un metodo di questo tipo, viene mostrato l’errore: Il metodo 'methodname' non può avere parametri all'interno di un contratto di test

• Il numero di account di prova è di 3 prima del rilascio di remix-ide v0.10.0 e di 10 dopo

• While a test file which imports remix_accounts.sol might not compile successfully with Solidity Compiler plugin, do not worry, this will have no bearing on its success with Solidity Unit Testing plugin.