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

• Creating a Project

What Is a Project?

What Is a Project Template?

Project Folders

Opening Polyspace Verification Environment

Creating New Projects

Opening Existing Projects

Closing Existing Projects

Specifying Source Files

Specifying Include Folders

Managing Include File Sequence

Creating Multiple Modules

Creating Multiple Analysis Option Configurations

Changing Project Location

Specifying Analysis Options

Creating Custom Project Templates

Configuring Text and XML Editors

Saving the Project

• Specifying Options to Match Your Quality Goals

Quality Goals Overview

Choosing Contextual Verification Options

Choosing Strict or Permissive Verification Options

• Setting Up Project to Generate Metrics

About Polyspace Metrics

Enabling Polyspace Metrics

Specifying Automatic Verification

• 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

Setting Up a Verification Project

Sample Workflows for Polyspace Verification

Sample Workflows for Polyspace Verification

Creating a Project

Creating a Project

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