目的：简介な例题を用手て，臭虫と码箴言の实用方法を体します。

• コード検证ワークフロー
• Bug Finder解析解析実行
• 代码箴言検证検证実行
• ソフトウェアソフトウェアの问题のの解析とと正

目的：ansi cに准拠してないないのの対応と，bug finderによって，欠陥の発见と修正，コーディングルールにしていないを解析します。

• PolySpace®プロジェクトの作用
• 一般的なランタイム环境のアーティファクト
• プロセッサ销有のコードのの处
• ターゲットハードウェア情iciticalのの
• PolySpace®Bugfinder™でで欠陥の解析
• MisraC®ルール违反违反のの
• テンプレートプロジェクト

目的：Polyspace代码箴言のの検证结果の方法ををします。

• 抽象解釈の概要
• 呼び出しツリーの解析
• ソースコード内の移
• PolySpace®CodeProver™検证结果の解釈
• ソースコードでのグローバルグローバルのの用法の

目的：PolySpace代码箴言を使用して，行行时エラーのチェック行い。

• cソースコードチェックの概要
• PolySpace®CodeProver™実行时エラーのチェック
• 关键词検证オプション

目的：多くの未明チェック含む含む検证结果対応方法ををします。

• 代码箴言検证検证ワーク
• プログラム実行顺序顺序の
• オレンジの実行时エラーチェックのの优先の设定

目的：一流がが欠落しているコードををcode prprようようよう解析するか习得しししし习得习得にどのような习得习得习得しようなため习得どのようようようなためどのどのようようよう解析どのどのどのどのどのどのようどのどのどのどのどの

• ロバストロバスト性検证ととコンテキスト依存
• 自动スタブ
• データ范囲指定
• 手

目的：コードの复雑复雑が大大きいのののます习得します。

• コンテキスト依存検证
• 新闻モジュールの作作
• 结合欠陥と行行时エラーの検出

目的：PolySpace指标を使用して，検证结果の收集と共共行，検证结果レポートを生成します。

• 検证検证结果の
• PolySpace®度量标准インターフェイスの解釈
• ソフトウェア品牌目标
• データのアップロードとダウンロード
• ドキュメンテーションの作用成

目的：アプリケーション全体の検证うに，有效な手顺とオプション绍介绍介ますますます。

• アプリケーションソフトウェアの悬念事项
• 同时データアクセスの问题の解析
• アセンブリまたはハードウェアの机能の置き换え
• PolySpace®ででのサードサードパーティの处