|
|
|
| R2012a Documentation → Polyspace | |
Learn more about Polyspace |
|
| Contents | Index |
This table summarizes what's new in V5.5 (R2010a):
| New Features and Changes | Version Compatibility Considerations | Fixed Bugs and Known Problems |
|---|---|---|
| Yes Details below | Yes—Details labeled as Compatibility Considerations, below. See also Summary. | Includes fixes: Polyspace Client for Ada Bug Reports Polyspace Server for Ada Bug Reports Polyspace Model Link SL Bug Reports Polyspace Model Link TL Bug Reports Polyspace UML Link RH Bug Reports |
New features and changes introduced in this version are organized by product:
Polyspace products now support the MathWorks software activation mechanism.
Activation is a process that verifies licensed use of MathWorks products. The process validates your product licenses and ensures that they are used correctly. You must complete the activation process before you can use Polyspace software.
Note If you are using Designated Computer (Individual) licenses, you must activate the license for each Polyspace system individually. However, if you are using Concurrent licenses for multiple Polyspace systems, you do not need to activate each Polyspace system. You activate the license once (for the FLEXnet license server), then provide license files for each Polyspace system. |
The easiest way to activate the software is to log in to your MathWorks Account during installation. At the end of the installation process, the Polyspace Software Activation dialog box opens.
Follow the prompts in the Polyspace Software Activation dialog box to complete the activation process.
If you do not have a MathWorks account, you can create one during the activation process. To create an account, you must have an Activation Key, which identifies the license you want to install and activate.
If your Polyspace system is not connected to the internet, you can access the MathWorks License Center on a computer with internet access, activate your license, and download a license file for transfer to your Polyspace system. If you do not have access to a computer with an Internet connection, contact Customer Support.
For more information on how to activate your software, see Activating Polyspace Softwarein the Polyspace Installation Guide.
For more information on software activation, including frequently
asked questions, refer to the MathWorks Web site:
www.mathworks.com/support/activation/polyspace.html
Polyspace software now allows you to place comments in your code that provide information about known run-time errors. You can use these comments to highlight and categorize previously identified run-time errors. This information can then make the review process quicker and easier.
When you review verification results, the Viewer displays comments on individual checks. You can then skip these commented checks during the review process, or simply use them as additional information during your review.
For more information, see Highlighting Known Run-Time Errors in the Polyspace Products for Ada User's Guide.
Polyspace integration with the Eclipse IDE, Version 3.4 and 3.5.
The Polyspace Client for Ada can be integrated with the Eclipse™ Integrated Development Environment through the Polyspace plug-in for Eclipse IDE.
This plug-in provides Polyspace source code verification and bug detection functionality for source code developed within Eclipse IDE. Features include the following:
A contextual menu that allows you to launch a verification of one or more files.
Views in the Eclipse editor that allow you to set verification parameters and monitor verification progress.
For more information, see Using Polyspace Software in the Eclipse IDE in the Polyspace Products for Ada User's Guide.
Added support for the following Linux distributions:
OpenSuSE 11.1
Debian 5.x
Ubuntu 8.04, 8.10, 9.04, and 9.10
For more information, see the Polyspace Installation Guide.
Polyspace products now support the MathWorks software activation mechanism.
Activation is a process that verifies licensed use of MathWorks products. The process validates your product licenses and ensures that they are used correctly. You must complete the activation process before you can use Polyspace software.
Note If you are using Designated Computer (Individual) licenses, you must activate the license for each Polyspace system individually. However, if you are using Concurrent licenses for multiple Polyspace systems, you do not need to activate each Polyspace system. You activate the license once (for the FLEXnet license server), then provide license files for each Polyspace system. |
The easiest way to activate the software is to log in to your MathWorks Account during installation. At the end of the installation process, the Polyspace Software Activation dialog box opens.
Follow the prompts in the Polyspace Software Activation dialog box to complete the activation process.
If you do not have a MathWorks account, you can create one during the activation process. To create an account, you must have an Activation Key, which identifies the license you want to install and activate.
If your Polyspace system is not connected to the internet, you can access the MathWorks License Center on a computer with internet access, activate your license, and download a license file for transfer to your Polyspace system. If you do not have access to a computer with an Internet connection, contact Customer Support.
For more information on how to activate your software, see Activating Polyspace Softwarein the Polyspace Installation Guide.
For more information on software activation, including frequently
asked questions, refer to the MathWorks Web site:
www.mathworks.com/support/activation/polyspace.html
The Polyspace Queue Manager Interface (Spooler) is now available on Linux machines, providing a graphical interface for managing verification jobs on the Polyspace server.
For more information, see Managing Verification Jobs Using Polyspace Queue Managerin the Polyspace Products for Ada User's Guide.
Added support for the following Linux distributions:
OpenSuSE 11.1
Debian 5.x
Ubuntu 8.04, 8.10, 9.04, and 9.10
For more information, see the Polyspace Installation Guide.
Polyspace products now support the MathWorks software activation mechanism.
Activation is a process that verifies licensed use of MathWorks products. The process validates your product licenses and ensures that they are used correctly. You must complete the activation process before you can use Polyspace software.
Note If you are using Designated Computer (Individual) licenses, you must activate the license for each Polyspace system individually. However, if you are using Concurrent licenses for multiple Polyspace systems, you do not need to activate each Polyspace system. You activate the license once (for the FLEXnet license server), then provide license files for each Polyspace system. |
The easiest way to activate the software is to log in to your MathWorks Account during installation. At the end of the installation process, the Polyspace Software Activation dialog box opens.
Follow the prompts in the Polyspace Software Activation dialog box to complete the activation process.
If you do not have a MathWorks account, you can create one during the activation process. To create an account, you must have an Activation Key, which identifies the license you want to install and activate.
If your Polyspace system is not connected to the internet, you can access the MathWorks License Center on a computer with internet access, activate your license, and download a license file for transfer to your Polyspace system. If you do not have access to a computer with an Internet connection, contact Customer Support.
For more information on how to activate your software, see Activating Polyspace Softwarein the Polyspace Installation Guide.
For more information on software activation, including frequently
asked questions, refer to the MathWorks Web site:
www.mathworks.com/support/activation/polyspace.html
Polyspace Model Link 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.
Compatibility Considerations. Verification results may change when compared to previous versions of the software, due to data ranges being applied to additional objects.
Added support for Simulink Version 7.5 (R2010a).
 | Version 7.2 (R2010a) Polyspace for C/C++ Products | Version 7.1 (R2009b) Polyspace for C/C++ Products |  |
| © 1984-2012- The MathWorks, Inc. - Site Help - Patents - Trademarks - Privacy Policy - Preventing Piracy - RSS |