モデルおよびコードの検証と妥当性確認
このチュートリアルは、要件ベースのモデルのテストについてトレーサビリティを確立する方法、モデルの準拠性を確認する方法、テストのカバレッジを測定する方法、カバレッジを拡大するためのテストを生成する方法、コードを生成してテストする方法を示します。開発全体を通してモデルとコードを検証すると、実装するシステムが設計要件と仕様を満たしているという信頼度が向上します。
開発プロセスの早期に、高水準のシステム モデルを作成し、より詳細なモデルの基礎にすることができます。モデル内の項目をシステム要件にリンクしてトレーサビリティを確立してから、モデルを実行可能な仕様として用いることができます。モデルの検証では、標準に準拠しているかどうか、また設計エラーがないかどうかをチェックし、シミュレーションを実行して結果が期待される出力と一致することを実証することができます。テストを作成し、カバレッジ解析を実行してテストの完全性を測定し、追加のテストを生成できます。最後に、システム プロトタイプをユーザー インターフェイスまたはプラント ハードウェアに接続してそれを実行することにより、要件を検証できます。
また、生成されたコードも手書きコードも検証できます。コードが標準に準拠しているかどうか、また設計エラーがないかどうかをチェックし、コード メトリクスを解析することができます。その後、テストを作成してコード カバレッジを測定し、コードのテスト範囲を特定できます。生成されたコードに関しては、同じテストを実行してモデルを検証し、コードとモデルの等価性を示すことができます。最後に、設計が完全に機能し、意図しない動作が発生せずに十分テストされた状態になるまで、テストを追加し、システムを調整し、要件を調整することができます。
次のイメージは、開発プロセスを通して検証と妥当性確認の技法を使用する方法を示しています。
モデルの検証と妥当性確認を行うには、チュートリアルで次の手順に従います。
参考
トピック
- Simulink によるモデルベース デザイン (Simulink)
