User manual MATLAB POLYSPACE PRODUCTS FOR C PLUSPLUS 7
DON'T FORGET : ALWAYS READ THE USER GUIDE BEFORE BUYING !!!
If this document matches the user guide, instructions manual or user manual, feature sets, schematics you are looking for, download it now. Diplodocs provides you a fast and easy access to the user manual MATLAB POLYSPACE PRODUCTS FOR C PLUSPLUS 7. We hope that this MATLAB POLYSPACE PRODUCTS FOR C PLUSPLUS 7 user guide will be useful to you.
You may also download the following manuals related to this product:
MATLAB POLYSPACE PRODUCTS FOR C PLUSPLUS 7 REFERENCE (626 ko)
MATLAB POLYSPACE PRODUCTS FOR C PLUSPLUS 7 GETTING STARTED GUIDE (910 ko)
Manual abstract: user guide MATLAB POLYSPACE PRODUCTS FOR C PLUSPLUS 7
Detailed instructions for use are in the User's Guide.
[. . . ] PolySpace® Products for C++ 7 User's Guide
How to Contact The 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++ User's Guide © COPYRIGHT 19992010 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. [. . . ] 3 In Please select a file dialog box, select the results file you want to view. 4 Click Open.
The results appear in the Viewer window.
Exploring the Viewer Window
· "Overview" on page 9-13 · "Procedural Entities View" on page 9-15 · "Source Code View" on page 9-17 · "Coding Review Progress View" on page 9-19 · "Selected Check View" on page 9-20 · "Variables View" on page 9-20 · "Call Tree View" on page 9-23
Overview
The PolySpace Viewer looks like the following graphic.
9-13
9
Reviewing Verification Results
Coding review progress view
Selected check view
Procedural entities view
Variables view
Source code view
Call tree view
The appearance of the Viewer toolbar depends on the Viewer mode. By default, you see the expert mode toolbar.
9-14
Opening Verification Results
In both expert mode and assistant mode, the Viewer window has six sections below the toolbar. Procedural entities view (lower left) Source code view (lower right) Coding review progress view (upper left) Selected check view (upper right) Variables view Call tree view Displays. . . List of the diagnostics (checks) for each file and function in the project Source code for a selected check in the procedural entities view Statistics about the review progress for checks with the same type and category as the selected check Details about the selected check Information about the global variables declared in the source code Tree structure of function calls
You can resize or hide any of these sections.
Procedural Entities View
The procedural entities view, in the lower-left part of the Viewer window, displays a table with information about the diagnostics for each file in the project. The procedural entities view is also called the RTE (run-time error) view. The procedural entities view looks like the following graphic.
9-15
9
Reviewing Verification Results
The file example. c is red because its has a run-time error. PolySpace software assigns to a file the color of the most severe error found in that file. The first column of the table is the procedural entity (the file or function). The following table describes some of the other columns in the procedural entities view. Column Heading Indicates Number of red checks (operations where an error always occurs) Number of gray checks (unreachable code) Number of orange checks (warnings for operations where an error might occur) Number of green checks (operations where an error never occurs) Selectivity of the verification (percentage of checks that are not orange) This is an indication of the level of proof.
Tip If you see three dots in place of a heading, , resize the column until you see the heading. Resize the procedural entities view to see additional columns.
9-16
Opening Verification Results
Note You can select which columns appear in the procedural entities view by right-clicking on the Procedural entities column heading, and selecting the columns you want to display. . What you select in the procedural entities view determines what you see in the other views. In the examples in this chapter, you learn how to use the views and how they interact.
Source Code View
The source code view (in the lower-right part of the Viewer window), shows the source code with colored checks highlighted.
9-17
9
Reviewing Verification Results
Tooltips. Placing your cursor over a check displays a tooltip that provides ranges for variables, operands, function parameters, and return values. For more information on tooltips, see "Using Range Information in the Viewer" on page 9-68. Clicking a check opens a message box that provides more information about the check.
9-18
Opening Verification Results
Coding Review Progress View
The Coding review progress view (upper-left part of the Viewer window), displays statistics about how many checks you have reviewed. As you review checks, the software updates these statistics.
The Count column displays a ratio and the Progress column displays the equivalent percentage. The first row displays the ratio of reviewed checks to total checks that have the same color and category of the current check. In this example, the first row displays the ratio of reviewed red IDP checks to total red IDP errors in the project. The second row displays the ratio of reviewed checks to total checks that have the color of the current check. In this example, this is the ratio of red errors reviewed to total red errors in the project. [. . . ] 2 In the PolySpace Settings view, select the Verify the class contents
only check box. This approach is equivalent to specifying the -class-analyzer and -class-only options. If necessary, you can use the PolySpace Launcher for CPP window (PolySpace > Configure Project) to specify other options, for example, -class-analyzer-calls.
Launching Verification from Eclipse Editor
To launch a PolySpace verification from the Eclipse editor:
1 Select the file, files, or class that you want to verify. 2 Either right-click and select Start PolySpace Verification, or select
PolySpace > Start PolySpace Verification. [. . . ]
DISCLAIMER TO DOWNLOAD THE USER GUIDE MATLAB POLYSPACE PRODUCTS FOR C PLUSPLUS 7
Click on "Download the user Manual" at the end of this Contract if you accept its terms, the downloading of the manual MATLAB POLYSPACE PRODUCTS FOR C PLUSPLUS 7 will begin.