PolySpace Server for C/C++ 6.0

Product Description

• Introduction and Key Features
• Distributing Software Component Verification
• Configuring the Code Verification Environment

Introduction

PolySpace Server for C/C++, in conjunction with PolySpace Client for C/C++, provides code-based verification that proves the absence of errors in source code. It ensures code reliability by detecting run-time and other software errors without requiring program execution, code instrumentation, or test cases. You can verify handwritten code, automatically generated code, or a combination of the two, before compilation and test.

With PolySpace Server for C/C++ you can accelerate code verification by performing the verifications on a computer cluster. Jobs are submitted to the server using PolySpace Client for C/C++ . You then use the client to download and visualize verification results.

Key Features

• Abstract interpretation techniques for verifying C and C++ code
• Verification report generation
• Support for mixed operating system environments
• Queue manager for dispatching jobs to multiple servers

Code verification workflow with PolySpace Client for C/C++ and PolySpace Server for C/C++. The queue manager receives the PolySpace verification request and selects the first available server to run the job. Click on image to see enlarged view.

Next