Чтобы проверить несколько условий в одном временном шаге, включайте verify операторы в if операторы, и включают несколько if операторы на одном тестовом шаге.
Например, предположите, что у вас есть простая служебная функция 2D кнопки, которая действует в качестве исключительной - или логика. Больше чем одно из следующих условий может быть допустимым, одновременно продвигаются.
| Условие | Ожидаемый Выход |
|---|---|
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 включает шесть verify операторы на первом тестовом шаге, содержавшемся в if операторы. Тестовый шаг активен в процессе моделирования, и if операторы оценены на каждом временном шаге.
