解析を高速化するための Simulink キャッシュファイルの共有

迅速な Simulink^® Design Verifier™ 解析のために Simulink キャッシュファイルを共有できます。モデルを解析するときに、Simulink Design Verifier は、互換性チェックを行い、モデル表現情報を含む Simulink キャッシュファイルを作成します。モデルで変更がない場合、Simulink Design Verifier は、互換性チェックを再度行わずに Simulink キャッシュファイルのモデル表現を再利用します。詳細については、シミュレーションを高速化するための Simulink キャッシュファイルの共有およびReuse Model Representation for Analysisを参照してください。

Simulink キャッシュファイルの保存

Simulink キャッシュファイルは [Simulink 基本設定]、[一般] ダイアログボックスの [シミュレーションキャッシュフォルダー] で指定された位置に保存されます。既定では、Simulink キャッシュファイルは現在の作業ディレクトリに保存されます。Simulink Design Verifier では、ファイルを整理して Simulink キャッシュフォルダー内にまとめることで、パスの長さの制限によるエラーが発生する可能性を低減します (R2024b 以降)。

Simulink キャッシュのファイル名は、ファイル拡張子が .slxc であるモデルのファイル名と同じです。

Simulink キャッシュファイルの再利用

Simulink キャッシュファイルを自分または他の人が今後使用するために再利用して、Simulink Design Verifier 解析を高速化できます。Simulink Design Verifier 解析を実行する際に、モデル表現の再作成のオプションに基づいてモデル表現を再作成するかどうかが決定されます。既定では、このオプションは [変更が検出された場合] に設定されていて、モデルに変更がない場合は Simulink キャッシュファイルのモデル表現が解析に再利用されます。

[モデル表現の再作成] が [常時] に設定されている場合またはモデルの変更が解析中に検出される場合、モデル表現が再作成され Simulink キャッシュファイルが更新されます。

メモ

Simulink キャッシュファイルは、作成されたリリースのモデル表現のビルドのアーティファクトを累積し、プラットフォームに依存します。このキャッシュファイルは、リリース間の互換性をサポートしていません。

特定の Simulink キャッシュに含まれる情報については、Simulink キャッシュファイルをダブルクリックします。レポートには、サポートされているリリース、プラットフォームおよびモデル表現の情報が含まれます。

たとえば、チームが大規模なモデルの作業を行っていて、設計ファイルを管理するためにソース管理システムを使用しているとします。Simulink Design Verifier 解析の時間を削減するために、チームは次の手順に従います。

開発者は Simulink モデルの最新バージョンをソース管理システムから取り出します。
Simulink Design Verifier テストケース生成解析を実行し、最新バージョンの Simulink のテストケースをソース管理システムに共有し、キャッシュファイルをビルドアーカイブに共有します。
テストエンジニアは、解析を高速化するためにすべての slxc ファイルを取り出します。
既存のテストケースを使用して、テストケースの拡張を同じモデルで実行します。変更がモデルで検出されない場合、Simulink キャッシュファイルのモデル表現が解析に再利用されます。詳細な例については、モデル表現の再利用による既存テストケースの拡張を参照してください。
テストエンジニアがモデルまたは互換性の結果に影響する Simulink Design Verifier オプションを変更すると、モデル表現は再作成され、Simulink キャッシュファイルは更新されます。モデル表現の再利用を活用する Simulink Design Verifier オプションの詳細については、Considerations for Model Change Detectionを参照してください。

モデル参照階層

モデル参照階層がモデルに含まれている場合、1 つ以上の slxc ファイルが生成されます。Analyze Test Harness with Schedule for Initialize, Reset, Reinitialize, and Terminate Functionsの例を考えてみましょう。この場合、sldvExportFcnIRTScheduler モデルの互換性チェックにより、sldvExportFcnIRTScheduler モデルと sldvExportFcnIRT モデルの両方についてキャッシュファイルが生成されます。

解析を高速化するには、すべての slxc ファイルをテストエンジニアと共有する必要があります。