User manual MATLAB POLYSPACE RELEASE NOTES

[. . . ] PolySpace® Release Notes 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® Release Notes © COPYRIGHT 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. [. . . ] For more information on how to activate your software, see "Activating PolySpace Software"in the PolySpace Installation Guide. For more information on software activation, including frequently asked questions, refer to the MathWorks website: www. mathworks. com/support/activation/polyspace. html Data Range Specifications for Custom Simulink Data Objects PolySpace Model LinkTM SL software now accepts every Simulink or mpt object containing min and max values. In previous releases, the software did not create DRS entries for custom Simulink® Data Objects, only for Simulink. Parameter, mpt. Parameter, Simulink. Signal, and mpt. Signal. Verification results may change when compared to previous versions of the software, due to data ranges being applied to additional objects. Simulink Software Support Added support for Simulink Version 7. 5 (R2010a). 41 PolySpace® Release Notes Version 7. 1 (R2009b) PolySpace for C/C++ Products This table summarizes what's new in V7. 1 (R2009b): New Features and Changes Yes Details below Version Compatibility Considerations Yes--Details labeled as Compatibility Considerations, below. Fixed Bugs and Known Problems Includes fixes: PolySpace Client for C/C++ Bug Reports PolySpace Server for C/C++ Bug Reports Related Documentation at Web Site Printable Release Notes: PDF Current product documentation New features and changes introduced in this version are organized by product: · "PolySpace® Client for C/C++ Product" on page 42 · "PolySpace® Server for C/C++ Product" on page 47 PolySpace Client for C/C++ Product Report Generator New Report Generator that presents PolySpace results in PDF, HTML, and other output formats. The PolySpace Report Generator allows you to generate reports about your verification results, using the following predefined report templates: · Coding Rules Report ­ Provides information about compliance with MISRA-C Coding Rules, as well as PolySpace configuration settings for the verification. · Developer Report ­ Provides information useful to developers, including summary results, detailed lists of red, orange, and gray checks, and PolySpace configuration settings for the verification. · Developer with Green Checks Report ­ Provides the same content as the Developer Report, but also includes a detailed list of green checks. 42 Version 7. 1 (R2009b) PolySpace® for C/C++ Products · Quality Report ­ Provides information useful to quality engineers, including summary results, statistics about the code, graphs showing distributions of checks per file, and PolySpace configuration settings for the verification. The PolySpace Report Generator allows you to generate verification reports in the following formats: · HTML · PDF · RTF · Microsoft® Word · XML Note Microsoft Word format is not available on UNIX platforms. For more information, see "Generating Reports of Verification Results" in the PolySpace Products for C User's Guide or PolySpace Products for C++ User's Guide. Viewer Enhancements Enhanced Viewer displays results with tooltips containing the values of variables, operands, function parameters, and return values. You can see range information associated with variables and operators within the source code view. Note The displayed range information represents a superset of dynamic values, which the software computes using static methods. 43 PolySpace® Release Notes If a line of code is all the same color, selecting the line opens an Expanded Source Code window. Place your cursor over the required operator or variable in this window to view range information. If a line of code contains different colored checks, selecting a check displays the error or warning message along with range information in the selected check view. For more information, see "Using Range Information in the Viewer" in the PolySpace Products for C User's Guide or PolySpace Products for C++ User's Guide. Global Data Graphs New Graphs (similar to concurrent access graphs) available for all global data. You can display the access sequence for any variable that is read or written in the code. The access graph displays the read and write access for the variable. For more information, see "Displaying the Access Graph for Variables" in the PolySpace Products for C User's Guide or PolySpace Products for C++ User's Guide. Unit-by-unit Verification New option to create a separate verification job for each source file in the project. When you run a unit-by-unit verification, each source file is compiled, sent to the PolySpace Server, and verified individually. The queue manager displays a job for the full verification group, as well as jobs for each unit (using a tree structure). When verification is complete, you can download and view results for the entire project, or for individual units. When downloading a verification group, all the unit results are downloaded and a summary of the download status for each unit is displayed. 44 Version 7. 1 (R2009b) PolySpace® for C/C++ Products Note Unit by unit verification is available only for server verifications. [. . . ] For more information, see "Using PolySpace Software in Visual Studio" in the PolySpace Products for C++ User's Guide. Operating System Support Added support for the following operating systems: · Solaris 2. 10 · Windows XP x64 (32-bit mode) For more information, see the PolySpace Installation Guide. PolySpace Server for C/C++ Product Removed Cygwin Software Dependency for Windows Platforms Previous versions of PolySpace products used Cygwin emulation to run UNIX commands on Windows systems. In version 5. 1, the Cygwin software dependency has been removed. Removing Cygwin simplifies the PolySpace product installation process while improving the performance and robustness of the PolySpace Verification process. Due to the Cygwin changes, PolySpace Server for C/C++ Version 5. 1 is not compatible with previous versions of PolySpace products on Windows platforms. [. . . ]