测试条件ブロックは,仿真软件ソフトウェアが金宝appサポートするすべての組み込みデータ型の信号を受け入れます。サポートされているデータ型の詳細については,金宝app仿真软件でサポートされているデータ型を参照してください。このブロックは,複素数入力信号をサポートしていません。

データ型:单|双|int8|int16|int32|int64|uint8|uint16|uint32|uint64|布尔|不动点|枚举|公共汽车

测试条件ブロックは,仿真软件ソフトウェアが金宝appサポートするすべての組み込みデータ型の信号を返します。サポートされているデータ型の詳細については,金宝app仿真软件でサポートされているデータ型を参照してください。

データ型:单|双|int8|int16|int32|int64|uint8|uint16|uint32|uint64|布尔|不动点|枚举|公共汽车

モデルのテストを生成するには,このパラメーターを選択します。このオプションをオフにすると,ブロックは無効になります。このオプションがオフになっている場合は,金宝app仿真软件エディターでこのブロックがグレー表示になります。

ブロックが测试条件ブロックまたは证明假设ブロックのどちらとして動作するかを指定します。(假设)を選択すると,测试条件ブロックが证明假设ブロックに変換されます。

[値]パラメーターを使って,テストケースの信号値を制限します。MATLAB^®の细胞配列形式で,スカラー値と間隔の組み合わせを指定します。詳細については,MATLABコードファイルでパラメーターの制約値を定義を参照してください。

あるいは,引数として単一値を受け入れるSldv。点コンストラクターを使用してスカラー値を指定することもできます。Sldv。时间间隔コンストラクターを使用して区間を指定することもできます。この場合,区間の上限と下限用に2つの入力引数が必要です。

たとえば,[値]パラメーター

{0, [1,3]}

は,次のように指定します。

[値]パラメーター

{Sldv。Interval(0,1， '[)')， Sldv.Point(1)}

は,次のように指定します。

测试条件ブロックに対して複数のスカラー値と間隔を指定した場合,金宝app仿真软件设计校验™ソフトウェアはテストケースの生成中に論理或演算子を使って,これらの値を組み合わせます。その結果,ソフトウェアは,単一のスカラー値または間隔が満たされると,テスト条件全体が達成されたと認識します。

単一のスカラー値または間隔内では,論理和演算によりテスト条件が生成されます。その場合,入力が条件を満たすためには,すべての信号が制約を満たさなければなりません。

たとえば,次のような2次元の開区間があるとします。

Sldv。时间间隔(5[5],[5 2],“()”)

ゼロベクトル[0 0]は,ゼロの要素が区間－5～5および－5～2の範囲内にあるため,条件を満たしています。

ベクトル[0 3]は2番目の要素である3が区間－5～2の外にあるため,条件を満たしていません。

金宝app仿真软件エディターで,ブロックが[値]パラメーターの内容を表示するかどうかを指定します。

選択すると,ブロックは出力端子を表示し,入力信号をブロックの出力へパススルーすることができます。選択されていない場合は,ブロックは出力端子を非表示にして,入力信号を終了します。

例:次の図は,各ケースのブロックの外観を示しています。

[パススルースタイル]:選択した場合

[パススルースタイル]:オフの場合