Main Content

このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

コード解析と追跡

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

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

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

関数

rtwtraceコード生成レポートの生成コードへのブロックをトレースする

トピック

コード解析

コードのトレース