Contents

Index

• Ada Getting Started Guide

• Introduction to PolySpace Products for Verifying Ada 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 Ada and PolySpace Server for Ada Products

• Working with PolySpace Software

The Workflow in This Guide

• Learning More

The MathWorks Online

• Related Products

PolySpace Products for Verifying C/C++ 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 an Ada Package

• 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 Ada

Reviewing Checks

Defining a Custom Methodology

• Generating Reports of Verification Results

PolySpace Report Generator Overview

Generating Report for example.c

Ada Getting Started Guide

Introduction to PolySpace Products for Verifying Ada Code	Introduces you to the PolySpaceClient/Server products for Ada and the workflow for verifying Ada code and finding run-time errors.
Setting Up a Project File	Tutorial showing how to verify a single Ada package with PolySpace software
Running a Verification	Tutorial on how to run a verification.
Reviewing Verification Results	Tutorial on how to review verification results using the Viewer

Introduction to PolySpace Products for Verifying Ada Code

Introduction to PolySpace Products for Verifying Ada Code

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