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

• Polyspace Verification and the Software Development Cycle

Software Quality and Productivity

Best Practices for Verification Workflow

• Implementing a Process for Polyspace Verification

Overview of the Polyspace Process

Defining Quality Goals

Defining a Verification Process to Meet Your Goals

Applying Your Verification Process to Assess Code Quality

Improving Your Verification Process

• Sample Workflows for Polyspace Verification

Overview of Verification Workflows

Software Developers - Standard Development Process

Software Developers - Rigorous Development Process

Quality Engineers - Code Acceptance Criteria

Quality Engineers - Certification/Qualification

Model-Based Design Users - Verifying Generated Code

Project Managers - Integrating Polyspace Verification with Configuration Management Tools

• 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

How to Use Polyspace Software

Polyspace Documentation

Polyspace Documentation

Polyspace Verification and the Software Development Cycle

Polyspace Verification and the Software Development Cycle

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