Table of Contents

User manual

Nas páginas seguintes estão instruções de utilização do ambiente de modelação.

In these pages are instructions to use the PARADIGM-ME modelling environment. The user manual concerning coverage analysis features in particular can be found at Coverage User Manual


Usage Script


Create new project

1º - Press “File”→“New”→“Project…”

2º - Double-click “Java Project”

3º - Write a name project

4º - Press “Finish”

5º - If not in Java perspective, you will be asked to switch to it, press “Yes”.

6º - Press “File”→“New”→“Other…”

7º - In filter write Paradigm

8º - Double-click in “Paradigm Diagram”

9º - Choose as “Parent Folder” src inside the project

10º - Write a name for the file (do not modify the extension) and press “Next”

11º - Give the same name (again do not modify the extension) and press “Finish”.

Create node

1º - In palette, press the type of node to be created

2º - In the modeling area press where you want to create the node

Create connector

1º - In palette, press the type of connector to be created

2º - In the modeling area press the source node and drag to the destination node

Open Form diagram

1º - Right-click the Form

2º - Choose “Open Diagram”

Insert fields in a Behavioural node

1º - Select the node

2º - In the properties tab, select “fields” entry

3º - Press […]

4º - A dialog with the existing fields will appear

5º - Press “add

6º - A new dialog to insert the field's name will appear

7º - When done press “Ok

8º - Back to the first dialog. In case you want to insert more fields just repeat from step 5. If you are done press “Ok”.

Insert configurations in a Behavioural node

1º - Select the node

2º - In the properties tab, select “configurations” entry

3º - Press […]

4º - A dialog with the existing configurations will appear. ATTENTION: in some cases, before the dialog with the existing configurations, the fields dialog may emerge. In this case report to Insert fields in a Behavioural node.

5º - Press “add

6º - A new dialog will appear where you can insert the desired configurations (preconditions to this test case can be inserted through clicking “Restrictions”. To consult restriction syntax report to Restriction Syntax Guide).

7º - When done press “Ok

8º - Back to the first dialog. In case you want to insert more configurations just repeat from step 5. If you are done press “Ok”.

Map field to GUI control

1º - Select node with fields to map

2º - In the properties tab, select “fields” entry

3º - Press […]

4º - A dialog with the existing fields will appear

5º - Select the field to map and press “Map Field”.

6º - A dialog will ask for the URL and the browser to use.

7º - Wait for the browser to open and the page to load.

8º - Right-click the upper-left point of the page (and not the browser). ATTENTION: when you finish an interaction with the right button, while in the mapping action, the mouse will be unresponsive. This is normal and momentary.

9º - Again with the mouse's right button, select the control to map. This selection must be done dragging the mouse and start in the upper-left corner of the control and end in the lower-right corner. A slight margin to each side shall be assured to ensure the correct mapping of the control.

10º - You will be questioned if you want to save an image. Do not forget that if an image is not saved the sikuli detection cannot be used and, for that reason, it is advisable to always save an image.

Test script generation

1º - In the modeling area, press the mouse right-button

2º - Choose “Generate Test Script

3º - Insert the number of times a cycle shall be repeated (in case there are cycles in the model) and the max number of permutations that shall be generated in case there are Group with anyOrder true.


Pointers to Other Documents


Basic Terminology Used FIXME

Mapping Guide

Coverage Plugin User Manual - Usage Script

Restriction Syntax Guides


<< Programmer manual