Чтобы проверить несколько условий в одном временном шаге, включайте 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
операторы оценены на каждом временном шаге.