PolySpace Server for C/C++ 7

PolySpace Server for C/C++ 7
専用サーバ、コンピュータクラスタ、サーバファーム上でPolySpace 検証実行
PolySpace Server ™ for C/C++ は、
PolySpace Client ™ for C/C++と連 携
し、コードに基づく検証により、オーバーフ
ロー、ゼロ除算、配列の領域外へのアクセ
スや、
その他の実行時エラーがソースコード
に存在しないことを証明します。PolySpace
Server for C/C++によるコンピュータ
クラスタ上での検証実行によって、コード
検証の高速化が可能です。検証ジョブは
PolySpace Client for C/C++からサーバ
に送信され、結果をクライアントを使用して
ダウンロードし、表示します。
ソフトウェアコンポーネント検証の
分散処理
PolySpace Server for C/C++は、検証プ
ロセスを効率化するために、検証ジョブを
キューに入れて分散処理します。検証処理
をコンピュータクラスタまたはサーバファー
ムに分散させることで、開発者のマシンを他
のタスクに開放できます。
ジョブはPolySpace Client for C/C++か
らサーバに送信され、サーバのキューイン
グ機構により効率的に処理されます。検証
ジョブの終了後、結果をサーバからクライア
ントにダウンロードし、
クライアントのインタ
フェースによって結果を確認できます。
主な機能
■キューマネージャによる複数のサーバへの複数の検証タスク
の割り当て
■検証レポートの生成
■オペレーティングシステムの混在する環境のサポート
■マルチコアサーバでの検証タスクの実行機能
Desktop
Computer Cluster
PPolySpace
l S
Cli
Clientt
PPolySpace
l S
S
Server
PPolySpace
l S
Cli
Clientt
...
Queue Manager
PPolySpace
l S
S
Server
PPolySpace
l S
Cli
Clientt
PolySpace Client for C/C++とPolySpace Server for C/C++によるコード検
証ワークフロー。キューマネージャはPolySpace 検証要求を受信し、ジョブの実行可
能な最初のサーバを選択します。
Multiple Users
PolySpace Server
Multiple Users
Computer Cluster
PolySpace Server for C/C++
PolySpace Server for C/C++
PolySpace Server for C/C++
PolySpace Clients
PolySpace Clients
複数のPolySpaceクライアントから1台のPolySpaceサーバを使用。
コード検証環境の設定
PolySpaceクライアントおよびサーバは、単
一ユーザ環境にも統合開発チームにも配
置可能です。複数のワークフローをサポー
トし、
たとえば、1台のサーバと複数のクライ
アントを使用して複数の開発者またはチー
ムが同時に検証結果を表示・分析できるよ
うにしたり、複数のクライアントと複数台の
サーバを使用してコード検証を高速化した
りできます。クライアントおよびサーバは異
なるオペレーティングシステムで実行可能
です。
PolySpaceサーバおよびクライアントによ
り、ソフトウェア開発ワークフローにおける
以下のようなすべての重要な作業をサポー
トします。
・特定および任意の条件下でのソフトウェ
アコンポーネントの完全性と品質の検証
・コード品質の傾向のモニタリング
・テスト前のコーディング段階でのエラー
の検出と修正
・ソフトウェアコンポーネントに実行時エ
ラーが存在しないことの証明
PolySpace Server for C/C++
複数のユーザが複数のPolySpaceクライアントからコンピュータクラスタ上
の複数台のPolySpaceサーバを使用。各 PolySpace 検証要求は実行可能
な最初のサーバに送信され、そこで実行されたジョブの結果はクライアントか
らダウンロードできます。
動作環境
PolySpace Server for C/C++には、以下
の製品が必要です。
・PolySpace Client ™ for C/C++
動作環境の詳細につきましては、
www.mathworks.co.jp をご覧ください。
関連製品
・PolySpace Client ™ for Ada
・PolySpace Model Link ™ SL
（Simulink®用）
・PolySpace Model Link ™ TL
（dSPACE®
TargetLink®用）
・PolySpace Server ™ for Ada
・PolySpace UML Link ™ RH
（Telelogic®
Rhapsody®用）
© 2009 The MathWorks, Inc. MATLAB and Simulink are registered trademarks of The MathWorks, Inc.
See www.mathworks.com/trademarks for a list of additional trademarks. Other product or brand names may
be trademarks or registered trademarks of their respective holders.
91731v00 07/09