Polyspace Server for Ada は、Ada83 および Ada95 コードにオーバーフロー、ゼロ除算、範囲外、配列アクセス、およびその他の特定のランタイムエラーが存在しないことを証明する堅固な静的解析エンジンです。マルチスレッドコードを含む、起こりうるすべての制御およびデータフローに手続き間解析を行い、各演算を、常に安全、常にエラー、到達不能、脆弱のいずれかとして識別します。Polyspace Server for Ada は、コードセグメントについて、ランタイムエラーが存在しない、エラーが証明されている、到達不能である、または未証明であるものを識別します。
サーバークラスのマシンで Polyspace Server for Ada を実行し、Jenkins® などのツールを使用して、自動検証のためにビルドおよび継続的インテグレーション システムに統合できます。解析結果は、Polyspace Client for Ada を使用して確認したり、問題の重大度による順位付けと解決のために Polyspace Access に公開したりできます。
重大なランタイムエラーが存在しないことを証明
Ada83 コードまたは Ada95 コードの演算について、ランタイムの正確性を徹底的にチェックします。ランタイム条件にかかわらず、ランタイムエラーが決して発生しないステートメントを特定します。ランタイムの脆弱性を解析し、得られた所見に関連するイベントトレース、変数値の範囲、呼び出しツリーをサポートします。Polyspace Server for Ada は、他のテスト手段では検出できないエラーを、形式的手法で検出します。コードを実行せずに、可能性のあるすべての入力に対してすべてのコードパスを解析します。
DevOps 自動化および統合
既存の DevOps ワークフローやツールの一部として統合コードを解析することにより、最新のソフトウェア開発手法をサポートします。Polyspace Server for Ada は、Jenkins や Bamboo® などの広く使用されている継続的インテグレーション ツールと連携します。
ソフトウェア設計とコードの理解度の向上
ソフトウェアを介した制御とデータフローを調べ、変数と演算子に関連する範囲情報を確認します。
ソフトウェアのパフォーマンスの最適化
ゼロ除算などについて安全かつセキュアな演算を特定することで、防衛的コードを削除します。メモリフットプリントを縮小するために、あらゆる実行パスを介しても到達できないコード分岐と、ロジックおよびプログラム構造のエラーを検出し、それらを削除します。
グローバル変数の使用の解析
タスクやスレッドで共有される変数など、グローバル変数の読み取り/書き込み操作のデバッグに費やす時間を短縮します。同時アクセスグラフを使用して、データレースにつながる制御およびデータフローを理解します。コードを最適化するために、使用していないグローバル変数を特定します。
静的アプリケーション セキュリティ テスト
メモリアクセス、バッファ オーバーフロー、数値オーバーフローなどの潜在的な脆弱性をもつ Ada ステートメントを徹底的に強調することで、アプリケーションに重大なセキュリティ脆弱性がないことを証明します。20 種類の CWE 脆弱性ルールをサポートします。Polyspace Server for Ada からの結果を活用し、ファズテストを補完または置き換えて、代わりに脆弱性をもつ演算に焦点を当てます。
ロバスト性テストおよび機能テストの改善および補完
Polyspace Server for Ada を使用して、ゼロ除算やオーバーフローなどが検出され、安全でないことが証明されたステートメントのテストに焦点を当てることにより、ロバスト性テストを改善します。Polyspace Server for Ada の結果を使用して、制御とデータフロー解析、関数パラメーターとグローバル変数の計算範囲を活用し、境界テストと分割テストを作成および管理します。
静的解析プロジェクトを管理し、プロジェクトの品質を監視
Polyspace Access を使用して、Ada 静的コード解析プロジェクトを整理し、開発チームとワークフローをサポートします。ダッシュボードに表示される情報を使用して、ソフトウェア品質、プロジェクトのステータス、欠陥の数、およびコードメトリクスを監視します。
製品リソース:
また、以下のリストから Web サイトを選択することもできます。
南北アメリカ
- América Latina (Español)
- Canada (English)
- United States (English)
ヨーロッパ
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
アジア太平洋地域
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)