Learn more about PolySpace

About This Tutorial

On this page…
Overview Before You Start

Overview

Once you have created the project training.cfg as described in Creating a New Project, you can run the verification.

You can run a verification on a server or a client.

Use...	For...
Server	Best performance Large files (more than 800 lines of code including comments) Multitasking
Client	An alternative to the server when the server is busy Small files with no multitasking Note   Verification on a client takes more time. You might not be able to use your client computer when a verification is running on it.

You can start a verification using the Launcher or using PolySpace In One Click. With either method, the verification can run on a server or a client.

Use...	For...
Launcher	A basic way to start a verification. You specify the source files in the project file. With the project file open, you click a button to start the verification.
PolySpace In One Click	A convenient way to start the verification of several files which use the same verification options. Once you specify the project file containing the verification options, you specify the source files by selecting them from a Microsoft Windows folder. You start the verification by sending the selected files to PolySpace software.

In this tutorial, you learn how to run a verification on a server and on a client, and you learn how to start a verification using the Launcher and using PolySpace In One Click. You verify the class MathUtils in the file training.cpp three times using a different method each time. You use:

1. The Launcher to start a verification that runs on a server.

2. PolySpace In One Click to start a verification that runs on a server.

3. The Launcher to start a verification that runs on a client.

Each verification stores the same results in polyspace_project\results. You review these results in the tutorial Reviewing Verification Results.

Back to Top

Before You Start

Before you start this tutorial, you must complete Setting Up a Project File. You use the folders and project file, training.cfg, from that tutorial to run the verifications.

Back to Top

Running a Verification

Opening the Project

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