Table of Contents
Coverage User Manual
In this page are instructions on how to operate the coverage functionalities of the PARADIGM-ME environment.
Test Goal Analysis
1.º - Access the desired PARADIGM-ME project
2.º - On the target model, right-click in an empty spot to bring out the context menu
3.º - Select the option “Analyse Coverage”
Restriction Analysis
1.º - On the target model, right-click in an empty spot to bring out the context menu
2.º - Select the option “Check Restrictions/Preconditions”
Script Analysis
1.º - On the target model, right-click in an empty spot to bring out the context menu
2.º - Choose the option “Analyse Script Coverage”
3.º - Select the script which is to be compared with the model
Execution Analysis
(Performed automatically with test execution)
Code Coverage Analysis
1.º - On the target model, right-click in an empty spot to bring out the context menu
2.º - Select the option “Instrumentation”
3.º - Insert the source code directory (folder containing the application to be tested)
4.º - Insert the target directory (folder where the instrumented copy of the application is to be stored)
5.º - Indicate the server root (local folder corresponding to the address “localhost/”)
6.º - Click “Ok”
7.º - To instrument the source code, click “Instrument Files”
8.º - Choose the desired coverage criteria to be used (line coverage or block coverage)
9.º - Click “Ok”
10.º - Wait for the instrumentation process to complete, and click “Ok” when the completion notification pops up
11.º - Exit the instrumentation dialog by selecting “Exit”
12.º - Perform the PARADIGM-ME automated tests
13.º - Select the option “Instrumentation” once again
14.º - Maintain all previously defined configurations, and click “Ok”
15.º - Select “Show report”