|
|
|
| R2012a Documentation → Polyspace | |
Learn more about Polyspace |
|
| Contents | Index |
Depending on the products you purchase, the Polyspace DVD (or downloaded installer file) allows you to install one or more of the following Polyspace products:
Polyspace Client™ for C/C++ — Verify and review C and C++ source code.
Polyspace Server™ for C/C++ — Verify C and C++ source code on a dedicated server.
Polyspace Client for Ada — Verify and review Ada83 and Ada95 source code.
Polyspace Server for Ada — Verify Ada83 and Ada95 source code on a dedicated server.
Polyspace Model Link SL — Verify and review C source code generated using Embedded Coder software from a Simulink® model.
Polyspace Model Link TL — Verify and review C source code generated using TargetLink code generator from a Simulink model.
Polyspace UML Link RH — Verify and review C, C++, and Ada source code generated from Rhapsody software.
Note The difference between Polyspace Server and Polyspace Client products is described in Polyspace Installation Options.7 |
The DVD (or downloaded installer file) contains six subfolders and program files.
The important subfolders and programs are:
Setup.exe – Runs the Graphical Installation Wizard on a Windows platform.
install.sh – Runs the shell
script Installation Wizard on a UNIX® platform.
The -console option
enables you to execute the command in a console mode.
The -h option
gives you command options.
version.txt – Contains the complete version number of the Polyspace product that has been burned on the DVD.
Addons folder – Contains useful configuration tools, available for Windows and UNIX platforms.
Docs folder – Contains all documentation for Polyspace products, in PDF format.
Data folder – Contains Polyspace data.
Examples folder – Contains sample verification results from Polyspace tools (using Polyspace Client, Server, and Model Link for each language). These results can be displayed with The Polyspace Verification Environment, available with any of the Polyspace products.
Note Refer to the appropriate getting started guide for a quick description of the Polyspace products for your language: |
 | Hardware and Software Requirements | Polyspace Installation Options |  |
| © 1984-2012- The MathWorks, Inc. - Site Help - Patents - Trademarks - Privacy Policy - Preventing Piracy - RSS |