Main Content

コード解析と追跡

レポート、トレーサビリティ、および Polyspace® 静的コード解析製品を使用して生成されたコードを手動で検証してクリティカル パスを解析する

コードの生成後、コード メトリクス、インターフェイス、置換、コード生成の仮定を解析することにより、コードが要件を満たしていることを確認します。コード生成レポートにより、生成されたコードのこれらの側面に関する情報が提供されます。要件を満たすコードを生成するために、コードを評価してモデルを変更できます。

コードのトレースを使用して、コードの行とそれに対応するモデル要素の間を移動することにより、生成されたコードを検証します。コードのハイパーリンクからモデル要素にトレースしたり、モデル要素からコード行にトレースしたりできます。生成コードからモデル要素の要件に対するリンクを含めることもできます。

クリティカル パス解析を使用することで、生成されたコードを解析して、実行時間が最長になる実行パスを特定することもできます。実行時間が最長になるパスはクリティカル パスと呼ばれます。コード プロファイル アナライザーを使用して、特定されたパスの最もコストの高いセクションを特定し、パフォーマンス要件を満たすためにコストの高いセクションに最適化作業を適用します。

アプリ

コード プロファイル アナライザーAnalyze execution-time and stack usage profiles for generated code (R2023a 以降)

関数

rtwtraceコード生成レポートの生成コードへのブロックをトレースする
coder.profile.test.analyzePathIdentify critical paths of tasks (R2024a 以降)
coder.profile.test.generateTestsGenerate decision coverage tests for execution-time analysis (R2024a 以降)
coder.profile.test.generateCriticalPathTestGenerate tests for critical paths (R2024a 以降)
coder.profile.test.getCriticalPathElementsGet cell array of model elements in critical path (R2024a 以降)

トピック

コード解析

コードのトレース

クリティカル パス解析