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++
• C/C++ Getting Started Guide
• Polyspace Products for C/C++ User's Guide
• Introduction to Polyspace Products
• How to Use Polyspace Software
• Setting Up a Verification Project
• Emulating Your Runtime Environment
• Preparing Source Code for Verification
• Running a Verification
• Troubleshooting Verification Problems
• Reviewing Verification Results
• Managing Orange Checks
• Understanding Orange Checks
What is an Orange Check?
Sources of Orange Checks
• Too Many Orange Checks?
Do I Have Too Many Orange Checks?
How to Manage Orange Checks
• Reducing Orange Checks in Your Results
Overview: Reducing Orange Checks
Applying Coding Rules to Reduce Orange Checks
Considering Generated Code
Improving Verification Precision
Stubbing Parts of the Code Manually
Describing Multitasking Behavior Properly
Considering Contextual Verification
Considering the Effects of Application Code Size
• Reviewing Orange Checks
Overview: Reviewing Orange Checks
Defining Your Review Methodology
Performing Selective Orange Review
Importing Review Comments from Previous Verifications
Commenting Code to Provide Information During Review
Viewing Sources of Orange Checks
Working with Orange Checks Caused by Input Data
Refining Data Range Specifications
Performing an Exhaustive Orange Review
• Automatically Testing Orange Code
Automatic Orange Tester Overview
How the Automatic Orange Tester Works
Selecting the Automatic Orange Tester
Starting the Automatic Orange Tester Manually
Reviewing Test Results After a Manual Run
Refining Data Ranges with Automatic Orange Tester
Saving and Reusing Your Configuration
Exporting Data Ranges for Polyspace Verification
Configuring Compiler Options
Technical Limitations
• Day to Day Use
• Checking Coding Rules
• Software Quality with Polyspace Metrics
• Using Polyspace Software in the Eclipse IDE
• Using Polyspace Software in Visual Studio
Glossary
• Polyspace Products for C/C++ Reference
• Polyspace Products for Ada
• 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
Understanding Orange Checks
Too Many Orange Checks?
Reducing Orange Checks in Your Results
Reviewing Orange Checks
Automatically Testing Orange Code
