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