検証、テスト、および認定

パラメーターの調整、コードパフォーマンスの解析、数値的等価性のテスト、コードカバレッジとトレーサビリティ解析の実行

システム開発の場合、V モデルの継続的な検証方法を使用します。

サブコンポーネントのラピッドプロトタイピングの場合、ターゲットアプリケーションで信号を監視してモデルパラメーターを調整できるリアルタイムのエクスターナルモードシミュレーションを実行します。

コード実行プロファイリングを使用して、生成されたコードがターゲットハードウェアのリアルタイム要件を満たしているかどうかを明確にし、パフォーマンスの改善が必要なコードセクションを決定します。

生成コードについて、以下を確認します。

モデルと生成されたコード間の数値的等価性をテストすることにより、モデルが正しく実装される:
- システム、コンポーネント、および参照モデルのようなサブコンポーネントの場合、SIL/PIL マネージャーの最上位モデル、Model ブロック、またはテストハーネスワークフローを使用します。
- Atomic サブシステムのようなサブコンポーネントの場合、Simulink^® Test™ ハーネスを SIL/PIL マネージャーと共に使用することにより、Atomic サブシステムから生成されたコードでユニットテストを実行します。詳細については、Configure and Run PIL Simulationを参照してください。
モデルカバレッジとコードカバレッジの比較やトレーサビリティ解析の実施によって、意図しない機能が含まれない。コードカバレッジメトリクスを生成する SIL および PIL シミュレーションを設定します。モデルのオブジェクトと生成されたコードの間の双方向トレーサビリティを提供するレポートを生成します。

コード検証には、Embedded Coder^® に加え、Requirements Toolbox™、Simulink Test、Polyspace^® 製品など、他の製品も使用できます。

カテゴリ