Contents

Index

• C Getting Started Guide

• Introduction to PolySpace Products for Verifying C Code

• Product Overview

Ensures Software Reliability

Decreases Development Time

Improves the Development Process

Product Components

• Installing PolySpace Products

Finding the Installation Instructions

Obtaining Licenses for PolySpace Client for C/C++ and PolySpace Server for C/C++

• Working with PolySpace Software

The Workflow in This Guide

Working with PolySpace Project Model Files

• Learning More

The MathWorks Online

• Related Products

PolySpace Products for Verifying C++ Code

PolySpace Products for Verifying Ada Code

PolySpace Products for Linking to Models

• Setting Up a Project File

• About This Tutorial

• Creating a New Project

What Is a Project?

Preparing the Project Directories

Opening the PolySpace Launcher

Changing the Default Directory

Creating a New Project to Verify the Example C File

• Running a Verification

• About This Tutorial

Before You Start

Opening the Project

• Using the Launcher to Start a Verification That Runs on a Server

Starting the Verification

Monitoring the Progress of the Verification

Downloading Results from the Server to the Client

Troubleshooting a Failed Verification

• Using PolySpace In One Click to Start a Verification That Runs on a Server

Overview of PolySpace In One Click

Setting the Active Project

Sending the Files to PolySpace Software

• Using the Launcher to Start a Verification That Runs on a Client

Starting the Verification

Monitoring the Progress of the Verification

Completing the Verification and Stopping the Launcher

Stopping the Verification Before It Completes

• Reviewing Verification Results

• About This Tutorial

Before You Start

• Opening the Viewer and the Verification Results

Opening the Viewer

Selecting the Viewer Mode

Opening the Results

• Exploring the Viewer Window

Reviewing the Procedural Entities View

• Reviewing Results in Expert Mode

What Is Expert Mode?

Switching to Expert Mode

Reviewing Checks in Expert Mode

Reviewing Additional Examples of Checks

Filtering the Types of Checks That You See

• Reviewing Results in Assistant Mode

What Is Assistant Mode?

Switching to Assistant Mode

Selecting the Methodology and Criterion Level

Exploring Methodology for C

Reviewing Checks

Defining a Custom Methodology

Automatically Testing Unproven Code

• Generating Reports of Verification Results

PolySpace Report Generator Overview

Generating Report for example.c

• Checking MISRA C Compliance

• About This Tutorial

Before You Start

• Setting Up MISRA C Checking

Opening the Example Project

Setting the MISRA C Checking Option

Creating a MISRA C Rules File

Excluding Files from the MISRA C Checking

Configuring Text and XML Editors

Saving the Project with a New Name

• Running a Verification with MISRA C Checking

Starting the Verification

Examining the MISRA C Log

Opening MISRA-C Report

• Using a PolySpace Project Model File

• About This Tutorial

Before You Start

• Creating a New PolySpace Project Model File

What Is a PolySpace Project Model File?

Creating the PolySpace Project Model File

• Creating a Configuration File from a PolySpace Project Model File

Why You Must Have a Configuration File

Opening the Project Model File

Entering Additional Required Information

Saving the Configuration File

• Deleting a Generic Target from the Preferences

Understanding the Generic Targets Preference

Deleting the Generic Target Added in This Tutorial

C Getting Started Guide

Introduction to PolySpace Products for Verifying C Code	Introduces you to the PolySpace products for C and the workflow for verifying C code and finding run-time errors.
Setting Up a Project File	Tutorial showing how to verify a single C source file using the PolySpace Client for C/C++ product
Running a Verification	Tutorial showing how to run a verification.
Reviewing Verification Results	Tutorial showing how to review verification results using the Viewer in the PolySpace Client for C/C++ product
Checking MISRA C Compliance	Tutorial showing how to set up a verification to check MISRA C compliance
Using a PolySpace Project Model File	Tutorial showing how to create and use a PolySpace project model File

Introduction to PolySpace Products for Verifying C Code

Introduction to PolySpace Products for Verifying C Code

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