Функциональное тестирование включает оценку поведения моделирования и сравнение данных моделирования с ожидаемыми результатами. Можно оценить поведение моделирования, выполнив следующие действия.
Использование временных и логических оценок в тестовом случае.
Включая verify операторы и другие операторы в блоке «Оценка тестирования» или «Последовательность тестирования».
Использование блоков из библиотеки проверки модели.
Оценить данные моделирования можно следующим образом:
Использование значений или временных допусков при сравнении данных моделирования с базовыми данными.
Использование пользовательского сценария критериев для обработки данных моделирования.
Обзор различных методов проверки см. в разделе Оценка моделирования и сравнение выходных данных.
| Ссылка на наблюдателя | Создание и размещение модели Observer |
| Порт наблюдателя | Беспроводная связь сигналов для использования с проверкой |
| Оценка испытаний | Оценка сценариев тестирования моделирования, вызовов функций и оценок |
| Просмотр последовательности | Отображение сообщений, событий, состояний, переходов и функций между блоками во время моделирования |
| Утверждение | Проверьте, равен ли сигнал нулю |
| Менеджер тестирования | Моделирование и тестирование кода в различных средах выполнения, управление наборами тестов, а также анализ результатов и создание отчетов |
| проверить | Оценить логическое выражение |
| утверждать | Вычислить логическое выражение |
| и | Прошедшее время этапа тестирования |
| t | Истекшее время моделирования |
| после | Время, прошедшее с начала этапа тестирования |
| прежде | Истекшее время до указанного времени на этапе тестирования |
| продолжительность | Время, прошедшее с начала этапа тестирования |
| hasChanged | Обнаружение изменения данных на этапе тестирования |
| hasChangedFrom | Обнаружение изменения данных из указанного значения на этапе тестирования |
| hasChangedTo | Обнаружение изменения данных на указанное значение на этапе тестирования |
| квадрат | Контрольный сигнал квадратной волны |
| зуб пилы | Сигнал контроля пилообразной волны |
| треугольник | Испытательный сигнал треугольной волны |
| пандус | Клиновый сигнал для формирования тестового сигнала |
| heaviside | Сигнал ступенчатого испытания тяжеловесов |
| замок | Сохранение значения выражения |
Оценка моделирования и сравнение выходных данных
Обзор сценариев использования и методов оценки поведения моделирования и сравнения выходных данных моделирования с ожидаемыми выходными данными, включая сравнение сигналов, пользовательские критерии, verify операторы и оценки времени выполнения в модели.
Оценка временной логики с помощью временных оценок
Используйте временные оценки для оценки синхронизации модели и проверки логики временных сигналов в тестируемой системе.
Синтаксис логической и временной оценки
Узнайте о типах логических и временных оценок и их синтаксисе.
Оценка моделирования модели с использованием проверочных операторов
Подключите блоки тестовой оценки к модели, создайте инструкции проверки и проверьте несколько условий за один шаг времени.
Проверка нескольких условий за один раз
Включая несколько verify операторы в одном шаге теста с использованием if заявления.
Последовательность тестирования и синтаксис оценки
Операторы и выражения, используемые в блоках тестовой последовательности и тестовой оценки и диаграммах Stateflow ®.
Беспроводной доступ к данным модели с помощью наблюдателей
Беспроводной доступ к информации о сигналах и данных.
Укажите значения и временные допуски для критериев базовой линии и эквивалентности.
