Main Content

Model ブロック

外部モデルを参照する Model ブロックがモデルに含まれる場合、各参照モデルを実行コンテキストにおいて考慮して、最上位モデルのテストが作成されます。

複数の Model ブロックが同じモデルを参照する場合、生成されたテストは、最上位モデルの個々のコンテキストで、参照モデルのインスタンスごとにテスト オブジェクティブを達成しようとします。特定のモデルを参照する 3 つの Model ブロックがある場合、解析は 3 つすべてのインスタンスに対して結果を生成します。

生成されたテスト ケースを使用してカバレッジを収集する場合、累積カバレッジには同じ参照モデルの複数のインスタンスが反映されます。シミュレーションでは、参照モデルごとに 1 セットのカバレッジ結果を生成します。特定のモデルを参照する 3 つの Model ブロックがある場合、シミュレーションではその参照モデルの 1 セットの結果を生成します。

たとえば、3 つの Model ブロックが同じモデルを参照している最上位モデルについて考えます。その参照モデルに 3 つのテスト オブジェクティブがあるとします。最上位モデルを解析すると、9 個のテスト オブジェクティブが生成されます。9 個のテスト ケースでモデルのシミュレーションを実行する場合、その参照モデルのカバレッジ結果により 3 つのテスト オブジェクティブが指定されます。