開発全体を通してモデルとコードを検証すると,実装されているシステムの信頼度が向上します。金宝app模型检查™、金宝app仿真软件覆盖™、金宝app仿真软件需求™、金宝app仿真软件设计校验™、金宝app仿真软件测试™,およびPolyspace^®は,モデルとコードの検証プロセスをサポートします。開発の早期に,高水準のシステムモデルを作成し,要件ドキュメントにリンクできます。このシステムモデルは,実行可能な仕様として,また,より詳細なモデルの基礎としての役割を果たすことができます。ユーザーインターフェイスまたはプラントハードウェアに接続されているシステムプロトタイプを実行することにより,要件を検証します。

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

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