In the following pages, a method is described for specifying tests thanks to the UML testing profile module. The bank ATM system example from the UML testing profile specification is used as a support. You can import this example by unzipping into Modelio workspace the BankATMExample.zip file contained in the Tests folder of UMLTestingProfile[src]x.y.zz.zip.