複数の条件の同時検証

単一のタイム ステップで複数の条件を検証するには、verify ステートメントを if ステートメント内に含め、複数の if ステートメントを単一のテスト ステップに含めます。

たとえば、排他的論理和として機能するシンプルな 2 ボタンのユーティリティ関数があるとします。次の条件のうちの複数が同じタイム ステップで有効になる可能性があります。

条件	期待される出力
RedButtonIN == false && GreenButtonIN == false	RedButtonOUT == false && GreenButtonOUT == false
GreenButtonIN == false	GreenButtonOUT ~= true
RedButtonIN == false	RedButtonOUT ~= true
RedButtonIN == true && GreenButtonIN == true	RedButtonOUT == false && GreenButtonOUT == false
RedButtonIN == true && GreenButtonIN == false	RedButtonOUT == true && GreenButtonOUT == false
RedButtonIN == false && GreenButtonIN == true	RedButtonOUT == false && GreenButtonOUT == true

これらの条件を評価するために、この Test Assessment ブロックには、最初のテスト ステップに if ステートメントに含まれた verify ステートメントが 6 つ含まれています。このテスト ステップがシミュレーション中にアクティブになり、各タイム ステップで if ステートメントが評価されます。

参考

Test Assessment