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

目的:簡単な例題を用いて、 Bug Finder と Code Prover の使用方法を体験します。

• コード検証ワークフロー
• Bug Finder 解析の実行
• Code Prover 検証の実行
• ソフトウェアの問題の解析と修正

目的:ANSI Cに準拠していないコードの対応方法と、 Bug Finder によって、欠陥の発見と修正、コーディングルールに逸脱していないかを解析します。

• Polyspace^®プロジェクトの作成
• 一般的なランタイム環境のアーティファクト
• プロセッサ固有のコードの処理
• ターゲット ハードウェア情報の設定
• Polyspace^®Bug Finder™ での欠陥の解析
• MISRA C^®ルール違反の解析
• テンプレート プロジェクト

目的:Polyspace Code Prover の検証結果の解釈方法を習得します。

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

目的:Polyspace Code Prover を使用して、実行時エラーのチェックを行います。

• C ソース コード チェックの概要
• Polyspace^®Code Prover™ 実行時エラーのチェック
• 関連する検証オプション

目的:多くの未証明チェックを含む検証結果の対応方法を習得します。

• Code Prover 検証ワークフロー
• プログラム実行順序の制御
• オレンジの実行時エラー チェックの優先順位の設定

目的:一部が欠落しているコードを Polyspace Code Prover がどのように解析するかを習得し、十分な解析のために、検証結果にどのような影響を与えるかを学びます。

• ロバスト性検証とコンテキスト依存検証
• 自動スタブ
• データ範囲指定
• 手動スタブ

目的:コードの複雑度が大きい場合の検証方法を習得します。

• コンテキスト依存検証
• 新しいモジュールの作成
• 統合欠陥と実行時エラーの検出

目的:Polyspace Metricsを使用して、検証結果の収集と共有を行い、検証結果レポートを生成します。

• 検証結果の共有
• Polyspace^®Metrics インターフェイスの解釈
• ソフトウェア品質目標
• データのアップロードとダウンロード
• ドキュメンテーションの作成