User manual MATLAB POLYSPACE PRODUCTS FOR C PLUS PLUS 8 GETTING STARTED GUIDE

[. . . ] Polyspace® Products for C++ 8 Getting Started Guide How to Contact MathWorks Web Newsgroup www. mathworks. com/contact_TS. html Technical Support www. mathworks. com comp. soft-sys. matlab suggest@mathworks. com bugs@mathworks. com doc@mathworks. com service@mathworks. com info@mathworks. com Product enhancement suggestions Bug reports Documentation error reports Order status, license renewals, passcodes Sales, pricing, and general information 508-647-7000 (Phone) 508-647-7001 (Fax) The MathWorks, Inc. 3 Apple Hill Drive Natick, MA 01760-2098 For contact information about worldwide offices, see the MathWorks Web site. Polyspace® Products for C++ Getting Started Guide © COPYRIGHT 1997­2010 by The MathWorks, Inc. The software described in this document is furnished under a license agreement. The software may be used or copied only under the terms of the license agreement. [. . . ] In this part of the tutorial, using Polyspace In One Click, you learn how to: 1 Set the active project. 2 Send files to Polyspace software for verification. Setting the Active Project The active project is the project that Polyspace In One Click uses to verify the files that you select. Once you have set an active project, it remains active until you change the active project. Polyspace software uses the analysis options from the project; it does not use the source files or results folder from the project. To set the active project: 1 Right-click the Polyspace In One Click icon in the taskbar area of your Windows desktop: 3-17 3 Running a Verification The context menu appears. 2 Select Set active project > Browse from the menu. The Please set an active project dialog box appears: 3-18 Using Polyspace® In One Click to Launch Verification 3 In Look in, navigate to polyspace_project. 5 Click Open to apply the changes and close the dialog box. Sending the Files to Polyspace Software You can send several files to Polyspace software for verification. To send training. cpp to Polyspace software for verification: 1 Navigate to the folder polyspace_project\sources. 2 Right-click the file training. cpp. The context menu appears. 3-19 3 Running a Verification 3 Select Send To > PolySpace. The PolySpace basic settings dialog box appears. 3-20 Using Polyspace® In One Click to Launch Verification 4 Make sure that Results folder is polyspace_project\results. 5 The Verification Mode Settings are inherited from the active project (Training_Project. cfg). For this tutorial, you are verifying a single class 3-21 3 Running a Verification (MathUtils), which you already configured in the project. For the purposes of this tutorial, it does not matter whether or not this option is applied because the class MathUtils does not depend on any other classes. 6 Select the Send to PolySpace Server option if it is not already selected. 8 Click Start. The verification log appears. 3-22 Using Polyspace® In One Click to Launch Verification The compile phase of the verification runs on the client. When the compile phase completes: · You see the following message in the log: End of PolySpace Verifier analysis · A message in the log tells you that the verification was transferred to the server queue and gives you the identification number (Analysis ID) for the verification. For information on using the Spooler to monitor a verification on a server, see "Monitoring Progress Using Queue Manager" on page 3-9. 3-23 3 Running a Verification · When the verification completes, download the results to polyspace_project\results. For information on downloading results from a server to a client, see "Removing Verification Results from the Server" on page 3-14 You review the results in Chapter 4, "Reviewing Verification Results". 3-24 Launching Client Verification from Project Manager Launching Client Verification from Project Manager In this section. . . "Starting the Verification" on page 3-25 "Monitoring the Progress of the Verification" on page 3-26 "Completing the Verification" on page 3-27 "Stopping the Verification Before It Completes" on page 3-28 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 If the project Training_Project. cfg is not already open, open the project. For information about opening a project file, see "Opening the Project" on page 3-4. 2 Clear the Send to PolySpace Server check box in the General Analysis options. 3-25 3 Running a Verification 3 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. 4 Click the Run button on the Project Manager toolbar. 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" on page 3-15. 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. 3-26 Launching Client Verification from Project Manager 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 exclude math. h from the JSF++ checking of the project Training_Project. cfg: 1 Click the button to the right of the Files and folders to ignore option. The Files and folders to ignore (includes-to-ignore) dialog box opens. 2 Click the folder icon. The Select a file or folder to include dialog box appears. 3 Navigate to the polyspace_project folder. 5 Click OK. The includes folder appears in the list of files to ignore. 6 Click OK to close the dialog box. 5-10 Setting Up Coding Rules Checking Configuring Text and XML Editors Before you check JSF++ rules, you should configure your text and XML editors in the Preferences. Configuring text and XML editors allows you to view source files and JSF reports directly from the Coding Rules perspective. To configure your text and . XML editors: 1 Select Options > Preferences. The Preferences dialog box opens. 2 Select the Editors tab. The Editors tab opens. 3 Specify an XML editor to use to view JSF++ reports. [. . . ]