Product Documentation

Search MATLAB Documentation
R2012a Documentation → Polyspace
View documentation for other releases	Learn more about Polyspace

Contents

Index

• Polyspace Installation Guide

Polyspace Product Requirements

Polyspace Plug-In Requirements

Polyspace Software License Requirements

UNIX and Linux Installation Requirements

Polyspace Documentation Requirements

Overview of Polyspace Products

Polyspace Client Software

Polyspace Server Software

Before Starting the Installation

Installing the Software

Configuring the Polyspace Server Software

Activating Polyspace Software

Polyspace Software Icons

Installing Software on a Linux or UNIX Platform

Installing Software in Silent Mode

Configuring Polyspace Client Software

Configuring Polyspace Server Software

Configuring Polyspace Metrics Web Interface

Troubleshooting Common Errors

Windows Server Configuration

Linux/Solaris Server Configuration

MATLAB Software Is Not Installed Locally

No Write Access to MATLAB Product Root

Should I Uninstall Previous Releases Before Installing?

Uninstalling the Polyspace Software

Uninstalling Shared Components

Should I Uninstall Previous Releases Before Installing?

Uninstalling the Polyspace Software

Uninstalling Shared Components

Polyspace Licensing Options

Obtaining a License File

Do I need a FLEXnet Server to Use an Individual License?

How Do I Identify Designated Computer and Concurrent Licenses?

What If I Have Other MathWorks Products Installed?

What If I Have an Old Polyspace FLEXnet License Server?

Installing License Files

DC License File Format

Introduction to FLEXnet Licensing

Installing FLEXnet Manager

Configuring a Concurrent License

Installing Licenses on an Existing FLEXnet Server

Error -15, the FLEXnet server is unreachable

Error -5, the Polyspace feature is not available

Error -21, license file does not support this version

Error -10, the license date has expired

• Polyspace Products for C/C++

• Polyspace Products for Ada

• Ada Getting Started Guide

• Polyspace Products for Ada User's Guide

• Introduction to Polyspace Products

• How to Use Polyspace Software

• Setting Up a Verification Project

• Emulating Your Run-Time Environment

• Preparing Source Code for Verification

• Running a Verification

• Troubleshooting Verification

• Reviewing Verification Results

• Managing Orange Checks

• Day to Day Use

• Software Quality with Polyspace Metrics

• Verifying Code in the Eclipse IDE

• Polyspace Products for Ada Reference

• Polyspace Model Link Products User's Guide

• Polyspace UML Link RH User's Guide

• Release Notes

Preparing Source Code for Verification

How Polyspace Evaluates Function and Procedure Parameters

How Polyspace Evaluates Function and Procedure Parameters

Stubbing

© 1984-2012- The MathWorks, Inc. - Site Help - Patents - Trademarks - Privacy Policy - Preventing Piracy - RSS