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