Обнаружите изменение данных до заданного значения на этапе тестирования
hasChangedTo( возвращает u,B)true если значение u изменения в значении B. В противном случае hasChangedTo возвращает false.
Определите, если x изменилось на значение 10. Этот оператор возвращает true когда x не имел значения 10 на предыдущем временном шаге и имеет значение 10 на текущем временном шаге.
hasChangedTo(x,10)
hasChangedTo операторы могут использоваться в блоках Test Sequence и Test Assessment и в Stateflow® чарты.