Info
La pregunta está cerrada. Vuélvala a abrir para editarla o responderla.
プロパティ証明にて「有効と判定」された場合、harnessモデルを作成する方法はありますか。
4 visualizaciones (últimos 30 días)
Mostrar comentarios más antiguos
Simulink Design Verifier (SLDV)のプロパティ証明にて「有効と判定」の結果となった場合、有効であることを保証するテストパターン( Signal Builder )を含む harness モデルを得る方法はありますか。
また、方法がないとすればそれはなぜですか。
(反証の場合は harness モデルを作成できますが、有効の場合は作成できない。有効の場合でもharnessモデルを作成したい。)
有効であることを証明する際に使用されるテストパターンを得ることが目的なので、取得できる形式がSignal Builderである必要はなく、MATファイル等の別のフォーマットでもかまいません。
0 comentarios
Respuestas (0)
Ver también
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!