Learn more about PolySpace

Using the Launcher to Start a Verification That Runs on a Client

On this page…
Starting the Verification Monitoring the Progress of the Verification Completing the Verification and Stopping the Launcher Stopping the Verification Before It Completes

Starting the Verification

For the best performance, run verifications on a server. If the server is busy or you want to verify a small file, you can run a verification on a client.

Note   Because a verification on a client can process only a limited number of variable assignments and function calls, the source code should have no more than 800 lines of code.

To start a verification that runs on a client:

1. Open the Launcher if it is not already open.

2. Open the project file example.cfg if it is not already open.

   For information about opening a project file, see Opening the Project.

3. Make sure that the Send to PolySpace Server check box is clear.

4. If you see a warning that multitasking is not available when you run a verification on the client, click OK to continue and close the message box. This warning only appears when you clear the Send to PolySpace Server check box.

5. Click the Start button.

6. If you see a caution that PolySpace software will remove existing results from the results folder, click Yes to continue and close the message dialog box.

   The progress bar and logs area of the Launcher window become active.

   Note   If you see the message Verification process failed, click OK and go to Troubleshooting a Failed Verification.

Back to Top

Monitoring the Progress of the Verification

You can monitor the progress of the verification by watching the progress bar and viewing the logs at the bottom of the Launcher window.

The progress bar highlights the current phase in blue and displays the amount of time and completion percentage for that phase.

The logs report additional information about the progress of the verification. To view a log, click the button for that log. The information appears in the log display area at the bottom of the Launcher window. Follow the next steps to view the logs:

1. The compile log displays by default.

   This log displays compile phase messages and errors. You can search the log by entering search terms in the Search in the log box and clicking the left arrows to search backward or the right arrows to search forward.

2. Click the Stats button to display statistics, such as analysis options, stubbed functions, and the verification checks performed.

3. Click the refresh button

   

   to update the display as the verification progresses.

4. Click the Full Log button to display messages, errors, and statistics for all phases of the verification.

   You can search the full log by entering a search term in the Search in the log box and clicking the left arrows to search backward or the right arrows to search forward.

Back to Top

Completing the Verification and Stopping the Launcher

When the verification completes, a message dialog box appears telling you that the verification is complete and asking if you want to open the Viewer. For this tutorial, do not open the Viewer at this point.

To indicate that you do not want to open the Viewer:

• Click Cancel.

You can also open the Viewer from the Launcher toolbar, but for this tutorial, you do not do this. For this tutorial, close the Launcher.

To close the Launcher:

• Select File > Quit.

In the tutorial Reviewing Verification Results, you open the Viewer and review the verification results.

Back to Top

Stopping the Verification Before It Completes

You can stop the verification before it completes. If you stop the verification, results will be incomplete, and if you start another verification, the verification starts over from the beginning.

To stop a verification:

1. Click the Stop Execution button.

   

   A warning dialog box appears.

   

2. Click Yes.

   The verification stops and the message Verification process stopped appears.

3. Click OK to close the Message dialog box.

Note   Closing the Launcher window does not stop the verification. To resume display of the verification progress, open the Launcher window and open the project that you were verifying when you closed the Launcher window.

Back to Top

Using PolySpace In One Click to Start a Verification That Runs on a Server

Reviewing Verification Results

© 1984-2010- The MathWorks, Inc.    -   Site Help   -   Patents   -   Trademarks   -   Privacy Policy   -   Preventing Piracy   -   RSS