View documentation for other releases
Learn more about Polyspace
• 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
Overview
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
About Polyspace Metrics
• Setting Up Verification to Generate Metrics
Specifying Automatic Verification
• Accessing Polyspace Metrics
Organizing Polyspace Metrics Projects
Monitoring Verification Progress
Web Browser Support
• What You Can Do with Polyspace Metrics
Review Overall Progress
Displaying Metrics for Single Project Version
Creating a File Module and Specifying Quality Level
Compare Project Versions
Review New Findings
Review Run-Time Checks
Fix Defects
Review Code Metrics
• Customizing Software Quality Objectives
About Customizing Software Quality Objectives
SQO Level 2
SQO Level 3
SQO Level 4
SQO Level 5
SQO Level 6
SQO Exhaustive
Run-Time Checks Set 1
Run-Time Checks Set 2
Run-Time Checks Set 3
Status Acronyms
• Tips for Administering Results Repository
Through the Polyspace Metrics Web Interface
Through the Command Line
Backup of Results Repository
• Verifying Code in the Eclipse IDE
Glossary
• Polyspace Products for Ada Reference
• Polyspace Model Link Products User's Guide
• Polyspace UML Link RH User's Guide
• Release Notes
Symbols A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Setting Up Verification to Generate Metrics
Accessing Polyspace Metrics
What You Can Do with Polyspace Metrics
Customizing Software Quality Objectives
Tips for Administering Results Repository
