形式的手法を使用して、モデルの隠れた設計エラーを特定します。整数オーバーフロー、デッドロジック、配列アクセス違反、およびゼロ除算を引き起こす、モデル内のブロックを検出します。設計が機能要件を満たしていることを形式的に確認できます。テストケースを生成します。オブジェクティブに従ってテストケースを生成して、既存の要件ベースのテストケースを拡張します。オブジェクティブを満たすようにすることができます。オブジェクティブを指定して、要件ベースのテストケースを自動的に生成することもできます。よって対応しています。Simulink詳細を見る設計エラー検出ランタイムエラー、診断エラー、デッドロジックなど、モデル内の設計エラーをシミュレーションの前に発見します。エラーなどのランタイムエラーおよびモデリングエラーと、データ有効性エラーを検出できます。使用したモデルベースデザインの検証ワークフローデッドロジックシミュレーション中および生成コードの実行中にアクティブにできない、モデル内のオブジェクトを見つけます。デッドロジックの解析モデル内のデッドロジックの表示。構造および機能カバレッジを満たす動的シミュレーション用のテストケースを生成します。カバレッジを高めるためのテストケース手動で作成された既存のテストケースを強化し、拡張して、不完全なモデルカバレッジに対処します。既存のテストスイートの拡張2:42テスト生成で学んだことやベストプラクティス要件ベースのテストケースシステム要件のモデルからテストケースを生成します。コードのカバレッジを高めるためのテストケースを生成します。コードを呼び出すモデルのテストの生成。使用して表現された形式的要件を検証します。使用して表現する形式的に定義された安全要件に従って設計が挙動することを検証します。使用して要件を表現します。リデューサーを使用して、有効な構成のサブセットの簡略化モデルを生成します。リデューサーを使用して、有効な構成のサブセットの簡略化モデルを生成します。すべての関連ファイルと変数の依存関係も削減されます。削減後の成果物は、容易に配布でき、顧客やパートナーと容易に共有できるように、個別のフォルダーにパッケージ化されます。複素数データ型のサポート複素数データ型を持つモデルを解析してテストケースを生成これらの機能やそれに対応する機能の詳細については、リリースノートをご覧ください。scienceMathWorksはエンジニアや研究者向け数値解析ソフトウェアのリーディングカンパニーです。