MATLAB および Simulink トレーニング

コースの詳細

この 1 日コースでは、Polyspace Access™ を使って Polyspace Bug Finder™ および Polyspace Code Prover™ の解析結果を解釈およびレビューする方法について習得します。更に解析結果を元に、アルゴリズムの欠陥を除去し、ソフトウェア品質メトリックを改善し、製品の整合性を向上させる方法について学びます。このコースは、Polyspace Access を使用しており、解析結果をレビューし、その結果に応じてソフトウェアを修正する必要があるエンジニアを対象としています。
  • Polyspace Bug Finder 解析
  • Polyspace Code Prover 検証結果の解析
  • Polyspace Code Prover 検証と結果の管理
  • 統合解析とアプリケーション解析

1日目

Polyspace Bug Finder 解析

学習目標: 欠陥やコーディングルール違反を修正する方法を学びます。

  • Polyspace Access ダッシュボード
  • 一般的なランタイム環境のアーティファクトの処理
  • Polyspace Bug Finder での欠陥のレビュー
  • MISRA C ルール違反のレビュー
  • コード メトリクスのレビュー
  • Polyspace as You Code を使用した欠陥の修正

Polyspace Code Prover 検証結果の解析

学習目標: Polyspace Code Prover の解析結果を解釈するためのスキルを学びます。

  • 抽象解釈の概要
  • 呼び出しツリーの解析
  • ソース コード内の移動
  • Polyspace Code Prover 検証結果の解釈
  • ソース コードでのグローバル変数の使用法の表示

Polyspace Code Prover 検証と結果の管理

学習目標: 証明されていないチェックを含む検証結果の取り扱いについて学びます。また、適切な設定によって実行コンテキストにさらに情報を追加する方法についても学びます。

  • Code Prover 検証ワークフロー
  • プログラム実行順序について
  • オレンジの実行時エラー チェックの優先順位の設定
  • 制約付きコンテキスト依存検証結果のレビュー

統合解析とアプリケーション解析

学習目標: Polyspace Bug Finder と Polyspace Code Prover によって検出された統合の問題を解釈します。単一ユニットの検証と統合コンポーネントの検証を比較します。

  • 統合欠陥と実行時エラーのレビュー
  • 完全なアプリケーションの検証結果のレビュー

レベル: 中級

必要条件:

C/C++ 言語の基礎知識

期間: 1 日

言語: English

プライベートトレーニングのご依頼

関連コース

Polyspace による C/C++ コードの検証

コードの正確性の証明、検証結果のレビューと理解、欠落している関数およびデータの取り扱い、ソフトウェア品質指標の測定、MISRA C ルールの適用について学びます。

詳細を見る