検証と確認

開発全体を通してモデルとコードを検証すると、実装されているシステムの信頼度が向上します。Simulink Check™、Simulink Coverage™、Requirements Toolbox™、Simulink Design Verifier™、Simulink Test™、および Polyspace^® は、モデルとコードの検証プロセスをサポートします。開発の早期に、高水準のシステム モデルを作成し、要件ドキュメントにリンクできます。このシステム モデルは、実行可能な仕様として、また、より詳細なモデルの基礎としての役割を果たすことができます。ユーザー インターフェイスまたはプラント ハードウェアに接続されているシステム プロトタイプを実行することにより、要件を検証します。

モデル検証では、標準に対するチェック、設計エラーの有無のチェック、プロパティの証明を行い、シミュレーションを実行して期待される出力と結果が一致することを示します。カバレッジ測定は、テストがモデルを実行した範囲を示します。生成されたコードに関しては、同じテストを実行してコードとモデルの等価性を示します。

生成されたコードと手書きコードは、同様の検証プロセスに従います。モデルまたはコード カバレッジを測定して、コードのテスト範囲を特定します。コードにエラーがないかチェックし、標準への準拠をチェックして、コード メトリクスを解析します。テストを追加し、システムを調整し、要件を調整することで、設計が完全に機能し、意図しない動作が発生せずに十分テストされた状態になります。